Module Bastet__Functions
val const : 'a -> 'b -> 'aval flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'cval id : ('a, 'a) Bastet.Function.Category.tval (<.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('c, 'a) Bastet__Function.Semigroupoid.t -> ('c, 'b) Bastet__Function.Semigroupoid.t
module Monoid : functor (M : Bastet.Interface.MONOID) -> sig ... endmodule Functor : functor (F : Bastet.Interface.FUNCTOR) -> sig ... endmodule Apply : functor (A : Bastet.Interface.APPLY) -> sig ... endmodule Apply' : functor (A : Bastet.Interface.APPLY) -> functor (T : Bastet.Interface.TYPE) -> sig ... endmodule Applicative : functor (A : Bastet.Interface.APPLICATIVE) -> sig ... endmodule Monad : functor (M : Bastet.Interface.MONAD) -> sig ... endmodule Foldable : functor (F : Bastet.Interface.FOLDABLE) -> sig ... endmodule Traversable : functor (T : Bastet.Interface.TRAVERSABLE_F) -> sig ... endmodule Infix : sig ... end