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

Authors

Maintainers

M

Mark Elvers <mark.elvers@tunbury.org>

Sources

ocurrent-0.7.3.tbz

md5=7cc6b5cb4158e01444c92082fc7fc88d

sha512=5576b26377d470bdd4cbdb58d4cc4bcc3b62258ed9768b589bcae09f16919d7748d93cac34f35b6da20972dde356f57eadc00ef832f7cb939a42ce0689fc4104

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