package ppx_typed_fields

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val sexp_of_t : t -> Sexplib0.Sexp.t
module Key : Typed_fields_lib.Common.S with type 'a t = 'a Typed_field.t
module Data : Core.T1 with type 'a t = 'a A.s
type sexper = {
  1. individual : 'a. 'a Key.t -> 'a -> Core.Sexp.t;
  2. container : 'a. ('a -> Core.Sexp.t) -> 'a Data.t -> Core.Sexp.t;
}
type creator = {
  1. f : 'a. 'a Key.t -> 'a Data.t;
}
val create : ?sexper:sexper -> creator -> t
val set : t -> key:'a Key.t -> data:'a Data.t -> t
val find : t -> 'a Key.t -> 'a Data.t

Find will always succeed

val change : t -> 'a Key.t -> f:('a Data.t -> 'a Data.t) -> t
module As_applicative : sig ... end