Nuprl Definition : array-monad'
array-monad'(AType) == mk_monad(λT.(Arr(AType) ⟶ T);λv,A. v;λm,k,A. (k (m A) A))
Definitions occuring in Statement :
Arr: Arr(AType),
mk_monad: mk_monad(M;return;bind),
apply: f a,
lambda: λx.A[x],
function: x:A ⟶ B[x]
Definitions occuring in definition :
mk_monad: mk_monad(M;return;bind),
function: x:A ⟶ B[x],
Arr: Arr(AType),
lambda: λx.A[x],
apply: f a
FDL editor aliases :
array-monad'
Latex:
array-monad'(AType) == mk\_monad(\mlambda{}T.(Arr(AType) {}\mrightarrow{} T);\mlambda{}v,A. v;\mlambda{}m,k,A. (k (m A) A))
Date html generated:
2016_05_15-PM-02_17_46
Last ObjectModification:
2015_09_23-AM-07_38_30
Theory : monads
Home
Index