Type Members

1.  type CheckVal[Node, Err, Evidence] = Either[List[Err], (Node, Evidence)]
2.  case class ConjRef[Label, Err, Evidence](labels: Seq[Label]) extends NodeShape[Nothing, Label, Err, Evidence] with Product with Serializable

   Reference to a sequence of labels

3.  case class DisjRef[Label, Err, Evidence](labels: Seq[Label]) extends NodeShape[Nothing, Label, Err, Evidence] with Product with Serializable

   Reference to an sequence of labels which are disjunctive

4.  sealed trait NodeShape[+Node, +Label, Err, Evidence] extends AnyRef

   A node shape

5.  case class OrShape[+Node, +Label, Err, Evidence](ns: Seq[NodeShape[Node, Label, Err, Evidence]]) extends NodeShape[Node, Label, Err, Evidence] with Product with Serializable
6.  case class Pred[Node, Err, Evidence](name: String)(pred: (Node) => CheckVal[Node, Err, Evidence]) extends NodeShape[Node, Nothing, Err, Evidence] with Product with Serializable

   Constraint on nodes (it has a name and a predicate).

   Constraint on nodes (it has a name and a predicate).

   Note: pred is defined in the 2nd parameter section to avoid equality and hashing of functions

7.  case class Ref[Label, Err, Evidence](label: Label) extends NodeShape[Nothing, Label, Err, Evidence] with Product with Serializable

   Reference to another label

8.  case class RefNot[Label, Err, Evidence](label: Label) extends NodeShape[Nothing, Label, Err, Evidence] with Product with Serializable

   Negation of a expression