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](implicit evidence$1: Read[Evidence]): 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](err: String)(implicit evidence$3: Read[Evidence]): CheckVal[A, RbeError, Evidence]
def ok[A, Err, Evidence](x: A, msg: String)(implicit evidence$2: Read[Evidence]): CheckVal[A, Err, Evidence]