Module Bastet.Functions
val const : 'a -> 'b -> 'aval flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'cval id : ('a, 'a) 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 : Interface.MONOID) -> sig ... endmodule Functor : functor (F : Interface.FUNCTOR) -> sig ... endmodule Apply : functor (A : Interface.APPLY) -> sig ... endmodule Apply' : functor (A : Interface.APPLY) -> functor (T : Interface.TYPE) -> sig ... endmodule Applicative : functor (A : Interface.APPLICATIVE) -> sig ... endmodule Monad : functor (M : Interface.MONAD) -> sig ... endmodule Foldable : functor (F : Interface.FOLDABLE) -> sig ... endmodule Traversable : functor (T : Interface.TRAVERSABLE_F) -> sig ... endmodule Infix : sig ... end