module State_builder:sig
..end
State_builder.S
.
Depending on the builder, also provide some additional useful
information.module type Info =sig
..end
State_builder.Register
.
module type Info_with_size =sig
..end
module type S =sig
..end
State_builder.Register
.
module Register:functor (
Datatype
:
Datatype.S
) ->
functor (
Local_state
:
State.Local
with type t = Datatype.t
) ->
functor (
Info
:
sig
include State_builder.Info
val unique_name :string
end
) ->
S
with module Datatype = Datatype
Register(Datatype)(State)(Info)
registers a new state.
module type Ref =sig
..end
Ref
.
module Ref:functor (
Data
:
Datatype.S
) ->
functor (
Info
:
sig
include State_builder.Info
val default :unit -> Data.t
end
) ->
Ref
with type data = Data.t
module type Option_ref =sig
..end
Option_ref
.
module Option_ref:
module type List_ref =sig
..end
ListRef
.
module List_ref:
module Int_ref:functor (
Info
:
sig
include State_builder.Info
val default :unit -> int
end
) ->
Ref
with type data = int
module Zero_ref:
0
.
module Bool_ref:functor (
Info
:
sig
include State_builder.Info
val default :unit -> bool
end
) ->
Ref
with type data = bool
module False_ref:
false
.
module True_ref:
true
.
module Float_ref:functor (
Info
:
sig
include State_builder.Info
val default :unit -> float
end
) ->
Ref
with type data = float
module type Weak_hashtbl =sig
..end
module Weak_hashtbl:
Data
from a reference implementation
W
.
module Caml_weak_hashtbl:
Data
by using Weak.Make
provided
by the OCaml standard library.
module Hashconsing_tbl:functor (
Data
:
sig
include Datatype.S
val equal_internal :t -> t -> bool
The hashconsed datatypeEquality on the datatype internally used by the built table.
val hash_internal :t -> int
Hash function for datatype internally used by the built table.
val initial_values :t list
Pre-existing values stored in the built table and shared by all existing projects.
end
) ->
IMPORTANT: that is INCORRECT to use projectified hashtables if keys have a
custom rehash
function (see Project.DATATYPE_OUTPUT.rehash
)
module type Hashtbl =sig
..end
module Hashtbl:functor (
H
:
Datatype.Hashtbl
) ->
functor (
Data
:
Datatype.S
) ->
functor (
Info
:
Info_with_size
) ->
Hashtbl
with type key = H.key and type data = Data.t and module Datatype = H.Make(Data)
module Int_hashtbl:
module type Set_ref =sig
..end
module Set_ref:
module type Queue =sig
..end
module Queue:
module type Array =sig
..end
module Array:functor (
Data
:
Datatype.S
) ->
functor (
Info
:
sig
include State_builder.Info
val default :Data.t
end
) ->
Array
with type elt = Data.t
module Proxy:sig
..end
module type Counter =sig
..end
module SharedCounter:
module Counter:
val apply_once : string -> State.t list -> (unit -> unit) -> (unit -> unit) * State.t
apply_once name dep f
returns a closure applying f
only once and the
state internally used. name
and dep
are respectively the name and
the dependencies of the local state created by this function. Should
be used partially applied. If f
raises an exception, then it is
considered as not applied.module States:sig
..end