package preface
-
Preface
-
preface_core
-
preface_stdlib
-
Library
Module
Module type
Parameter
Class
Class type
Type
Functions
val extract : 'a t -> 'a
Extract a 'a
from 'a t
. Dual of return.
Composing monadic functions using Co-Kleisli Arrow (from left to right).
Mapping over from 'a
and 'b
to 'c
over 'a t
and 'b t
to 'c t
.
Mapping over from 'a
and 'b
and 'c
to 'd
over 'a t
and 'b t
and 'c t
to 'd t
.
Composing co-monadic functions using Co-Kleisli Arrow (from right to left).
Create a new 'a t
, replacing all values in the 'b t
by given a value of 'a
.
Infix operators
module Infix : Preface_specs.Comonad.INFIX with type 'a t = 'a t
Infix version of OPERATION
.compose_right_to_left.
Infix version of Preface_specs.Functor.CORE.map
.
Flipped and infix version of Preface_specs.Functor.CORE.map
.
Infix version of Preface_specs.Functor.OPERATION.replace
.
Flipped and infix version of Preface_specs.Functor.OPERATION.replace
.
Syntax
module Syntax : Preface_specs.Comonad.SYNTAX with type 'a t = 'a t
Syntactic shortcuts for version of CORE
.extend:
let@ x = e in f
is equals to extend f e
.