Module Generic_util

module Generic_util: sig .. end

Namespace of utility modules.

The modules in this namespace provide useful functions on standard datatypes. They have no particular tie to the generic library, except for module Sum which exports the type representation of the types that it defines.

module App: Generic_util_app

Type application and defunctionalisation.

module Obj_inspect: Generic_util_obj_inspect

Display the memory representation of OCaml values.

module Objx: Generic_util_obj

Functions that directly manipulate the memory representation of ocaml values.

module Hash: Generic_util_hash

Extra functions on hashtables

module Iter: Generic_util_iter

Iterative functions.

module Listx: Generic_util_list

Useful functions on lists.

module Misc: Generic_util_misc

Miscellaneous definitions.

module Fun: Generic_util_fun

Function combinators.

module Sum: Generic_util_sum

Empty and Sum datatypes.

module Option: Generic_util_option

Operations on option types.

module Exn: Generic_util_exn

Operations on/with exceptions.

module Monoid: Generic_util_monoid

Monoid and instances for integers, floats, booleans, options, lists.

module Functor: Generic_util_functor

Functorial map and instances for option, list, identity, constant.

module Applicative: Generic_util_applicative

Applicative Functors and instances for option, list, identity, constant.

module Monad: Generic_util_monad

Monads and instances for option, list, identity, state, reader, input-output.