package ppx_repr

You can search for identifiers within the package.

in-package search v0.2.0

PPX deriver for type representations

Install

sha256=36db1188217a8b0ad3c5c745f120ac1a46ff1767a6440988bd7280e68e751850

sha512=c7399f64b8bdc5b0aad63b66feb6142096b9b72bc27aee94d8896d780271d0dadbf242f09b1a92cc2b1a4f29e2ca5db08f77d1ebeb0ee5761c61a031a3ca3657

Computations that read values from a shared environment.

type ('a, 'p) t

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

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

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

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

module Syntax : sig ... end

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

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

val ask : ('e, 'e) t

Retrieves the monad environment.

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

Retrieves a projection of the current monad environment.

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

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