Packages

object Check

Source
Check.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Check
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Check[A] = EitherT[ReaderEnv, String, A]
  2. type Evidence = String
  3. type ReaderEnv[A] = Kleisli[IO, Env, A]
  4. type ShapeTyping = TypingMap[RDFNode, ShapeMapLabel, Evidence]

Value Members

  1. def emptyTyping: ShapeTyping
  2. def err[A](msg: String): Check[A]
  3. def fromEither[A](e: Either[String, A]): Check[A]
  4. def fromIO[A](ioa: IO[A]): Check[A]
  5. def fromStream[A](s: Stream[IO, A]): Check[List[A]]
  6. def getRDF: Check[RDFReader]
  7. def getSchema: Check[Schema]
  8. def getTyping: Check[ShapeTyping]
  9. def optSatisfy[A](maybeA: Option[A], check: (A) ⇒ Check[Boolean]): Check[Boolean]
  10. def pure[A](x: A): Check[A]
  11. def runCheck[A](env: Env, check: Check[A]): IO[A]
  12. def runLocal[A](fn: (Env) ⇒ Env, check: Check[A]): Check[A]
  13. def runLocalWithTyping[A](fn: (ShapeTyping) ⇒ Either[String, ShapeTyping], check: Check[A]): Check[A]
  14. def satisfyAll(ls: List[Check[Boolean]]): Check[Boolean]
  15. def satisfyAnd(c1: Check[Boolean], c2: ⇒ Check[Boolean]): Check[Boolean]
  16. def satisfyChain[A](ls: List[A], check: (A) ⇒ Check[ShapeTyping]): Check[ShapeTyping]
  17. def satisfyFirst[A, F[_]](ls: ⇒ LazyList[A], check: (A) ⇒ F[Boolean])(implicit arg0: Monad[F]): F[Boolean]
  18. def satisfyNot(check: Check[Boolean]): Check[Boolean]
  19. def satisfyOr(c1: Check[Boolean], c2: ⇒ Check[Boolean]): Check[Boolean]
  20. def satisfySome(ls: List[Check[Boolean]]): Check[Boolean]
  21. def sequence[A](ls: List[Check[A]]): Check[List[A]]
  22. def unimplemented[A](msg: String): Check[A]