module Core_map_intf:sig
..end
Core.Std.Map
. See the documentation in
core_map.mli for a description of the approach.
CRs and comments about Map
functions do not belong in this file. They belong next
to the appropriate function in core_map.mli.
This module defines module types
{Creators,Accessors}{1,2,3,_generic,_with_comparator}
. It uses check functors to
ensure that each module types is an instance of the corresponding _generic
one.
We must treat Creators
and Accessors
separately, because we sometimes need to
choose different instantiations of their options
. In particular, Map
itself
matches Creators3_with_comparator
but Accessors3
(without comparator).
val __pa_ounit_275876e34cf609db118f3d84b799a790 : string
Core.Std.Map
. See the documentation in
core_map.mli for a description of the approach.
CRs and comments about Map
functions do not belong in this file. They belong next
to the appropriate function in core_map.mli.
This module defines module types
{Creators,Accessors}{1,2,3,_generic,_with_comparator}
. It uses check functors to
ensure that each module types is an instance of the corresponding _generic
one.
We must treat Creators
and Accessors
separately, because we sometimes need to
choose different instantiations of their options
. In particular, Map
itself
matches Creators3_with_comparator
but Accessors3
(without comparator).
module Binable: Binable0
module List: List
module type Key = Comparator.Pre
module type Key_binable = Comparator.Pre_binable
module Without_comparator:sig
..end
module With_comparator:sig
..end
module type Accessors_generic =sig
..end
module type Accessors1 =sig
..end
module type Accessors2 =sig
..end
module type Accessors3 =sig
..end
module type Accessors3_with_comparator =sig
..end
module Check_accessors:functor (
T
:
T.T3
) ->
functor (
Tree
:
T.T3
) ->
functor (
Key
:
T.T1
) ->
functor (
Options
:
T.T3
) ->
functor (
M
:
Accessors_generic
with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t
with type ('a, 'b, 'c) t := ('a, 'b, 'c) T.t
with type ('a, 'b, 'c) tree := ('a, 'b, 'c) Tree.t
with type 'a key := 'a Key.t
) ->
sig
..end
module Check_accessors1:functor (
M
:
Accessors1
) ->
Check_accessors
(
sig
type('a, 'b, 'c)
t ='b M.t
end
)
(
sig
type('a, 'b, 'c)
t ='b M.tree
end
)
(
sig
type'a
t =M.key
end
)
(
Without_comparator
)
(
M
)
module Check_accessors2:functor (
M
:
Accessors2
) ->
Check_accessors
(
sig
type('a, 'b, 'c)
t =('a, 'b) M.t
end
)
(
sig
type('a, 'b, 'c)
t =('a, 'b) M.tree
end
)
(
sig
type'a
t ='a
end
)
(
Without_comparator
)
(
M
)
module Check_accessors3:functor (
M
:
Accessors3
) ->
Check_accessors
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.t
end
)
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.tree
end
)
(
sig
type'a
t ='a
end
)
(
Without_comparator
)
(
M
)
module Check_accessors3_with_comparator:functor (
M
:
Accessors3_with_comparator
) ->
Check_accessors
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.t
end
)
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.tree
end
)
(
sig
type'a
t ='a
end
)
(
With_comparator
)
(
M
)
module type Creators_generic =sig
..end
module type Creators1 =sig
..end
module type Creators2 =sig
..end
module type Creators3_with_comparator =sig
..end
module Check_creators:functor (
T
:
T.T3
) ->
functor (
Tree
:
T.T3
) ->
functor (
Key
:
T.T1
) ->
functor (
Options
:
T.T3
) ->
functor (
M
:
Creators_generic
with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t
with type ('a, 'b, 'c) t := ('a, 'b, 'c) T.t
with type ('a, 'b, 'c) tree := ('a, 'b, 'c) Tree.t
with type 'a key := 'a Key.t
) ->
sig
..end
module Check_creators1:functor (
M
:
Creators1
) ->
Check_creators
(
sig
type('a, 'b, 'c)
t ='b M.t
end
)
(
sig
type('a, 'b, 'c)
t ='b M.tree
end
)
(
sig
type'a
t =M.key
end
)
(
Without_comparator
)
(
M
)
module Check_creators2:functor (
M
:
Creators2
) ->
Check_creators
(
sig
type('a, 'b, 'c)
t =('a, 'b) M.t
end
)
(
sig
type('a, 'b, 'c)
t =('a, 'b) M.tree
end
)
(
sig
type'a
t ='a
end
)
(
Without_comparator
)
(
M
)
module Check_creators3_with_comparator:functor (
M
:
Creators3_with_comparator
) ->
Check_creators
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.t
end
)
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.tree
end
)
(
sig
type'a
t ='a
end
)
(
With_comparator
)
(
M
)
module type Creators_and_accessors_generic =sig
..end
module type Creators_and_accessors1 =sig
..end
module type Creators_and_accessors2 =sig
..end
module type Creators_and_accessors3_with_comparator =sig
..end
module type S =sig
..end
module type S_binable =sig
..end
Core.Std.Map
. See the documentation in
core_map.mli for a description of the approach.
CRs and comments about Map
functions do not belong in this file. They belong next
to the appropriate function in core_map.mli.
This module defines module types
{Creators,Accessors}{1,2,3,_generic,_with_comparator}
. It uses check functors to
ensure that each module types is an instance of the corresponding _generic
one.
We must treat Creators
and Accessors
separately, because we sometimes need to
choose different instantiations of their options
. In particular, Map
itself
matches Creators3_with_comparator
but Accessors3
(without comparator).