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
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
    
    Export
    
    Ignore
  - Sample
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
    
    Export
  - Serialization
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
    
    Export
    
    Named
  - Size
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
    
    Export
    
    Ignore
ppx_derive_at_runtime.lib
- Ppx_derive_at_runtime_lib
  - Basic
  - Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
  - Fold
  - Of_basic
    
    Basic
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
  - S
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
  - S_with_basic_attribute
    
    Derive
    
    Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
    
    Value
  - Type
    
    Fold
    
    Root
    
    Tree
  - Type_without_fold
    
    Root
    
    Tree
  - Types
    
    Poly_variant
    
    Arg
    
    Fold
    
    Root
    
    Row
    
    Tree
    
    Record
    
    Fold
    
    Label
    
    Root
    
    Tree
    
    Tuple
    
    Fold
    
    Part
    
    Root
    
    Tree
    
    Value
    
    Variant
    
    Args
    
    Constructor
    
    Fold
    
    Root
    
    Tree
  - Value
ppx_derive_at_runtime.test
- Ppx_derive_at_runtime_test

Legend:
Library
Module
Module type
Parameter
Class
Class type

Defines how to derive compare and equal using ppx_derive_at_runtime.

This is an example of an _extensional_ derivation: only the contents of a type matter, not syntactic details like constructor names, or whether a product type is represented as a tuple or as a record.

Internally, it is implemented with Ppx_derive_at_runtime_lib.Of_basic.

type 'a t = {

compare : 'a -> 'a -> Base.int;
equal : 'a -> 'a -> Base.bool;

}

val create_m : (module Base.Comparable.S with type t = 'a) -> 'a t

val unmap : 'a t -> f:('b -> 'a) -> 'b t

module Export : sig ... end

module Ignore : sig ... end

Derives t. Types, record labels, variant constructors, and polymorphic variant rows can be annotated with [@comparison Ignore] to create a t that treats all values as equal.

include Ppx_derive_at_runtime_lib.S_with_basic_attribute
  with type 'a t := 'a t
   and type _ attribute := Ignore.t

module Derive : sig ... end