accessor

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

Parameters

module F : sig ... end

Signature

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