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. All

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

Abstract Value Members

  1. abstract val builder: RDFBuilder

Concrete 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])]
  26. def checkSomeLazyList[A](cs: LazyList[Check[A]], errIfNone: ⇒ Err): Check[A]
  27. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @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. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  33. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  34. def err[A](e: Err): Check[A]
  35. def errStr[A](msg: String): Check[A]
  36. 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

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

  75. def orElse[A](c1: Check[A], c2: ⇒ Check[A]): Check[A]
  76. def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]
  77. def runCheck[A](c: Check[A], rdf: RDFReader, verbose: Boolean = false)(implicit arg0: Show[A]): IO[CheckResult[ShExError, A, Log]]
  78. def runLocal[A](c: Check[A], f: (Env) ⇒ Env): Check[A]
  79. def runLocalNeighs[A](c: Check[A], node: RDFNode, neighs: Neighs): Check[A]
  80. 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

  81. def runLocalSafeTyping[A](c: Check[A], f: (ShapeTyping) ⇒ ShapeTyping, safe: (Err, ShapeTyping) ⇒ A): Check[A]
  82. def runLocalTyping[A](c: Check[A], f: (ShapeTyping) ⇒ ShapeTyping): Check[A]
  83. def sequence[A](xs: List[Check[A]]): Check[List[A]]
  84. def showCurrentTyping(msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
  85. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  86. def toString(): String
    Definition Classes
    AnyRef → Any
  87. def validateCheck(condition: Boolean, e: Err): Check[Unit]
  88. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  89. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  90. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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