shex/es.weso.shex.btValidator/BtValidator

BtValidator

object BtValidator

Backtracking validator

class Object
trait Matchable
class Any

Type members

Classlikes

case class Env(rdf: RDFReader, schema: Schema, typing: ShapeTyping, table: VarTable)

Types

type ReaderEnv[A] = Kleisli[IO, Env, A]

Value members

Concrete methods

def err[A](e: ShExErr): Check[A]
def fromEither[A](e: Either[String, A]): Check[A]
def fromIO[A](io: IO[A]): Check[A]
def fromStream[A](s: Stream[IO, A]): Check[List[A]]
def local[A](f: Env => Env)(c: Check[A]): Check[A]
def localWithTable[A](f: VarTable => VarTable, c: Check[A]): Check[A]
def ok[A](x: A): Check[A]
def unimplemented[A](msg: String): Check[A]