Syntax (preface.Preface_make.Indexed

Parameters

module Core : Preface_specs.Indexed_comonad.CORE

type ('a, 'index) t = ('a, 'index) Core.t

The type held by the Indexed Comonad.

val let@ : ('a, 'index) t -> (('a, 'index) t -> 'b) -> ('b, 'index) t

Syntactic shortcuts for version of CORE.extend:

let@ x = e in f is equals to extend f e.

include Preface_specs.Indexed_functor.SYNTAX
  with type ('a, 'index) t := ('a, 'index) t

val let+ : ('a, 'index) t -> ('a -> 'b) -> ('b, 'index) t

let operator for mapping.