shex
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
shex/es.weso.shex.validator/NodeConstraintValidator

NodeConstraintValidator

es.weso.shex.validator.NodeConstraintValidator
case class NodeConstraintValidator(schema: ResolvedSchema) extends ShExChecker

Node Constraint validator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited types

type Base[A] = IndexedReaderWriterStateT[IO, ConfigEnv, Log, State, State, A]

Attributes

Inherited from:
ShExChecker
type Check[A] = EitherT[Base, Err, A]

Attributes

Inherited from:
ShExChecker
type CheckTyping = Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
type Config = ShExConfig

Attributes

Inherited from:
ShExChecker
type Env = Context

Attributes

Inherited from:
ShExChecker
type Err = ShExError

Attributes

Inherited from:
ShExChecker
type Evidence = (NodeShape, String)

Attributes

Inherited from:
ShExChecker
type Log = ValidationLog

Attributes

Inherited from:
ShExChecker

Value members

Concrete methods

Inherited methods

def addAction2Log(a: Action): Check[Unit]

Attributes

Inherited from:
ShExChecker
def addEvidence(nodeShape: NodeShape, msg: String): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def addLog(log: Log): Check[Unit]

Attributes

Inherited from:
ShExChecker
def addNotEvidence(nodeShape: NodeShape, e: ShExError, msg: String): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def attempt[A](c: Check[A]): Check[Either[Err, A]]

Attributes

