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 Check[A] = EitherT[ReaderEnv, ShExErr, A]
type ReaderEnv[A] = Kleisli[[A] =>> IO[A], Env, A]
type ShapeTyping = Typing[RDFNode, ShapeMapLabel, ShExErr, List[String]]

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[[A] =>> IO[A], A]): Check[List[A]]
def getRDF: Check[RDFReader]
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]