mon.cam - basic CAMILA monoidal constructions
monff(m:A->B,n:A->B,f:BxB -> B):A->B
monseq(l:B-seq,r:B-seq,f:BxB -> B):B-seq
This small library provides two basic monoidal constructs which prove
useful many specification contexts.
The basic idea is to scale up monoidal computations in a compositional
and functorial way.
The informal semantics of the operators are as follows:
monff(m,n,f)
is a higher-order function extending a binary
monoidal operation f to the F(X)=A->X
functor.
monff(m,n,f)
is itself a monoidal operator.
monseq(m,n,f)
is a higher-order function extending a binary
monoidal operation f to the F(X)=X-seq
functor.
monseq(m,n,f)
is itself a monoidal operator.
No include commands found.
J.N. Oliveira (jno@di.uminho.pt)