package ppx_derive_at_runtime

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

ppx_derive_at_runtime
- Ppx_derive_at_runtime
ppx_derive_at_runtime.example
- Ppx_derive_at_runtime_example
  - Comparison
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
    
    Export
    
    Ignore
  - Sample
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
    
    Export
  - Serialization
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
    
    Export
    
    Named
  - Size
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
    
    Export
    
    Ignore
ppx_derive_at_runtime.lib
- Ppx_derive_at_runtime_lib
  - Basic
  - Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
  - Fold
  - Of_basic
    
    Basic
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
  - S
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
  - S_with_basic_attribute
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
    
    Value
  - Type
    
    Fold
    
    Acc
    
    Root
    
    Tree
  - Type_without_fold
    
    Root
    
    Tree
  - Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Acc
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Acc
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Acc
    
    Part
    
    Root
    
    Tree
    
    Value
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Acc
    
    Root
    
    Tree
  - Value
ppx_derive_at_runtime.test
- Ppx_derive_at_runtime_test

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Binary tree types.

Parameters

module Acc : Base.T2

Signature

Polymorphic callbacks used in recursion over the GADT.

type 'whole leaf_callback = {

on_leaf : 'part. ('whole, 'part) Part.t -> ('whole, 'part) Acc.t;

}

type 'whole node_callback = {

on_node : 'left 'right. ('whole, 'left) Acc.t -> ('whole, 'right) Acc.t -> ('whole, 'left * 'right) Acc.t;

}

val fold : 
  ('whole, 'tree) Tree.t ->
  leaf:'whole leaf_callback ->
  node:'whole node_callback ->
  ('whole, 'tree) Acc.t

Folds over a type representation.