package preface

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

type 'a t = 'a Core.t

The type held by the Comonad.

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

Syntaxic shortcuts for version of CORE.extend:

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

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

Syntaxic shortcuts for version of CORE.map