package deriving

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package deriving

deriving.runtime
- Deriving_Bounded
- Deriving_Default
  - Default
  - Default_array
    
    A
  - Default_bool
  - Default_char
  - Default_float
  - Default_int
  - Default_int64
  - Default_list
    
    A
  - Default_option
    
    A
  - Default_ref
    
    A
  - Default_string
  - Default_unit
  - Defaults
    
    D
- Deriving_Dump
  - Defaults
    
    P
  - Dump
  - Dump_alpha
    
    P
  - Dump_bool
  - Dump_char
  - Dump_float
  - Dump_int
  - Dump_int32
  - Dump_int64
  - Dump_list
    
    P
  - Dump_nativeint
  - Dump_option
    
    P
  - Dump_string
  - Dump_undumpable
    
    P
  - Dump_unit
  - Dump_via_marshal
    
    P
- Deriving_Enum
  - Defaults
    
    E
  - Defaults'
    
    B
    
    E
  - Enum
  - Enum_bool
  - Enum_char
  - Enum_int
  - Enum_unit
- Deriving_Eq
  - Eq
  - Eq_alpha
    
    S
  - Eq_array
    
    E
  - Eq_bool
  - Eq_char
  - Eq_float
  - Eq_immutable
    
    S
  - Eq_int
  - Eq_int32
  - Eq_int64
  - Eq_list
    
    E
  - Eq_map_s_t
    
    E
  - Eq_mutable
    
    S
  - Eq_nativeint
  - Eq_option
    
    E
  - Eq_ref
    
    E
  - Eq_set_s_t
  - Eq_string
  - Eq_unit
- Deriving_Functor
- Deriving_Pickle
  - Defaults
    
    Eq
    
    S
    
    Eq
    
    Typeable
    
    Typeable
  - Pickle
    
    Eq
    
    Typeable
  - Pickle_bool
    
    Eq
    
    Typeable
  - Pickle_char
    
    Eq
    
    Typeable
  - Pickle_float
    
    Eq
    
    Typeable
  - Pickle_from_dump
    
    E
    
    Eq
    
    P
    
    T
    
    Typeable
  - Pickle_int
    
    Eq
    
    Typeable
  - Pickle_int32
    
    Eq
    
    Typeable
  - Pickle_int64
    
    Eq
    
    Typeable
  - Pickle_list
    
    Eq
    
    Typeable
    
    V0
    
    Eq
    
    Typeable
  - Pickle_nativeint
    
    Eq
    
    Typeable
  - Pickle_option
    
    Eq
    
    Typeable
    
    V0
    
    Eq
    
    Typeable
  - Pickle_ref
    
    Eq
    
    S
    
    Eq
    
    Typeable
    
    Typeable
  - Pickle_string
    
    Eq
    
    Typeable
  - Pickle_unit
    
    Eq
    
    Typeable
  - Read
    
    Utils
    
    T
  - Repr
  - Write
    
    Utils
    
    E
    
    T
- Deriving_Show
  - Defaults
    
    S
  - Show
  - Show_array
    
    S
  - Show_bool
  - Show_char
  - Show_float
  - Show_int
  - Show_int32
  - Show_int64
  - Show_list
    
    S
  - Show_map
    
    K
    
    V
  - Show_nativeint
  - Show_option
    
    S
  - Show_ref
    
    S
  - Show_set
    
    K
  - Show_string
  - Show_unit
  - Show_unprintable
    
    S
- Deriving_Typeable
  - Defaults
    
    T
  - Primitive_typeable
    
    T
  - TypeRep
  - Typeable
  - Typeable_bool
  - Typeable_char
  - Typeable_float
  - Typeable_int
  - Typeable_int32
  - Typeable_int64
  - Typeable_list
    
    A
  - Typeable_nativeint
  - Typeable_option
    
    A
  - Typeable_ref
    
    A
  - Typeable_string
  - Typeable_unit
- Deriving_monad
  - IO
  - Monad
  - MonadDefault
    
    M
  - MonadPlus
  - MonadPlusUtils
    
    M
  - MonadPlusUtilsSig
  - MonadPlusUtils_list
  - MonadPlusUtils_option
  - MonadUtils
    
    M
  - MonadUtilsSig
  - Monad_IO
  - Monad_list
  - Monad_option
  - Monad_state
    
    S
  - Monad_state_type

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Generator : Pa_deriving_common.Defs.Generator

Signature

module Helpers = Generator.AstHelpers

type context = {

argmap : Pa_deriving_common.Type.qname Pa_deriving_common.Type.NameMap.t;
params : Pa_deriving_common.Type.param list;

}

val substitute : 
  Pa_deriving_common.Type.name Pa_deriving_common.Type.NameMap.t ->
  Pa_deriving_common.Type.expr ->
  Pa_deriving_common.Type.expr

val setup_context : Pa_deriving_common.Type.decl -> context

val param_map : context -> string Pa_deriving_common.Type.NameMap.t

val tdec : context -> Pa_deriving_common.Type.name -> Camlp4.PreCast.Ast.ctyp

val sigdec : 
  context ->
  Pa_deriving_common.Type.name ->
  Camlp4.PreCast.Ast.ctyp list

val wrapper : 
  context ->
  Pa_deriving_common.Type.name ->
  Camlp4.PreCast.Ast.expr ->
  Camlp4.PreCast.Ast.module_expr

val polycase : 
  context ->
  Pa_deriving_common.Type.tagspec ->
  Camlp4.PreCast.Ast.match_case

val expr : context -> Pa_deriving_common.Type.expr -> Camlp4.PreCast.Ast.expr

val tup : 
  context ->
  Pa_deriving_common.Type.expr list ->
  Camlp4.PreCast.Ast.expr

val case : 
  context ->
  (string * Pa_deriving_common.Type.expr list) ->
  Camlp4.PreCast.Ast.match_case

val field : 
  context ->
  (string * ('a * Pa_deriving_common.Type.expr) * 'b) ->
  Camlp4.PreCast.Ast.expr

val rhs : context -> Pa_deriving_common.Type.rhs -> Camlp4.PreCast.Ast.expr

val maptype : 
  context ->
  Pa_deriving_common.Type.name ->
  Camlp4.PreCast.Ast.ctyp

val signature : 
  context ->
  Pa_deriving_common.Type.name ->
  Camlp4.PreCast.Ast.sig_item list

val decl : 
  (Pa_deriving_common.Type.name
   * Pa_deriving_common.Type.param list
   * Pa_deriving_common.Type.rhs
   * Pa_deriving_common.Type.constraint_ list
   * bool) ->
  Camlp4.PreCast.Ast.module_binding

val gen_sig : 
  (Pa_deriving_common.Type.name
   * Pa_deriving_common.Type.param list
   * Pa_deriving_common.Type.rhs
   * Pa_deriving_common.Type.constraint_ list
   * bool) ->
  Camlp4.PreCast.Ast.sig_item

val generate : 
  (Pa_deriving_common.Type.name
   * Pa_deriving_common.Type.param list
   * Pa_deriving_common.Type.rhs
   * Pa_deriving_common.Type.constraint_ list
   * bool)
    list ->
  Camlp4.PreCast.Ast.str_item

val generate_sigs : 
  (Pa_deriving_common.Type.name
   * Pa_deriving_common.Type.param list
   * Pa_deriving_common.Type.rhs
   * Pa_deriving_common.Type.constraint_ list
   * bool)
    list ->
  Camlp4.PreCast.Ast.sig_item