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 Direct[Edge, Node](edge: Edge, node: Node) extends Neigh[Edge, Node] with Product with Serializable

   A neighbor of a node through a direct edge

7.  case class DirectEdge[Edge](edge: Edge) extends DirectedEdge[Edge] with Product with Serializable
8.  trait DirectedEdge[Edge] extends AnyRef

   Represents directed edges

   Represents directed edges

   It can be direct or inverse

9.  case class Fail(error: RbeError) extends Rbe[Nothing] with Product with Serializable

   Fail RBE doesn't match

10.  trait Graph[Edge, Node] extends AnyRef

    Generic representation of graphs

11.  case class GraphMap[Edge, Node](m: Map[Node, Seq[(Edge, Node)]]) extends Graph[Edge, Node] with Product with Serializable

    Implementation of graph as a map

12.  case class IntervalError[A](interval: Interval, rbe: Rbe[A], bag: Bag[A], open: Boolean) extends RbeError with Product with Serializable
13.  case class Inverse[Edge, Node](edge: Edge, node: Node) extends Neigh[Edge, Node] with Product with Serializable

    A neighbor of a node through an inverse edge

14.  case class InverseEdge[Edge](edge: Edge) extends DirectedEdge[Edge] with Product with Serializable
15.  trait Matcher[Edge, Node, Label, Evidence] extends CheckerCats
16.  case class MatcherLog[Edge, Node, Label, Evidence](messages: List[(Attempt[Node, Label], String)]) extends Product with Serializable
17.  case class MaxCardinalityZeroFoundValue[A](x: A, s: Symbol[A]) extends RbeError with Product with Serializable
18.  case class MsgError(msg: String) extends RbeError with Product with Serializable
19.  sealed trait Neigh[Edge, Node] extends AnyRef

    Represents a neighbor of a node in a graph.

    Represents a neighbor of a node in a graph. It can be a direct arc or an inverse arc

20.  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
21.  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
22.  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

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

    Plus(v) represents 1 or more appearances of v

24.  case class RangeLowerBoundBigger(m: Int, n: IntOrUnbounded) extends RbeError with Product with Serializable
25.  case class RangeNegativeLowerBound(m: Int) extends RbeError with Product with Serializable
26.  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

27.  sealed abstract class RbeError extends Exception with NoStackTrace with Product with Serializable
28.  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

29.  case class RepeatsError[A](r: Rbe[A], rbe: Rbe[A], bag: Bag[A])(implicit evidence$1: Show[A]) extends RbeError with Product with Serializable
30.  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

31.  abstract class Shape[Edge, Node, Label, Err, Evidence] extends AnyRef
32.  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

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

    Star(v) represents 0 or more v

34.  trait StringGraph extends Graph[String, String]

    Simple graphs whose nodes and edges are strings They are used for testing purposes mainly

35.  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)

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