NAME

mon.cam - basic CAMILA monoidal constructions


SYNOPSYS

 monff(m:A->B,n:A->B,f:BxB -> B):A->B 

 monseq(l:B-seq,r:B-seq,f:BxB -> B):B-seq 


DESCRIPTION

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:A->B,n:A->B,f:BxB -> B):A->B

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(l:B-seq,r:B-seq,f:BxB -> B):B-seq

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.


SEE ALSO

No include commands found.


AUTHOR

J.N. Oliveira (jno@di.uminho.pt)