Up
Module
Tagged_generic
=
Tagged_generic
Signature
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_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
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