package ppx_derive_at_runtime

You can search for identifiers within the package.

in-package search v0.2.0

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

Signature of a fold over a binary tree from Type_without_fold, above.

Binary tree types.

type (_, _) node

type (_, _) leaf

type (_, _) tree

type (_, _) acc

Accumulator type of the fold.

Polymorphic callbacks used in recursion over the GADT.

type 'whole leaf_callback = {

on_leaf : 'part. ('whole, 'part) leaf -> ('whole, 'part) acc;

}

type 'whole node_callback = {

on_node : 'left 'right. ('whole, 'left) acc -> ('whole, 'right) acc -> ('whole, ('left, 'right) node) acc;

}

val fold : 
  ('whole, 'tree) tree ->
  leaf:'whole leaf_callback ->
  node:'whole node_callback ->
  ('whole, 'tree) acc

Folds over a type representation.