package current

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Applicative syntax
Monadic syntax

Pipeline language for keeping things up-to-date

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

Maintainers

M

Mark Elvers <mark.elvers@tunbury.org>

Sources

ocurrent-0.7.2.tbz

md5=19c8bdf96a8c5400322f32fe5784fb6b

sha512=7da7cbc7a909365a573e62641800050e263f309209d4339dab4a124934b13afe4b892fca4d424d79af539c6747bed31cfc7cad94dfb962e2d90366e0757083c3

doc/current.term/Current_term/Make/Syntax/index.html

Module `Make.Syntax`Source

Applicative syntax

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

Syntax for map. Use this to process the result of a term without using any special effects.

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

Syntax for pair. Use this to depend on multiple terms.

Monadic syntax

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

Monadic bind. Use this if the next part of your pipeline can only be determined at runtime by looking at the concrete value. Static analysis cannot predict what this will do until the input is ready.

Sourceval (let>) : 'a t -> ('a -> 'b primitive) -> description -> 'b t

let> is used to define a component. e.g.:

  component "my-op" |>
    let> x = fetch uri in
    ...

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

Like let*, but allows you to name the operation. e.g.:

  component "my-op" |>
    let** x = fetch uri in
    ...

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

Syntax for pair. Use this to depend on multiple terms. Note: this is the same as and+.

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