t

es.weso.shex.validator

ShExChecker

trait ShExChecker extends AnyRef

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ShExChecker
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type Base[A] = IndexedReaderWriterStateT[IO, ConfigEnv, Log, State, State, A]
  2. type Check[A] = EitherT[Base, Err, A]
  3. type CheckTyping = EitherT[Base, Err, ShapeTyping]
  4. type Config = ShExConfig
  5. type Env = Context
  6. type Err = ShExError
  7. type Evidence = (NodeShape, String)
  8. type Log = ValidationLog

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addAction2Log(a: Action): Check[Unit]
  5. def addEvidence(nodeShape: NodeShape, msg: String): Check[ShapeTyping]
  6. def addLog(log: Log): Check[Unit]
  7. def addNotEvidence(nodeShape: NodeShape, e: ShExError, msg: String): Check[ShapeTyping]
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def attempt[A](c: Check[A]): Check[Either[Err, A]]
  10. def bind[A, Other](c1: Check[Other], c2: Check[A]): Check[A]
  11. def checkAll[A](xs: List[Check[A]]): Check[List[A]]

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

  12. def checkAllFailFAtFirstFlag[A, B, F[_]](ls: => LazyList[A], check: (A) => F[(B, Boolean)], last: => B)(implicit arg0: Monoid[B], arg1: Monad[F]): F[(B, Boolean)]
  13. def checkAllFlag[A, B, F[_]](ls: => LazyList[A], check: (A) => F[(B, Boolean)], last: => B)(implicit arg0: Monoid[B], arg1: Monad[F]): F[(B, Boolean)]
  14. def checkCond(condition: Boolean, attempt: Attempt, error: ShExError, evidence: String): CheckTyping
  15. def checkList[A, B](ls: List[A], check: (A) => Check[B]): Check[List[B]]
  16. 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)

  17. def checkOneOf[A](cs: List[Check[A]], errNone: Err, errMoreThanOne: (List[A]) => Err): Check[A]
  18. def checkPair1st[A, B](p: (Check[A], B)): Check[(A, B)]
  19. def checkPair2nd[A, B](p: (A, Check[B])): Check[(A, B)]
  20. def checkSequenceFlag[A, F[_]](ls: => List[F[(A, Boolean)]], last: A)(implicit arg0: Monoid[A], arg1: Monad[F]): F[(A, Boolean)]
  21. def checkSome[A](cs: LazyList[Check[A]])(implicit ev: Monoid[Err]): Check[A]
  22. def checkSome[A](cs: List[Check[A]], errorIfNone: Err): Check[A]
  23. def checkSomeFlag[A, B, F[_]](ls: => LazyList[A], check: (A) => F[(B, Boolean)], last: F[(B, Boolean)])(implicit arg0: Monad[F]): 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

  24. def checkSomeFlagCount[A, B](ls: => LazyList[A], check: (A) => Check[(B, Boolean)], last: B)(implicit arg0: Monoid[B]): Check[(B, Int)]
  25. def checkSomeFlagValue[A, B](ls: => LazyList[A], check: (A) => Check[B], last: Check[B]): Check[(B, Option[A])]

    Checks some values.

    Checks some values. Returns the first that passes or None

  26. def checkSomeLazyList[A](cs: LazyList[Check[A]], errIfNone: => Err): Check[A]
  27. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  28. def combineTypings(ts: ShapeTyping*): Check[ShapeTyping]
  29. def combineTypings(ts: List[ShapeTyping]): Check[ShapeTyping]
  30. 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

    A

    type returned by the computation

    B

    type returned the the condition

    check

    Computation to check

    thenPart

    part to be executed when it passes

    elsePart

    part to be executed when the check fails

  31. def condFlag[A, B](check: Check[A], thenPart: (A) => Check[B], elsePart: (Err) => Check[B]): Check[(B, Boolean)]
  32. def debug(msg: String): Check[Unit]
  33. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  34. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  35. def err[A](e: Err): Check[A]
  36. def errStr[A](msg: String): Check[A]
  37. 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

    A

    type of values

    B

    type returned by computation

    ls

    list of values

    check

    computation to check for each value

    returns

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

  38. def fromBase[A](b: Base[A]): Check[A]
  39. def fromEither[A](e: Either[Err, A]): Check[A]
  40. def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]
  41. def fromEitherIOS[A](e: EitherT[IO, String, A]): Check[A]
  42. def fromEitherString[A](e: Either[String, A]): Check[A]
  43. def fromIO[A](io: IO[A]): Check[A]
  44. def fromIOUnsafe[A](io: IO[A]): Check[A]
  45. def fromStream[A](s: Stream[IO, A]): Check[List[A]]
  46. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  47. def getConfig: Check[Config]
  48. def getConfigEnv: Check[ConfigEnv]
  49. def getEnv: Check[Env]
  50. def getNeighPaths(node: RDFNode, paths: Set[Path], ext: Option[Neighs]): Check[Neighs]
  51. def getNeighs(node: RDFNode, ext: Option[Neighs]): Check[Neighs]
  52. def getNodesPrefixMap: Check[PrefixMap]
  53. def getNotAllowedPredicates(node: RDFNode, paths: List[Path], neighs: Neighs): Check[Set[IRI]]
  54. def getPaths(se: ShapeExpr, schema: ResolvedSchema): Check[Set[Path]]
  55. def getRDF: Check[RDFReader]
  56. def getTargetNodeDeclarations(rdf: RDFReader): Check[List[(RDFNode, ShapeLabel)]]
  57. def getTyping: Check[ShapeTyping]
  58. def getValuesPath(node: RDFNode, path: Path, ext: Option[Neighs]): Check[Set[RDFNode]]
  59. def getVerbose: Check[VerboseLevel]
  60. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  61. lazy val ignoredPathsClosed: List[Path]
  62. def incomingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]
  63. def incomingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]
  64. def info(msg: String): Check[Unit]
  65. def infoGreen(msg: String): Check[Unit]
  66. def infoTyping(t: ShapeTyping, msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
  67. val iriActions: IRI
  68. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  69. def local[A](f: (Env) => Env)(comp: Check[A]): Check[A]
  70. def mkErr[F[_]](e: Err)(implicit arg0: Applicative[F]): F[Err]
  71. def mkLabel(label: ShapeMapLabel): ShapeLabel
  72. def mkSeq[A, B](vs: List[A], f: (A) => IO[List[B]]): IO[List[B]]
  73. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  74. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  75. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  76. def ok[A](x: A): Check[A]
  77. 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

    c

    Optional value

    check

    check function

    default

    value in case there is no option

  78. def orElse[A](c1: Check[A], c2: => Check[A]): Check[A]
  79. def outgoingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]
  80. def outgoingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]
  81. def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]
  82. def runCheck[A](c: Check[A], rdf: RDFReader, verbose: VerboseLevel = VerboseLevel.Nothing)(implicit arg0: Show[A]): IO[CheckResult[ShExError, A, Log]]
  83. def runLocal[A](c: Check[A], f: (Env) => Env): Check[A]
  84. def runLocalSafe[A](c: Check[A], f: (Env) => Env, safe: (Err, Env) => A): Check[A]

    Run a computation in a local environment.

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

    c

    computation to run

    f

    environment

    safe

    function to call if the computation fails

  85. def runLocalSafeTyping[A](c: Check[A], f: (ShapeTyping) => ShapeTyping, safe: (Err, ShapeTyping) => A): Check[A]
  86. def runLocalTyping[A](c: Check[A], f: (ShapeTyping) => ShapeTyping): Check[A]
  87. def sequence[A](xs: List[Check[A]]): Check[List[A]]
  88. def showCurrentTyping(msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
  89. def step(msg: String): Check[Unit]
  90. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  91. def toString(): String
    Definition Classes
    AnyRef → Any
  92. def validateCheck(condition: Boolean, e: Err): Check[Unit]
  93. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  94. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  95. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped