shex/es.weso.shex.spec/Check

Check

object Check
class Object
trait Matchable
class Any
Check.type

Type members

Types

type Check[A] = EitherT[ReaderEnv, String, A]
type ReaderEnv[A] = Kleisli[IO, Env, A]

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 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 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 sequence[A](ls: List[Check[A]]): Check[List[A]]
def unimplemented[A](msg: String): Check[A]