package ppx_derive_at_runtime

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

GADT representation of records as string-named product types.

module Label : sig ... end
module Tree : sig ... end

The recursive tree structure of a product or sum type representation.

module Root : sig ... end

The root of a product or sum type binary tree representation. Contains the binary tree, and a conversion function between the "flat" type and the binary tree type using pairs or Eithers.

type _ t =
  1. | T : ('whole, 'tree) Root.t -> 'whole t

A product or sum type representation, hiding the internal tree type.

module Fold (Acc : Base.T2) : sig ... end

Produces a generic fold over t, given a result type.

OCaml

Innovation. Community. Security.