Type Members

1.  case class Attempt(node: RDFNode, shapeRef: RefNode, messageMap: MessageMap, severity: Severity, path: Option[SHACLPath]) extends Product with Serializable

   Represents current validation attempt It contains the node and a shape It may contain a predicate, path or nothing

2.  case class AttemptInfo(node: RDFNode, shape: RefNode, messageMap: MessageMap, severity: Severity) extends Product with Serializable
3.  case class CheckResult[E, A, Log](r: (Log, Either[E, A]))(implicit evidence$1: Show[E], evidence$2: Show[A], evidence$3: Show[Log]) extends Product with Serializable
4.  type CheckTyping = EitherT[validator.SHACLChecker.WriterEC, Err, Result]
5.  abstract class Evidence extends AnyRef
6.  case class Evidences(ls: List[Evidence]) extends Product with Serializable
7.  case class MsgEvidence(msg: String) extends Evidence with Product with Serializable
8.  type NodeChecker = (Attempt) ⇒ (RDFNode) ⇒ CheckTyping
9.  type NodeShapeChecker = (RDFNode, Shape) ⇒ CheckTyping
10.  case class NodeShapeEvidence(node: RDFNode, shape: RefNode, msg: String) extends Evidence with Product with Serializable
11.  type PropertyChecker = (Attempt, SHACLPath) ⇒ CheckTyping
12.  type Result = (ShapeTyping, Boolean)
13.  type ShapeChecker = (Shape) ⇒ CheckTyping
14.  case class ShapeTyping(t: Typing[RDFNode, Shape, AbstractResult, String]) extends Product with Serializable
15.  case class Validator(schema: Schema) extends LazyLogging with Product with Serializable

    This validator is implemented directly in Scala using the cats library