Module Bastet__Function

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