package ppx_typed_fields

  1. Overview
  2. Docs
package ppx_typed_fields
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type S = sig ... end
module type S1 = sig ... end
module type S2 = sig ... end
module type S3 = sig ... end
module type S4 = sig ... end
module type S5 = sig ... end
module S_of_S1 (M : S1) (T : Base.T) : S with type 'a t = (T.t, 'a) M.t and type derived_on = T.t M.derived_on
module S_of_S2 (M : S2) (T1 : Base.T) (T2 : Base.T) : S with type 'a t = (T1.t, T2.t, 'a) M.t and type derived_on = (T1.t, T2.t) M.derived_on
module S_of_S3 (M : S3) (T1 : Base.T) (T2 : Base.T) (T3 : Base.T) : S with type 'a t = (T1.t, T2.t, T3.t, 'a) M.t and type derived_on = (T1.t, T2.t, T3.t) M.derived_on
module S_of_S4 (M : S4) (T1 : Base.T) (T2 : Base.T) (T3 : Base.T) (T4 : Base.T) : S with type 'a t = (T1.t, T2.t, T3.t, T4.t, 'a) M.t and type derived_on = (T1.t, T2.t, T3.t, T4.t) M.derived_on
module S_of_S5 (M : S5) (T1 : Base.T) (T2 : Base.T) (T3 : Base.T) (T4 : Base.T) (T5 : Base.T) : S with type 'a t = (T1.t, T2.t, T3.t, T4.t, T5.t, 'a) M.t and type derived_on = (T1.t, T2.t, T3.t, T4.t, T5.t) M.derived_on
module Singleton (T : Base.T) : sig ... end
module Singleton1 (T1 : Base.T1) : sig ... end
module Singleton2 (T2 : Base.T2) : sig ... end
module Singleton3 (T3 : Base.T3) : sig ... end
module Singleton4 (T4 : sig ... end) : sig ... end
module Singleton5 (T5 : sig ... end) : sig ... end
module Unit : sig ... end

This is a convenient module for deriving typed_fields on unit, which you can conceptually think of as a record with no fields. OCaml does not support actual record types with no fields.

module Common : sig ... end
module Private : sig ... end