package accessor

  1. Overview
  2. Docs
package accessor
Legend:
Library
Module
Module type
Parameter
Class
Class type

Of_functor, Of_functor2, and Of_functor3 generate map-like functions that work under some "functor", which is like a monad or applicative, except that it only supports map.

Parameters

module F : sig ... end

Signature

val map : (Base.unit -> 'a -> 'b, Base.unit -> 'at -> 'bt, [> Subtyping.field ]) General.t -> 'at -> f:('a -> 'b F.t) -> 'bt F.t
val mapi : ('i -> 'a -> 'b, Base.unit -> 'at -> 'bt, [> Subtyping.field ]) General.t -> 'at -> f:('i Index.t -> 'a -> 'b F.t) -> 'bt F.t
val all : (Base.unit -> 'a F.t -> 'a, Base.unit -> 'at -> 'bt, [> Subtyping.field ]) General.t -> 'at -> 'bt F.t