package ppx_derive_at_runtime

The data stored at the leaf of a type. In product types, this represents a single field. In variant types, this represents a single case.

'whole is the type of the enclosing product or sum type.

'part is the type of the data stored in the case or field.

A node combining two subtrees of derived values. For product types, this is 'left * 'right. For sum types, this is ('left, 'right) Either.t.

The ! below means that node must be injective in both type parameters. This is required for the Tree.t GADT to typecheck, below.

Conversion function between a type and its generic "tree-shaped" type. In product types, this is a constructor mapping a 'tree of tuples to the 'whole type. In sum types, this is a conversion from a 'whole value to a 'tree of Either.t types.

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

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.

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

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