package deriving

You can search for identifiers within the package.

in-package search v0.2.0

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

type s

include Deriving_monad.Monad_state_type with type state = s

include Deriving_monad.MonadUtilsSig

include Deriving_monad.Monad

type +'a m

val return : 'a -> 'a m

val fail : string -> 'a m

val (>>=) : 'a m -> ('a -> 'b m) -> 'b m

val (>>) : 'a m -> 'b m -> 'b m

val liftM : ('a -> 'b) -> 'a m -> 'b m

val liftM2 : ('a -> 'b -> 'c) -> 'a m -> 'b m -> 'c m

val liftM3 : ('a -> 'b -> 'c -> 'd) -> 'a m -> 'b m -> 'c m -> 'd m

val liftM4 : 
  ('a -> 'b -> 'c -> 'd -> 'e) ->
  'a m ->
  'b m ->
  'c m ->
  'd m ->
  'e m

val liftM5 : 
  ('a -> 'b -> 'c -> 'd -> 'e -> 'f) ->
  'a m ->
  'b m ->
  'c m ->
  'd m ->
  'e m ->
  'f m

val ap : ('a -> 'b) m -> 'a m -> 'b m

val sequence : 'a m list -> 'a list m

val sequence_ : 'a m list -> unit m

val mapM : ('a -> 'b m) -> 'a list -> 'b list m

val mapM_ : ('a -> 'b m) -> 'a list -> unit m

val (=<<) : ('a -> 'b m) -> 'a m -> 'b m

val join : 'a m m -> 'a m

val filterM : ('a -> bool m) -> 'a list -> 'a list m

val mapAndUnzipM : ('a -> ('b * 'c) m) -> 'a list -> ('b list * 'c list) m

val zipWithM : ('a -> 'b -> 'c m) -> 'a list -> 'b list -> 'c list m

val zipWithM_ : ('a -> 'b -> 'c m) -> 'a list -> 'b list -> unit m

val foldM : ('a -> 'b -> 'a m) -> 'a -> 'b list -> 'a m

val foldM_ : ('a -> 'b -> 'a m) -> 'a -> 'b list -> unit m

val replicateM : int -> 'a m -> 'a list m

val replicateM_ : int -> 'a m -> unit m

val quand : bool -> unit m -> unit m

val unless : bool -> unit m -> unit m

type state = s

val get : state m

val put : state -> unit m

val runState : 'a m -> state -> 'a * state

module Utils (T : Deriving_Typeable.Typeable) : sig ... end