Module Preface_specs.Indexed_comonad

An Indexed Comonad is the dual of the Indexed_monad.

Minimal definition

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.

Structure anatomy

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.

Complete API

module type API = sig ... end

The complete interface of an Indexed Comonad.