rbe/es.weso.rbe/nodeShape

nodeShape

object nodeShape
class Object
trait Matchable
class Any

Type members

Classlikes

case class ConjRef[Label, Err, Evidence](labels: Seq[Label]) extends NodeShape[Nothing, Label, Err, Evidence]

Reference to a sequence of labels

Reference to a sequence of labels

case class DisjRef[Label, Err, Evidence](labels: Seq[Label]) extends NodeShape[Nothing, Label, Err, Evidence]

Reference to an sequence of labels which are disjunctive

Reference to an sequence of labels which are disjunctive

object NodeShape

Some common node shapes

Some common node shapes

Companion:
class
sealed trait NodeShape[+Node, +Label, Err, Evidence]

A node shape

A node shape

Companion:
object
case class OrShape[+Node, +Label, Err, Evidence](ns: Seq[NodeShape[Node, Label, Err, Evidence]]) extends NodeShape[Node, Label, Err, Evidence]
case class Pred[Node, Err, Evidence](name: String)(pred: Node => CheckVal[Node, Err, Evidence]) extends NodeShape[Node, Nothing, Err, Evidence]

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

case class Ref[Label, Err, Evidence](label: Label) extends NodeShape[Nothing, Label, Err, Evidence]

Reference to another label

Reference to another label

case class RefNot[Label, Err, Evidence](label: Label) extends NodeShape[Nothing, Label, Err, Evidence]

Negation of a expression

Negation of a expression

Types

type CheckVal[Node, Err, Evidence] = Either[List[Err], (Node, Evidence)]