package ppx_repr

  1. Overview
  2. Docs
PPX deriver for type representations

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (8)

Authors

  1. T
    Thomas Gazagnaire
  2. C
    Craig Ferguson

Maintainers

  1. T
    thomas@gazagnaire.org

Sources

repr-fuzz-0.1.0.tbz
sha256=90225eeb444ad52be83cebb8d80196a9ba2cc5f3da066390c17dadd361db7339
sha512=15396ed0599acad3be7319574d0492ed8dd4aa2b9669acfc20b3acf98a186cfceabdd186ef88bd994f409fcb885bfbb2d086330092777a7da93f282e4a02b159

doc/ppx_repr.lib/Ppx_repr_lib/Monad/Reader/index.html

Module Monad.Reader

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.