package yocaml

  1. Overview
  2. Docs

Module Eff.SyntaxSource

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

let+ x = e in f x is f <$> x

Sourceval (and+) : 'a t -> 'b t -> ('a * 'b) t

let+ x = e and+ y = f in g x y is g <$> e <*> f.

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

let* x = e in f x is e >>= f.

OCaml

Innovation. Community. Security.