rbe
rbe
es.weso.collection
Bag
Bag
BagSortedMap
BagSortedMap
es.weso.rbe
And
AndShape
Attempt
BagChecker
BagChecker
CardinalityZeroZeroDeriv
Direct
DirectEdge
DirectedEdge
Empty
Fail
Graph
Graph
GraphMap
IntervalError
Inverse
InverseEdge
Matcher
MatcherLog
MaxCardinalityZeroFoundValue
MsgError
Neigh
NonNullableError
NotShape
Or
Plus
RangeLowerBoundBigger
RangeNegativeLowerBound
Rbe
Rbe
RbeError
Repeat
RepeatsError
Schema
Schema
Shape
Shape
ShowRbe
SingleShape
Star
StringGraph
StringGraph
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
es.weso.utils
Read
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
]