Nuprl Definition : list-monad
ListMonad == mk_monad(λT.(T List);λx.[x];λL,f. concat(map(f;L)))
Definitions occuring in Statement :
mk_monad: mk_monad(M;return;bind),
concat: concat(ll),
map: map(f;as),
cons: [a / b],
nil: [],
list: T List,
lambda: λx.A[x]
Definitions occuring in definition :
mk_monad: mk_monad(M;return;bind),
list: T List,
cons: [a / b],
nil: [],
lambda: λx.A[x],
concat: concat(ll),
map: map(f;as)
FDL editor aliases :
list-monad
Latex:
ListMonad == mk\_monad(\mlambda{}T.(T List);\mlambda{}x.[x];\mlambda{}L,f. concat(map(f;L)))
Date html generated:
2016_05_15-PM-02_17_09
Last ObjectModification:
2015_09_23-AM-07_38_24
Theory : monads
Home
Index