improve compatibility with the stdlib

This commit is contained in:
Simon Cruanes 2017-12-15 09:49:54 +01:00
parent 3a4d827d80
commit 632526e407
7 changed files with 23 additions and 23 deletions

View file

@ -6,6 +6,8 @@
type 'a sequence = ('a -> unit) -> unit type 'a sequence = ('a -> unit) -> unit
type 'a printer = Format.formatter -> 'a -> unit type 'a printer = Format.formatter -> 'a -> unit
module type OrderedType = Map.OrderedType
module type S = sig module type S = sig
include Map.S include Map.S

View file

@ -9,6 +9,9 @@
type 'a sequence = ('a -> unit) -> unit type 'a sequence = ('a -> unit) -> unit
type 'a printer = Format.formatter -> 'a -> unit type 'a printer = Format.formatter -> 'a -> unit
module type OrderedType = Map.OrderedType
(** @since NEXT_RELEASE *)
module type S = sig module type S = sig
include Map.S include Map.S

View file

@ -10,6 +10,8 @@ type 'a printer = Format.formatter -> 'a -> unit
(** {2 Basics} *) (** {2 Basics} *)
include Result
type (+'good, +'bad) t = ('good, 'bad) Result.result = type (+'good, +'bad) t = ('good, 'bad) Result.result =
| Ok of 'good | Ok of 'good
| Error of 'bad | Error of 'bad

View file

@ -14,6 +14,9 @@ type 'a printer = Format.formatter -> 'a -> unit
(** {2 Basics} *) (** {2 Basics} *)
include module type of Result
(** @since NEXT_RELEASE *)
type (+'good, +'bad) t = ('good, 'bad) Result.result = type (+'good, +'bad) t = ('good, 'bad) Result.result =
| Ok of 'good | Ok of 'good
| Error of 'bad | Error of 'bad

View file

@ -6,6 +6,8 @@
type 'a sequence = ('a -> unit) -> unit type 'a sequence = ('a -> unit) -> unit
type 'a printer = Format.formatter -> 'a -> unit type 'a printer = Format.formatter -> 'a -> unit
module type OrderedType = Set.OrderedType
module type S = sig module type S = sig
include Set.S include Set.S

View file

@ -8,6 +8,9 @@
type 'a sequence = ('a -> unit) -> unit type 'a sequence = ('a -> unit) -> unit
type 'a printer = Format.formatter -> 'a -> unit type 'a printer = Format.formatter -> 'a -> unit
module type OrderedType = Set.OrderedType
(** @since NEXT_RELEASE *)
module type S = sig module type S = sig
include Set.S include Set.S

View file

@ -7,21 +7,12 @@ module Array = CCArray
module ArrayLabels = CCArrayLabels module ArrayLabels = CCArrayLabels
module Array_slice = CCArray_slice module Array_slice = CCArray_slice
module Bool = CCBool module Bool = CCBool
module Char = struct module Char = Char
include Char
include (CCChar : module type of CCChar with type t := t)
end
module Equal = CCEqual module Equal = CCEqual
module Float = CCFloat module Float = CCFloat
module Format = struct module Format = CCFormat
include Format
include CCFormat
end
module Fun = CCFun module Fun = CCFun
module Hash = CCHash module Hash = CCHash
module Int = CCInt
module Int64 = CCInt64
module IO = CCIO
(** @since 0.14 *) (** @since 0.14 *)
module Hashtbl = struct module Hashtbl = struct
@ -35,25 +26,19 @@ module Hashtbl = struct
module Make' = CCHashtbl.Make module Make' = CCHashtbl.Make
end end
module Heap = CCHeap module Heap = CCHeap
module Int = CCInt
module Int64 = CCInt64
module IO = CCIO
module List = CCList module List = CCList
module ListLabels = CCListLabels module ListLabels = CCListLabels
module Map = struct module Map = CCMap
module type OrderedType = Map.OrderedType
include CCMap
end
module Option = CCOpt module Option = CCOpt
module Ord = CCOrd module Ord = CCOrd
module Pair = CCPair module Pair = CCPair
module Parse = CCParse module Parse = CCParse
module Random = CCRandom module Random = CCRandom
module Ref = CCRef module Ref = CCRef
module Result = struct module Result = CCResult
include Result module Set = CCSet
include CCResult
end
module Set = struct
module type OrderedType = Set.OrderedType
include CCSet
end
module String = CCString module String = CCString
module Vector = CCVector module Vector = CCVector