package bastet

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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 Profunctor : Interface.PROFUNCTOR with type ('a, 'b) t = 'a -> 'b
module Infix : sig ... end