A | |
| Antiunify [Generic] |
Anti-unification for type patterns.
|
| Antiunify [Generic_core] |
Anti-unification for type patterns.
|
| App [Generic_util] |
Type application and defunctionalisation.
|
| Applicative [Generic_util] |
Applicative Functors and instances for option, list, identity, constant.
|
| Array [Generic_core_desc] |
Generic representation of array-like datatypes.
|
B | |
| Build [Generic_core_product] | open Build to bring p0 to p6 in scope
|
| Build [Generic_core_desc.Con] |
Helper module for building the argument types.
|
C | |
| Class [Generic_core_desc] |
Generic representation of a class.
|
| Con [Generic_core_desc] |
Generic representation of variant constructors.
|
| Conlist [Generic_fun_equal] | |
| Conlist [Generic_view] | |
| Consumer [Generic] |
Extensible type-indexed consumers.
|
| Consumer [Generic_core] |
Extensible type-indexed consumers.
|
| Custom [Generic_core_desc] |
Generic representation of custom datatypes.
|
D | |
| Deepfix [Generic_fun] | |
| Desc [Generic] |
Union of
Generic_core_Desc and Generic_core_Desc_fun
|
| Desc [Generic_core] |
A low level generic view of OCaml types.
|
| Desc_fun [Generic_core] |
Computing the low level description of types.
|
| Dynamic [Generic_core_ty] |
Dynamic values are the union of all types.
|
E | |
| Equal [Generic] |
Type equality predicate.
|
| Equal [Generic_fun] | |
| Equal [Generic_core] |
Type equality predicate.
|
| Exn [Generic_util] |
Operations on/with exceptions.
|
| Ext [Generic_core_desc] |
Generic representation of extensible variants.
|
| Extensible [Generic] |
Extensible type-indexed functions.
|
| Extensible [Generic_core] |
Extensible type-indexed functions.
|
F | |
| Field [Generic_core_desc] |
Generic representation of a record field.
|
| Fields [Generic_core_desc] |
Generic representation of a record's collection of fields.
|
| Fun [Generic_util] |
Function combinators.
|
| Functor [Generic_util] |
Functorial map and instances for option, list, identity, constant.
|
G | |
| Generic |
Main module for using the library.
|
| Generic_core |
Namespace of core modules for the generic library.
|
| Generic_core_antiunify |
Anti-unification for type patterns.
|
| Generic_core_consumer |
Extensible type-indexed consumers.
|
| Generic_core_desc |
Type description: a low level generic view of OCaml types.
|
| Generic_core_desc_fun |
Type indexed function that comptes the type description.
|
| Generic_core_equal |
Type equality predicate.
|
| Generic_core_extensible |
Extensible type-indexed functions.
|
| Generic_core_patterns |
Functions on type patterns.
|
| Generic_core_product |
Witness of product types.
|
| Generic_core_repr |
Representation of abstract datatypes.
|
| Generic_core_ty |
Type witnesses.
|
| Generic_core_ty_desc |
Generic view for the type
Generic_core_ty.ty.
|
| Generic_fun |
Namespace for modules defining generic functions.
|
| Generic_fun_deepfix |
Extensible variants are implemented using object blocks,
that get assigned a unique identifier at runtime.
|
| Generic_fun_equal | |
| Generic_fun_marshal |
Safe generic marshalling and unmarshalling operations.
|
| Generic_fun_multiplate |
Library for boilerplate-less traversals, generalising
Generic_fun_uniplate to
mutually recursive types.
|
| Generic_fun_show |
Generic string conversion.
|
| Generic_fun_uniplate |
Library for boilerplate-less tree-traversals.
|
| Generic_util |
Namespace of utility modules.
|
| Generic_util_app |
Type application and defunctionalisation.
|
| Generic_util_applicative |
Applicative functors.
|
| Generic_util_exn |
Operations on/with exceptions.
|
| Generic_util_fun |
Function combinators.
|
| Generic_util_functor |
Functorial map.
|
| Generic_util_hash |
Extra functions on hashtables
|
| Generic_util_iter |
Iterative functions.
|
| Generic_util_list |
Useful functions on lists.
|
| Generic_util_misc |
Miscellaneous definitions.
|
| Generic_util_monad |
Monads.
|
| Generic_util_monoid |
Monoid type and instances.
|
| Generic_util_obj |
Functions that directly manipulate the memory representation of ocaml values.
|
| Generic_util_obj_inspect |
Display the memory representation of OCaml values.
|
| Generic_util_option |
Operations on option types.
|
| Generic_util_sum |
Empty and Sum datatypes.
|
| Generic_view |
Namespace for modules defining generic views.
|
| Generic_view_conlist |
The list of constructor view underlies the RepLib Haskell library.
|
| Generic_view_spine |
Spine view
|
| Generic_view_sumprod |
Sum of Product view
replicating the Haskell LIGD library
|
| Gfun [Generic] |
Generic functions
|
H | |
| Hash [Generic_util] |
Extra functions on hashtables
|
I | |
| IO [Generic_util_monad] | |
| Iter [Generic_util] |
Iterative functions.
|
L | |
| Listx [Generic_util] |
Useful functions on lists.
|
M | |
| Marshal [Generic_fun] | |
| Method [Generic_core_desc] |
Generic representation of an object's or a classe's method.
|
| Misc [Generic_util] |
Miscellaneous definitions.
|
| Monad [Generic_util] |
Monads and instances for option, list, identity, state, reader, input-output.
|
| Monoid [Generic_util] |
Monoid and instances for integers, floats, booleans, options, lists.
|
| Multiplate [Generic] | |
| Multiplate [Generic_fun] | |
O | |
| Obj_inspect [Generic_util] |
Display the memory representation of OCaml values.
|
| Object [Generic_core_desc] |
Generic representation of a collection of methods.
|
| Objx [Generic_util] |
Functions that directly manipulate the memory representation of ocaml values.
|
| Option [Generic_util] |
Operations on option types.
|
P | |
| Patterns [Generic] |
Functions on type patterns.
|
| Patterns [Generic_core] |
Functions on type patterns.
|
| Poly [Generic_core_desc] |
Generic representation of polymorphic variants.
|
| Product [Generic] |
Witness of product types.
|
| Product [Generic_core] |
Witness of product types.
|
R | |
| Reader [Generic_util_monad] | |
| Record [Generic_core_desc] |
Generic representation of record datatypes.
|
| Repr [Generic] |
Representation of abstract datatypes.
|
| Repr [Generic_core] |
Representation of abstract datatypes.
|
S | |
| SafeMarshal [Generic] | |
| Show [Generic_fun] | |
| Spine [Generic_fun_equal] | |
| Spine [Generic_view] | |
| State [Generic_util_monad] | |
| Sum [Generic_util] |
Empty and Sum datatypes.
|
| Sumprod [Generic_fun_equal] | |
| Sumprod [Generic_view] | |
T | |
| T [Generic_view_spine] | |
| T [Generic_core_product] |
This module defines the
product datatype and is meant
to be open so that constructors can be used in pattern
matching.
|
| T [Generic_core_desc] |
One may open
T to bring constructor names in scope, typically for pattern-matching.
|
| T [Generic_core_desc.Custom] | |
| T [Generic_core_desc.Record] | |
| T [Generic_core_desc.Fields] | |
| T [Generic_core_desc.Field] |
Module suitable for open.
|
| T [Generic_core_ty] |
Primitive and Standard Types
The core generic library comes with the type reflection and introspection for all types in the standard library.
|
| T [Generic_util_monad] | |
| T [Generic_util_applicative] | |
| T [Generic_util_functor] | |
| T [Generic_util_monoid] |
A monoid is given by a neutral element and a binary
operation that should satisfy the laws:
|
| T [Generic_util_app] |
Module defining the types
Generic_util_app.T.app.
|
| Ty [Generic] |
Type witnesses.
|
| Ty [Generic_core] |
Type witnesses.
|
| Ty_desc [Generic] |
Generic view for the type witnesses.
|
| Ty_desc [Generic_core] |
Generic view for the type witnesses.
|
| Typed [Generic_core_ty] |
Values tagged with their type witness.
|
U | |
| Uniplate [Generic] | |
| Uniplate [Generic_fun] | |
V | |
| Variant [Generic_core_desc] |
Generic representation of variant datatypes.
|