nonterminal Maybe<a>

In file: Maybe.sv

abstract production just

top::Maybe<a> ::= v::a

In file: Maybe.sv

abstract production nothing

top::Maybe<a> ::=

In file: Maybe.sv

function fromMaybe

a ::= otherwise::a ifJust::Maybe<a>

In file: Maybe.sv

function orElse

Maybe<a> ::= l::Maybe<a> r::Maybe<a>

In file: Maybe.sv

function consMaybe

[a] ::= h::Maybe<a> t::[a]

In file: Maybe.sv

function catMaybes

[a] ::= l::[Maybe<a>]

In file: Maybe.sv

function mapMaybe

Maybe<b> ::= f::(b ::= a) m::Maybe<a>

In file: Maybe.sv

function find

Maybe<a> ::= f::(Boolean ::= a) l::[a]

In file: Maybe.sv