package ppx_repr

You can search for identifiers within the package.

in-package search v0.2.0

PPX deriver for type representations

Install

sha256=d9bd2fe51c2eb6fca27731034c46f9a77dc8bc9fb7b76216f8a571603d6e7d74

sha512=7b4ad2cbcd92f6647a1abe1d82557f02e4955c5f37f02089388c752e23b865af0f55fdd6bc63a1d2a00962baf96ccd99ccd9b8ecd8898dcc2a0cd17302f067c3

Computations that read values from a shared environment.

Sourcetype ('a, 'p) t

Sourceval return : 'a -> ('a, 'p) t

Sourceval map : ('a -> 'b) -> ('a, 'p) t -> ('b, 'p) t

Sourceval bind : ('a -> ('b, 'p) t) -> ('a, 'p) t -> ('b, 'p) t

Sourceval sequence : ('a, 'p) t list -> ('a list, 'p) t

Sourcemodule Syntax : sig ... end

Sourceval run : ('a, 'e) t -> 'e -> 'a

Runs a ('a,'e)t and extracts the final value 'a from it.

Sourceval ask : ('e, 'e) t

Retrieves the monad environment.

Sourceval asks : ('e -> 'a) -> ('a, 'e) t

Retrieves a projection of the current monad environment.

Sourceval local : ('e -> 'e) -> ('a, 'e) t -> ('a, 'e) t

local f m executes a computation in m in an environment modified by f.