package ppx_typed_fields

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

Parameters

module M : S3
module T1 : Base.T
module T2 : Base.T
module T3 : Base.T

Signature

type 'a t = (T1.t, T2.t, T3.t, 'a) M.t
type derived_on = (T1.t, T2.t, T3.t) M.derived_on
val name : 'a t -> Base.string

The name of the field, e.g. "rgb" from the example above.

val path : 'a t -> Base.string Base.list

The path of a field, e.g. "rgb" from the example above. The list will have multiple elements if the field is a subproduct.

val __ord : 'a t -> Base.int Base.list
module Type_ids : sig ... end
module Packed : sig ... end

Packed is useful for making collections of 'a t's with different 'a's.

type creator = {
  1. f : 'a. 'a t -> 'a;
}
val get : 'a t -> derived_on -> 'a
val set : 'a t -> derived_on -> 'a -> derived_on
val create : creator -> derived_on