rbe/es.weso.rbe/nodeShape/NodeShape

NodeShape

object NodeShape

Some common node shapes

Companion:
class
class Object
trait Matchable
class Any

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]