package typerep_extended

  1. Overview
  2. Docs
package typerep_extended
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type S = sig ... end
module Make_input (Input : sig ... end) (X : Typerep_lib.Std.Type_generic.Computation with type 'a t = Input.t -> 'a) : S with type 'a t = Input.t -> 'a
module Make_output (Output : sig ... end) (X : Typerep_lib.Std.Type_generic.Computation with type 'a t = 'a -> Output.t) : S with type 'a t = 'a -> Output.t
module Make_non_arrow_output (Output : sig ... end) (X : Typerep_lib.Std.Type_generic.Computation with type 'a t = Output.t) : S with type 'a t = Output.t
module Make_reader (Builder : sig ... end) (X : Typerep_lib.Std.Type_generic.Computation with type 'a t = 'a Builder.t) : S with type 'a t = 'a X.t
module Make_writer (Builder : sig ... end) (X : Typerep_lib.Std.Type_generic.Computation with type 'a t = 'a Builder.t) : S with type 'a t = 'a X.t
module type Adapter = sig ... end
module Make_advanced (A : Adapter) (X : Typerep_lib.Std.Type_generic.Computation with type 'a t = 'a A.t) : S with type 'a t = 'a X.t
module Input_adapter (Input : sig ... end) : Adapter with type 'a t = Input.t -> 'a
module Output_adapter (Output : sig ... end) : Adapter with type 'a t = 'a -> Output.t
module Non_arrow_output_adapter (Output : sig ... end) : Adapter with type 'a t = Output.t
module Reader_adapter (Builder : sig ... end) : Adapter with type 'a t = 'a Builder.t
module Writer_adapter (Builder : sig ... end) : Adapter with type 'a t = 'a Builder.t