module Datatype: sig
.. end
Datatype implementations and builders.
Provide ways to implement signature Project.Datatype.OUTPUT
without
directly apply functor Project.Datatype.Register
.
Consult the Plugin Development Guide for additional details.
module Unit: S
with type t = unit
module Int: S
with type t = int
module Bool: S
with type t = bool
module String: S
with type t = string
module BigInt: S
with type t = Big_int.big_int
module Formatter: S
with type t = Format.formatter
module OutChannel: S
with type t = Pervasives.out_channel
module InChannel: S
with type t = Pervasives.in_channel
Builders
References
module Ref:
module Option:
module OptionRef:
Lists
module List:
Generic functor building a list of data.
Hashtables
module type HASHTBL = sig
.. end
Sub-signature of Hashtbl.S
.
module Make_Hashtbl:
Must not be used if type H.key
is equal to type Project.t
Sets
module type SET = sig
.. end
Sub-signature of Set.S
.
module Make_Set: functor (
Set
:
SET
) ->
functor (
Data
:
S
with type t = Set.elt
) ->
S
with type t = Set.t
Generic functor building a set datatype.
module Make_SetRef: functor (
Set
:
SET
) ->
functor (
Data
:
S
with type t = Set.elt
) ->
S
with type t = Set.t ref
Generic functor building a datatype for a reference on a set.
module Set:
Functor building a set datatype.
Maps
module type MAP = sig
.. end
Sub-signature of Map.S
.
module Make_Map:
Generic functor building a map datatype.
Queues
module Queue:
Tuples
module Couple:
module Triple:
Project
module Project: S
with type t = Project.t