Inherited from:
ShExChecker
def bind[A, Other](c1: Check[Other], c2: Check[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def checkAll[A](xs: List[Check[A]]): Check[List[A]]

Checks all elements in a list If any of the elements fails, it fails

Checks all elements in a list If any of the elements fails, it fails

Attributes

Inherited from:
ShExChecker
def checkAllFailFAtFirstFlag[A, B : Monoid, F[_] : Monad](ls: => LazyList[A], check: A => F[(B, Boolean)], last: => B): F[(B, Boolean)]

Attributes

Inherited from:
ShExChecker
def checkAllFlag[A, B : Monoid, F[_] : Monad](ls: => LazyList[A], check: A => F[(B, Boolean)], last: => B): F[(B, Boolean)]

Attributes

Inherited from:
ShExChecker
def checkCond(condition: Boolean, attempt: Attempt, error: ShExError, evidence: String): CheckTyping

Attributes

Inherited from:
ShExChecker
def checkList[A, B](ls: List[A], check: A => Check[B]): Check[List[B]]

Attributes

Inherited from:
ShExChecker
def checkLs[A](cs: List[Check[A]]): Check[List[A]]

Given a list of checks, return the list of values that pass It never fails (in case of failure, it ignores the value)

Given a list of checks, return the list of values that pass It never fails (in case of failure, it ignores the value)

Attributes

Inherited from:
ShExChecker
def checkOneOf[A](cs: List[Check[A]], errNone: Err, errMoreThanOne: List[A] => Err): Check[A]

Attributes

Inherited from:
ShExChecker
def checkPair1st[A, B](p: (Check[A], B)): Check[(A, B)]

Attributes

Inherited from:
ShExChecker
def checkPair2nd[A, B](p: (A, Check[B])): Check[(A, B)]

Attributes

Inherited from:
ShExChecker
def checkSequenceFlag[A : Monoid, F[_] : Monad](ls: => List[F[(A, Boolean)]], last: A): F[(A, Boolean)]

Attributes

Inherited from:
ShExChecker
def checkSome[A](cs: LazyList[Check[A]])(implicit ev: Monoid[Err]): Check[A]

Attributes

Inherited from:
ShExChecker
def checkSome[A](cs: List[Check[A]], errorIfNone: Err): Check[A]

Attributes

Inherited from:
ShExChecker
def checkSomeFlag[A, B, F[_] : Monad](ls: => LazyList[A], check: A => F[(B, Boolean)], last: F[(B, Boolean)]): F[(B, Boolean)]

Given a computation check that returns a pair of value and a flag, returns the first value whose flag is true If none is true, returns the value of the computation parameter last

Given a computation check that returns a pair of value and a flag, returns the first value whose flag is true If none is true, returns the value of the computation parameter last

Attributes

Inherited from:
ShExChecker
def checkSomeFlagCount[A, B : Monoid](ls: => LazyList[A], check: A => Check[(B, Boolean)], last: B): Check[(B, Int)]

Attributes

Inherited from:
ShExChecker
def checkSomeFlagValue[A, B](ls: => LazyList[A], check: A => Check[B], last: Check[B]): Check[(B, Option[A])]

Checks some values. Returns the first that passes or None

Checks some values. Returns the first that passes or None

Attributes

Inherited from:
ShExChecker
def checkSomeLazyList[A](cs: LazyList[Check[A]], errIfNone: => Err): Check[A]

Attributes

Inherited from:
ShExChecker
def combineTypings(ts: ShapeTyping*): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def combineTypings(ts: List[ShapeTyping]): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def cond[A, B](check: Check[A], thenPart: A => Check[B], elsePart: Err => Check[B]): Check[B]

Attempts to execute a check If it fails, applies thenPart to the result, otherwise applies elsePart to the error

Attempts to execute a check If it fails, applies thenPart to the result, otherwise applies elsePart to the error

Attributes

A

type returned by the computation

B

type returned the the condition

check

Computation to check

elsePart

part to be executed when the check fails

thenPart

part to be executed when it passes

Inherited from:
ShExChecker
def condFlag[A, B](check: Check[A], thenPart: A => Check[B], elsePart: Err => Check[B]): Check[(B, Boolean)]

Attributes

Inherited from:
ShExChecker
def debug(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def err[A](e: Err): Check[A]

Attributes

Inherited from:
ShExChecker
def errStr[A](msg: String): Check[A]

Attributes

Inherited from:
ShExChecker
def filterSuccess[A, B](ls: List[A], check: A => Check[B]): Check[List[(A, B)]]

Returns the list of values whose computation is successful

Returns the list of values whose computation is successful

Attributes

A

type of values

B

type returned by computation

check

computation to check for each value

ls

list of values

Returns:

a computation with a list of pairs for whom the computation was successful

Inherited from:
ShExChecker
def fromBase[A](b: Base[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEither[A](e: Either[Err, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEitherIOS[A](e: EitherT[IO, String, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEitherString[A](e: Either[String, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromIO[A](io: IO[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromIOUnsafe[A](io: IO[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromStream[A](s: Stream[IO, A]): Check[List[A]]

Attributes

Inherited from:
ShExChecker
def getConfig: Check[Config]

Attributes

Inherited from:
ShExChecker
def getConfigEnv: Check[ConfigEnv]

Attributes

Inherited from:
ShExChecker
def getEnv: Check[Env]

Attributes

Inherited from:
ShExChecker
def getNeighPaths(node: RDFNode, paths: Set[Path], ext: Option[Neighs]): Check[Neighs]

Attributes

Inherited from:
ShExChecker
def getNeighs(node: RDFNode, ext: Option[Neighs]): Check[Neighs]

Attributes

Inherited from:
ShExChecker
def getNodesPrefixMap: Check[PrefixMap]

Attributes

Inherited from:
ShExChecker
def getNotAllowedPredicates(node: RDFNode, paths: List[Path], neighs: Neighs): Check[Set[IRI]]

Attributes

Inherited from:
ShExChecker
def getPaths(se: ShapeExpr, schema: ResolvedSchema): Check[Set[Path]]

Attributes

Inherited from:
ShExChecker
def getRDF: Check[RDFReader]

Attributes

Inherited from:
ShExChecker
def getTyping: Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def getValuesPath(node: RDFNode, path: Path, ext: Option[Neighs]): Check[Set[RDFNode]]

Attributes

Inherited from:
ShExChecker
def getVerbose: Check[VerboseLevel]

Attributes

Inherited from:
ShExChecker
def incomingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def incomingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def info(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def infoGreen(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def infoTyping(t: ShapeTyping, msg: String, shapesPrefixMap: PrefixMap): Check[Unit]

Attributes

Inherited from:
ShExChecker
def local[A](f: Env => Env)(comp: Check[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def mkErr[F[_] : Applicative](e: Err): F[Err]

Attributes

Inherited from:
ShExChecker
def mkLabel(label: ShapeMapLabel): ShapeLabel

Attributes

Inherited from:
ShExChecker
def mkSeq[A, B](vs: List[A], f: A => IO[List[B]]): IO[List[B]]

Attributes

Inherited from:
ShExChecker
def ok[A](x: A): Check[A]

Attributes

Inherited from:
ShExChecker
def optCheck[A, B](c: Option[A], check: A => Check[B], default: => Check[B]): Check[B]

If c is some value, applies check, otherwise applies default

If c is some value, applies check, otherwise applies default

Attributes

c

Optional value

check

check function

default

value in case there is no option

Inherited from:
ShExChecker
def orElse[A](c1: Check[A], c2: => Check[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def outgoingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def outgoingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]

Attributes

Inherited from:
ShExChecker
def runCheck[A : Show](c: Check[A], rdf: RDFReader, verbose: VerboseLevel): IO[CheckResult[ShExError, A, Log]]

Attributes

Inherited from:
ShExChecker
def runLocal[A](c: Check[A], f: Env => Env): Check[A]

Attributes

Inherited from:
ShExChecker
def runLocalSafe[A](c: Check[A], f: Env => Env, safe: (Err, Env) => A): Check[A]

Run a computation in a local environment. If the computation fails, return the result of calling safe function over the current environment

Run a computation in a local environment. If the computation fails, return the result of calling safe function over the current environment

Attributes

c

computation to run

f

environment

safe

function to call if the computation fails

Inherited from:
ShExChecker
def runLocalSafeTyping[A](c: Check[A], f: ShapeTyping => ShapeTyping, safe: (Err, ShapeTyping) => A): Check[A]

Attributes

Inherited from:
ShExChecker
def runLocalTyping[A](c: Check[A], f: ShapeTyping => ShapeTyping): Check[A]

Attributes

Inherited from:
ShExChecker
def sequence[A](xs: List[Check[A]]): Check[List[A]]

Attributes

Inherited from:
ShExChecker
def showCurrentTyping(msg: String, shapesPrefixMap: PrefixMap): Check[Unit]

Attributes

Inherited from:
ShExChecker
def step(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def validateCheck(condition: Boolean, e: Err): Check[Unit]

Attributes

Inherited from:
ShExChecker

Inherited fields

lazy val ignoredPathsClosed: List[Path]

Attributes

Inherited from:
ShExChecker
val iriActions: IRI

Attributes

Inherited from:
ShExChecker
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL