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

Authors

Maintainers

M

Mark Elvers <mark.elvers@tunbury.org>

Sources

ocurrent-0.7.5.tbz

md5=cd79d2a2c03fc2a548458edc92a49601

sha512=c1ee24c27b2fdc01a34a0ea041e3c5bf1fef21997dd0a12d54138c9fac2992c68b9f1dd823d8fddfc3272df793585af9f16f94ae262c149e72cd2a3ddcdf03f7

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