Module Typerep_extended.Tagged_generic

module type S : sig ... end

module Make_input : functor (Input : sig ... end) -> functor (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 : functor (Output : sig ... end) -> functor (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 : functor (Output : sig ... end) -> functor (X : Typerep_lib.Std.Type_generic.Computation with type 'a t = Output.t) -> S with type 'a t = Output.t

module Make_reader : functor (Builder : sig ... end) -> functor (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 : functor (Builder : sig ... end) -> functor (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 : functor (A : Adapter) -> functor (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 : functor (Input : sig ... end) -> Adapter with type 'a t = Input.t ‑> 'a

module Output_adapter : functor (Output : sig ... end) -> Adapter with type 'a t = 'a ‑> Output.t

module Non_arrow_output_adapter : functor (Output : sig ... end) -> Adapter with type 'a t = Output.t

module Reader_adapter : functor (Builder : sig ... end) -> Adapter with type 'a t = 'a Builder.t

module Writer_adapter : functor (Builder : sig ... end) -> Adapter with type 'a t = 'a Builder.t