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 (8)

Authors

Maintainers

M

Mark Elvers <mark.elvers@tunbury.org>

Sources

ocurrent-0.8.0.tbz

md5=2c246c189fe506c76b588d0d787b7fd5

sha512=4dc944e694b3f0063db45dff177120f8515d8ac498ec21b5925aa21755ac0f8e51b74e710638976a919245392e6a54d8ff277cabec95e708adbb57a02f5a0e8e

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