package ppx_typed_fields

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

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

type ('t1, 't2, 't3, 'a) field := ('t1, 't2, 't3, 'a) t
type ('t1, 't2, 't3) t' =
  1. | T : ('t1, 't2, 't3, 'a) field -> ('t1, 't2, 't3) t'
type t = {
  1. f : 't1 't2 't3. ('t1, 't2, 't3) t';
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t -> t -> int
include Ppx_compare_lib.Equal.S with type t := t
val equal : t -> t -> bool
val sexp_of_t : t -> Base.Sexp.t
val t_of_sexp : Base.Sexp.t -> t
val all : t Base.list
val pack : ('t1, 't2, 't3, 'a) field -> t