package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Bind.Syntax`

Parameters

module Core : Preface_specs.Bind.CORE

Signature

type 'a t = 'a Core.t

The type held by the Bind.

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

Syntactic shortcuts for flipped version of CORE.bind:

let* x = e in f is equals to bind (fun x -> f) e.

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

let operator for mapping.