accessor

A library that makes it nicer to work with nested functional data structures
IN THIS PACKAGE
Module Accessor . Of_functor

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