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
    
    M
  - Eq_mutable
    
    S
  - Eq_nativeint
  - Eq_option
    
    E
  - Eq_ref
    
    E
  - Eq_set_s_t
    
    S
  - Eq_string
  - Eq_unit
- Deriving_Functor
  - Functor
  - Functor_list
  - Functor_map
    
    O
  - Functor_option
  - MonadFunctor
    
    M
- 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
    
    O
    
    V
  - Show_nativeint
  - Show_option
    
    S
  - Show_ref
    
    S
  - Show_set
    
    K
    
    O
  - 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 M : Deriving_monad.Monad

Signature

type 'a f = 'a M.m

val map : ('a -> 'b) -> 'a f -> 'b f