rbe
rbe
es.weso.collection
Bag
Bag
BagSortedMap
BagSortedMap
es.weso.graph
Direct
DirectEdge
DirectedEdge
Graph
Graph
GraphMap
Inverse
InverseEdge
Neigh
es.weso.rbe
And
AndShape
Attempt
BagChecker
BagChecker
CardinalityZeroZeroDeriv
Empty
Fail
IntervalError
Matcher
MatcherLog
MaxCardinalityZeroFoundValue
MsgError
NonNullableError
NotShape
Or
Plus
RangeLowerBoundBigger
RangeNegativeLowerBound
Rbe
Rbe
RbeError
Repeat
RepeatsError
Schema
Schema
Shape
Shape
ShowRbe
SingleShape
Star
Symbol
Unexpected
UnexpectedEmpty
nodeShape
ConjRef
DisjRef
NodeShape
NodeShape
OrShape
Pred
Ref
RefNot
es.weso.rbe.deriv
DerivChecker
es.weso.rbe.interval
IntLimit
IntOrUnbounded
IntOrUnbounded
IntOrUnboundedException
Interval
IntervalChecker
IntervalChecker
IntervalsException
Unbounded
rbe
/
es.weso.rbe
/
nodeShape
/
NodeShape
NodeShape
object
NodeShape
Some common node shapes
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
NodeShape
.type
Type members
Value members
Type members
Types
type
CheckVal
[
Node
,
Err
,
Evidence
] =
Either
[
List
[
Err
], (
Node
,
Evidence
)]
Value members
Concrete methods
def
any
[
Node
,
Label
,
Err
,
Evidence
:
Read
]:
Pred
[
Node
,
Err
,
Evidence
]
any = any value matches, so no constraint at all
any = any value matches, so no constraint at all
def
errString
[
A
,
Evidence
:
Read
](
err:
String
):
CheckVal
[
A
,
RbeError
,
Evidence
]
def
ok
[
A
,
Err
,
Evidence
:
Read
](
x:
A
,
msg:
String
):
CheckVal
[
A
,
Err
,
Evidence
]