Type Members

1.  case class And[A](v1: Rbe[A], v2: Rbe[A]) extends Rbe[A] with Product with Serializable

   And(v1,v2) represents both v1 and v2

2.  case class AndShape[Edge, Node, Label, Err, Evidence](s1: Shape[Edge, Node, Label, Err, Evidence], s2: Shape[Edge, Node, Label, Err, Evidence]) extends Shape[Edge, Node, Label, Err, Evidence] with Product with Serializable
3.  case class Attempt[Node, Label](node: Node, label: Label) extends Product with Serializable
4.  trait BagChecker[A] extends AnyRef
5.  case class CardinalityZeroZeroDeriv[A](x: A, e: Rbe[A], d: Rbe[A])(implicit evidence$5: Show[A]) extends RbeError with Product with Serializable
6.  case class Fail(error: RbeError) extends Rbe[Nothing] with Product with Serializable

   Fail RBE doesn't match

7.  case class IntervalError[A](interval: Interval, rbe: Rbe[A], bag: Bag[A], open: Boolean) extends RbeError with Product with Serializable
8.  trait Matcher[Edge, Node, Label, Evidence] extends CheckerCats
9.  case class MatcherLog[Edge, Node, Label, Evidence](messages: List[(Attempt[Node, Label], String)]) extends Product with Serializable
10.  case class MaxCardinalityZeroFoundValue[A](x: A, s: Symbol[A]) extends RbeError with Product with Serializable
11.  case class MsgError(msg: String) extends RbeError with Product with Serializable
12.  case class NonNullableError[A](nonNullable: Rbe[A], rbe: Rbe[A], bag: Bag[A], open: Boolean, extraSymbols: Map[A, Int])(implicit evidence$2: Show[A]) extends RbeError with Product with Serializable
13.  case class NotShape[Edge, Node, Label, Err, Evidence](s: Shape[Edge, Node, Label, Err, Evidence]) extends Shape[Edge, Node, Label, Err, Evidence] with Product with Serializable
14.  case class Or[A](v1: Rbe[A], v2: Rbe[A]) extends Rbe[A] with Product with Serializable

    Or(v1,v2) represents either v1 or v2

15.  case class Plus[A](v: Rbe[A]) extends Rbe[A] with Product with Serializable

    Plus(v) represents 1 or more appearances of v

16.  case class RangeLowerBoundBigger(m: Int, n: IntOrUnbounded) extends RbeError with Product with Serializable
17.  case class RangeNegativeLowerBound(m: Int) extends RbeError with Product with Serializable
18.  sealed trait Rbe[+A] extends Product with Serializable

    This trait defines Single Occurrence Regular Bag Expressions (Rbe)

    This trait defines Single Occurrence Regular Bag Expressions (Rbe)

    Further info

    The algorithm to check that a Rbe contains a bag is PTIME The algorithm has been described in [1] and is based on intervals

    [1] Complexity and Expressiveness of ShEx for RDF, S. Staworko, I. Boneva, J. Labra, S. Hym, E. Prud'hommeaux, H. Solbrig

19.  sealed abstract class RbeError extends Exception with NoStackTrace with Product with Serializable
20.  case class Repeat[A](v: Rbe[A], n: Int, m: IntOrUnbounded) extends Rbe[A] with Product with Serializable

    Repeat(v,n,m) represents between n and m apperances of v

21.  case class RepeatsError[A](r: Rbe[A], rbe: Rbe[A], bag: Bag[A])(implicit evidence$1: Show[A]) extends RbeError with Product with Serializable
22.  case class Schema[Edge, Node, Label, Err, Evidence](m: Map[Label, Shape[DirectedEdge[Edge], Node, Label, Err, Evidence]], ignored: Seq[DirectedEdge[Edge]]) extends Product with Serializable

    Defines a Schema which is a map from Labels to Shapes

23.  abstract class Shape[Edge, Node, Label, Err, Evidence] extends AnyRef
24.  case class SingleShape[Edge, Node, Label, Err, Evidence](nodeShape: NodeShape[Node, Label, Err, Evidence], rbe: Rbe[(Edge, NodeShape[Node, Label, Err, Evidence])], extras: Seq[Edge], closed: Boolean) extends Shape[Edge, Node, Label, Err, Evidence] with Product with Serializable

    A shape contains a regular bag expression, a closed modifier and a list of extras

    A shape contains a regular bag expression, a closed modifier and a list of extras

    rbe

    regular bag expression

    extras

    list of extra edges that are allowed

    closed

    the shape is closed

25.  case class Star[A](v: Rbe[A]) extends Rbe[A] with Product with Serializable

    Star(v) represents 0 or more v

26.  case class Symbol[+A](a: A, n: Int, m: IntOrUnbounded) extends Rbe[A] with Product with Serializable

    Represents a symbol that is repeated between n and m times (m can be unbounded)

27.  case class Unexpected[A](x: A, s: Rbe[A], open: Boolean)(implicit evidence$3: Show[A]) extends RbeError with Product with Serializable
28.  case class UnexpectedEmpty[A](x: A, open: Boolean)(implicit evidence$4: Show[A]) extends RbeError with Product with Serializable