Module `Bastet__Dual`

type 'a dual = | Dual of 'a: A data structure representing the dual of a monoid

module type MAGMA_F = functor (M : Bastet.Interface.MAGMA) -> Bastet.Interface.MAGMA with type t = M.t dual

module type SEMIGROUP_F = functor (S : Bastet.Interface.SEMIGROUP) -> Bastet.Interface.SEMIGROUP with type t = S.t dual

module type MONOID_F = functor (M : Bastet.Interface.MONOID) -> Bastet.Interface.MONOID with type t = M.t dual

module type MAGMA_ANY_F = functor (M : Bastet.Interface.MAGMA_ANY) -> Bastet.Interface.MAGMA_ANY with type 'a t = 'a M.t dual

module type SEMIGROUP_ANY_F = functor (S : Bastet.Interface.SEMIGROUP_ANY) -> Bastet.Interface.SEMIGROUP_ANY with type 'a t = 'a S.t dual

module type MONOID_ANY_F = functor (M : Bastet.Interface.MONOID_ANY) -> Bastet.Interface.MONOID_ANY with type 'a t = 'a M.t dual

module type TRAVERSABLE_F = functor (A : Bastet.Interface.APPLICATIVE) -> Bastet.Interface.TRAVERSABLE with type 'a t = 'a dual and type 'a applicative_t = 'a A.t

module Magma : MAGMA_F

module Semigroup : SEMIGROUP_F

module Monoid : MONOID_F

module Functor : Bastet.Interface.FUNCTOR with type 'a t = 'a dual

module Applicative : Bastet.Interface.APPLICATIVE with type 'a t = 'a dual

module Monad : Bastet.Interface.MONAD with type 'a t = 'a dual

module Magma_Any : MAGMA_ANY_F

module Semigroup_Any : SEMIGROUP_ANY_F

module Monoid_Any : MONOID_ANY_F

module Foldable : Bastet.Interface.FOLDABLE with type 'a t = 'a dual

module Traversable : TRAVERSABLE_F

module Infix : sig ... end