package prbnmcn-basic-structures

  1. Overview
  2. Docs

Module Codegen_identity.InfixSource

Sourceval (>>=) : 'a t -> ('a -> 'b t) -> 'b t

Alias to bind.

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

Alias to bind.

Sourceval (>>) : unit m t -> (unit -> 'a t) -> 'a t
Sourceval (let*!) : 'a m -> ('a m -> 'b t) -> 'b t

let*! x = m in f uses the target language binding construct to bind x to m and passes x to the continuation f.

In contrast to let* x = return m in f, this has the effect of not duplicating m at each use site.

Sourceval (>>!) : unit m -> (unit -> 'b t) -> 'b t