Module Bastet.Function

val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
val const : 'a -> 'b -> 'a
module type FUNCTOR_F = functor (T : Interface.TYPE) -> Interface.FUNCTOR with type 'a t = T.t -> 'a
module type APPLY_F = functor (T : Interface.TYPE) -> Interface.APPLY with type 'a t = T.t -> 'a
module type INVARIANT_F = functor (T : Interface.TYPE) -> Interface.INVARIANT with type 'a t = T.t -> 'a
module type CONTRAVARIANT_F = functor (T : Interface.TYPE) -> Interface.CONTRAVARIANT with type 'a t = 'a -> T.t
module type BICONTRAVARIANT_F = functor (T : Interface.TYPE) -> Interface.BICONTRAVARIANT with type ('a, 'b) t = 'a -> 'b -> T.t
module Functor : FUNCTOR_F
module Apply : APPLY_F
module Semigroupoid : Interface.SEMIGROUPOID with type ('a, 'b) t = 'a -> 'b
module Category : Interface.CATEGORY with type ('a, 'b) t = 'a -> 'b
module Invariant : INVARIANT_F
module Profunctor : Interface.PROFUNCTOR with type ('a, 'b) t = 'a -> 'b
module Contravariant : CONTRAVARIANT_F
module Bicontravariant : BICONTRAVARIANT_F
module Infix : sig ... end