package rea

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Stdlib.Option extensions.

val map_er : 
  ('a -> ('R, 'e, 'b, ['R, 'D] pointed' as 'D) er) ->
  'a Option.t ->
  ('R, 'e, 'b Option.t, 'D) er

Option traversal.

val map_eq_er : 
  ('a -> ('R, 'e, 'a, ['R, 'D] pointed' as 'D) er) ->
  'a Option.t ->
  ('R, 'e, 'a Option.t, 'D) er

Physical equality preserving Option traversal.

type r

Abstract effect representation for Option.

val to_rea : 'a Option.t -> (r, 'e, 'a) s

Option injection.

val of_rea : (r, 'e, 'a) s -> 'a Option.t

Option projection.

class 'D monad_plus : object ... end

Base Option interpreter dictionary.

val monad_plus : 'D monad_plus as 'D

Default monad_plus dictionary.