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

Derives how to derive sexp_of and of_sexp using ppx_derive_at_runtime.

This is an example of an _intensional_ derivation: syntactic details of a type may matter, such as constructor names, or whether a product type is represented as a tuple or as a record.

type 'a t = {

sexp_of : 'a -> Base.Sexp.t;
of_sexp : Base.Sexp.t -> 'a;

}

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

val map_unmap : 'a t -> to_:('a -> 'b) -> of_:('b -> 'a) -> 'b t

module Export : sig ... end

module Named : sig ... end

Derives t. Types, record labels, variant constructors, and polymorphic variant rows may be annotated with [@serialization Named "my-name"]. In the case of record labels, variant constructors, and tagged polymorphic variant rows, this replaces the existing name. For types and inherited polymorphic variant rows, this wraps the sexp for the value with the given name, e.g. (some value) becomes (my-name (some value)).

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

module Derive : sig ... end