package ppx_repr

You can search for identifiers within the package.

in-package search v0.2.0

package ppx_repr

ppx_repr
- README_PPX
- Library ppx_repr
  - Ppx_repr
- Library ppx_repr.lib
  - Ppx_repr_lib
    
    Algebraic
    
    Typ
    
    S
    
    Located
    
    M
    
    Algebraic_intf
    
    Typ
    
    S
    
    M
    
    Syntax
    
    Algebraic
    
    Typ
    
    S
    
    Located
    
    M
    
    Attributes
    
    S
    
    Make
    
    Attributes_intf
    
    S
    
    Attributes
    
    S
    
    Make
    
    Dsl
    
    Engine
    
    S
    
    Located
    
    Engine_intf
    
    S
    
    Engine
    
    S
    
    Located
    
    Monad
    
    S
    
    Reader
    
    Syntax
    
    Monad_intf
    
    S
    
    Syntax
    
    Monad
    
    S
    
    Reader
    
    Syntax
    
    Plugins
    
    Make
    
    Ppx_irmin_lib
    
    Engine
    
    Plugins
    
    Raise
    
    Unsupported
    
    Utils
    
    Option
    
    List
    
    Make
- Sources
  - ppx_repr
    
    ppx_repr.ml
  - ppx_repr.lib
    
    algebraic.ml
    
    algebraic_intf.ml
    
    attributes.ml
    
    attributes_intf.ml
    
    dsl.ml
    
    engine.ml
    
    engine_intf.ml
    
    monad.ml
    
    monad_intf.ml
    
    plugins.ml
    
    ppx_irmin_lib.ml
    
    ppx_repr_lib.ml
    
    raise.ml
    
    utils.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Monad.Reader`Source

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.