shex/es.weso.shex.spec/Check

Check

object Check
class Object
trait Matchable
class Any

Type members

Types

type Check[A] = EitherT[ReaderEnv, String, A]
type Evidence = String
type ReaderEnv[A] = Kleisli[IO, Env, A]
type ShapeTyping = TypingMap[RDFNode, ShapeMapLabel, Evidence]

Value members

Concrete methods

def err[A](msg: String): Check[A]
def fromEither[A](e: Either[String, A]): Check[A]
def fromIO[A](ioa: IO[A]): Check[A]
def fromStream[A](s: Stream[IO, A]): Check[List[A]]
def getRDF: Check[RDFReader]
def optSatisfy[A](maybeA: Option[A], check: A => Check[Boolean]): Check[Boolean]
def pure[A](x: A): Check[A]
def runCheck[A](env: Env, check: Check[A]): IO[A]
def runLocal[A](fn: Env => Env, check: Check[A]): Check[A]
def runLocalWithTyping[A](fn: ShapeTyping => Either[String, ShapeTyping], check: Check[A]): Check[A]
def satisfyAll(ls: List[Check[Boolean]]): Check[Boolean]
def satisfyAnd(c1: Check[Boolean], c2: => Check[Boolean]): Check[Boolean]
def satisfyChain[A](ls: List[A], check: A => Check[ShapeTyping]): Check[ShapeTyping]
def satisfyFirst[A, F[_] : Monad](ls: => LazyList[A], check: A => F[Boolean]): F[Boolean]
def satisfyNot(check: Check[Boolean]): Check[Boolean]
def satisfyOr(c1: Check[Boolean], c2: => Check[Boolean]): Check[Boolean]
def satisfySome(ls: List[Check[Boolean]]): Check[Boolean]
def sequence[A](ls: List[Check[A]]): Check[List[A]]
def unimplemented[A](msg: String): Check[A]