Preface_specs.Indexed_comonad
An Indexed Comonad
is the dual of the Indexed_monad
.
module type WITH_MAP_AND_DUPLICATE = sig ... end
Minimal definition using extract
, map
and duplicate
.
module type WITH_EXTEND = sig ... end
Minimal definition using extract
and extend
.
module type WITH_COKLEISLI_COMPOSITION = sig ... end
Minimal definition using extract
and compose_left_to_right
.
module type CORE = sig ... end
Basis operations.
module type OPERATION = sig ... end
Additional operations.
module type SYNTAX = sig ... end
Syntax extensions.
module type INFIX = sig ... end
Infix operators.
module type API = sig ... end
The complete interface of an Indexed Comonad
.