Module Bastet__Functions.Foldable

Parameters

Signature

module Semigroup : functor (S : Bastet.Interface.SEMIGROUP) -> sig ... end
module Monoid : functor (M : Bastet.Interface.MONOID) -> sig ... end
module Applicative : functor (A : Bastet.Interface.APPLICATIVE) -> sig ... end
module Plus : functor (P : Bastet.Interface.PLUS) -> sig ... end
module Monad : functor (M : Bastet.Interface.MONAD) -> sig ... end