CamomileLibrary.Type

`sig
module OOChannel :
sig
class type ['a] obj_input_channel =
object method close_in : unit -> unit method get : unit -> 'a end
class type ['a] obj_output_channel =
object
method close_out : unit -> unit
method flush : unit -> unit
method put : 'a -> unit
end
class ['a] channel_of_stream : 'a Stream.t -> ['a] obj_input_channel
val stream_of_channel :
'a #CamomileLibrary.Type.OOChannel.obj_input_channel -> 'a Stream.t
class type char_input_channel =
object
method close_in : unit -> unit
method input : string -> int -> int -> int
end
class type char_output_channel =
object
method close_out : unit -> unit
method flush : unit -> unit
method output : string -> int -> int -> int
end
class char_input_channel_of :
char #CamomileLibrary.Type.OOChannel.obj_input_channel ->
char_input_channel
class char_obj_input_channel_of :
CamomileLibrary.Type.OOChannel.char_input_channel ->
[char] obj_input_channel
class char_output_channel_of :
char #CamomileLibrary.Type.OOChannel.obj_output_channel ->
char_output_channel
class char_obj_output_channel_of :
CamomileLibrary.Type.OOChannel.char_output_channel ->
[char] obj_output_channel
class of_in_channel : Pervasives.in_channel -> char_input_channel
class of_out_channel : Pervasives.out_channel -> char_output_channel
end
module UChar :
sig
type t
exception Out_of_range
val char_of : CamomileLibrary.Type.UChar.t -> char
val of_char : char -> CamomileLibrary.Type.UChar.t
val code : CamomileLibrary.Type.UChar.t -> int
val chr : int -> CamomileLibrary.Type.UChar.t
external uint_code : CamomileLibrary.Type.UChar.t -> int = "%identity"
val chr_of_uint : int -> CamomileLibrary.Type.UChar.t
val eq :
CamomileLibrary.Type.UChar.t -> CamomileLibrary.Type.UChar.t -> bool
val compare :
CamomileLibrary.Type.UChar.t -> CamomileLibrary.Type.UChar.t -> int
type uchar = CamomileLibrary.Type.UChar.t
val int_of : CamomileLibrary.Type.UChar.uchar -> int
val of_int : int -> CamomileLibrary.Type.UChar.uchar
end
module USet :
sig
type t
val empty : CamomileLibrary.Type.USet.t
val is_empty : CamomileLibrary.Type.USet.t -> bool
val mem :
CamomileLibrary.Type.UChar.t -> CamomileLibrary.Type.USet.t -> bool
val add :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val add_range :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val singleton :
CamomileLibrary.Type.UChar.t -> CamomileLibrary.Type.USet.t
val remove :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val remove_range :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val union :
CamomileLibrary.Type.USet.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val inter :
CamomileLibrary.Type.USet.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val diff :
CamomileLibrary.Type.USet.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val compl : CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val compare :
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t -> int
val equal :
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t -> bool
val subset :
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t -> bool
val from :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val after :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val until :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val before :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.USet.t -> unit
val iter_range :
(CamomileLibrary.Type.UChar.t -> CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.USet.t -> unit
val fold :
(CamomileLibrary.Type.UChar.t -> 'a -> 'a) ->
CamomileLibrary.Type.USet.t -> 'a -> 'a
val fold_range :
(CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UChar.t -> 'a -> 'a) ->
CamomileLibrary.Type.USet.t -> 'a -> 'a
val for_all :
(CamomileLibrary.Type.UChar.t -> bool) ->
CamomileLibrary.Type.USet.t -> bool
val exists :
(CamomileLibrary.Type.UChar.t -> bool) ->
CamomileLibrary.Type.USet.t -> bool
val filter :
(CamomileLibrary.Type.UChar.t -> bool) ->
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.USet.t
val partition :
(CamomileLibrary.Type.UChar.t -> bool) ->
CamomileLibrary.Type.USet.t ->
CamomileLibrary.Type.USet.t * CamomileLibrary.Type.USet.t
val cardinal : CamomileLibrary.Type.USet.t -> int
val elements :
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.UChar.t list
val ranges :
CamomileLibrary.Type.USet.t ->
(CamomileLibrary.Type.UChar.t * CamomileLibrary.Type.UChar.t) list
val min_elt :
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.UChar.t
val max_elt :
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.UChar.t
val choose :
CamomileLibrary.Type.USet.t -> CamomileLibrary.Type.UChar.t
val uset_of_iset : ISet.t -> CamomileLibrary.Type.USet.t
val iset_of_uset : CamomileLibrary.Type.USet.t -> ISet.t
end
module UMap :
sig
type 'a t
val empty : 'a CamomileLibrary.Type.UMap.t
val is_empty : 'a CamomileLibrary.Type.UMap.t -> bool
val add :
?eq:('a -> 'a -> bool) ->
CamomileLibrary.Type.UChar.t ->
'a ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val add_range :
?eq:('a -> 'a -> bool) ->
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UChar.t ->
'a ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val find :
CamomileLibrary.Type.UChar.t -> 'a CamomileLibrary.Type.UMap.t -> 'a
val remove :
CamomileLibrary.Type.UChar.t ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val remove_range :
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UChar.t ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val from :
CamomileLibrary.Type.UChar.t ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val after :
CamomileLibrary.Type.UChar.t ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val until :
CamomileLibrary.Type.UChar.t ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val before :
CamomileLibrary.Type.UChar.t ->
'a CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val mem :
CamomileLibrary.Type.UChar.t ->
'a CamomileLibrary.Type.UMap.t -> bool
val iter :
(CamomileLibrary.Type.UChar.t -> 'a -> unit) ->
'a CamomileLibrary.Type.UMap.t -> unit
val iter_range :
(CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UChar.t -> 'a -> unit) ->
'a CamomileLibrary.Type.UMap.t -> unit
val map :
?eq:('a -> 'a -> bool) ->
('b -> 'a) ->
'b CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val mapi :
?eq:('a -> 'a -> bool) ->
(CamomileLibrary.Type.UChar.t -> 'b -> 'a) ->
'b CamomileLibrary.Type.UMap.t -> 'a CamomileLibrary.Type.UMap.t
val fold :
(CamomileLibrary.Type.UChar.t -> 'a -> 'b -> 'b) ->
'a CamomileLibrary.Type.UMap.t -> 'b -> 'b
val fold_range :
(CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UChar.t -> 'a -> 'b -> 'b) ->
'a CamomileLibrary.Type.UMap.t -> 'b -> 'b
val set_to_map :
CamomileLibrary.Type.USet.t -> 'a -> 'a CamomileLibrary.Type.UMap.t
val domain :
'a CamomileLibrary.Type.UMap.t -> CamomileLibrary.Type.USet.t
val map_to_set :
('a -> bool) ->
'a CamomileLibrary.Type.UMap.t -> CamomileLibrary.Type.USet.t
val umap_of_imap : 'a IMap.t -> 'a CamomileLibrary.Type.UMap.t
val imap_of_umap : 'a CamomileLibrary.Type.UMap.t -> 'a IMap.t
end
module UCharTbl :
sig
type 'a tbl
type 'a t = 'a CamomileLibrary.Type.UCharTbl.tbl
val get :
'a CamomileLibrary.Type.UCharTbl.tbl ->
CamomileLibrary.Type.UChar.t -> 'a
module type Type =
sig
type elt
type t =
CamomileLibrary.Type.UCharTbl.Type.elt
CamomileLibrary.Type.UCharTbl.tbl
val get :
CamomileLibrary.Type.UCharTbl.Type.elt
CamomileLibrary.Type.UCharTbl.tbl ->
CamomileLibrary.Type.UChar.t ->
CamomileLibrary.Type.UCharTbl.Type.elt
val of_map :
CamomileLibrary.Type.UCharTbl.Type.elt ->
CamomileLibrary.Type.UCharTbl.Type.elt
CamomileLibrary.Type.UMap.t ->
CamomileLibrary.Type.UCharTbl.Type.t
end
module Make :
functor (H : Hashtbl.HashedType) ->
sig
type elt = H.t
type t = elt tbl
val get : elt tbl -> UChar.t -> elt
val of_map : elt -> elt UMap.t -> t
end
module Bool :
sig
type t
val get :
CamomileLibrary.Type.UCharTbl.Bool.t ->
CamomileLibrary.Type.UChar.t -> bool
val of_set :
CamomileLibrary.Type.USet.t ->
CamomileLibrary.Type.UCharTbl.Bool.t
end
module Bits :
sig
type t
val of_map :
int ->
int CamomileLibrary.Type.UMap.t ->
CamomileLibrary.Type.UCharTbl.Bits.t
val get :
CamomileLibrary.Type.UCharTbl.Bits.t ->
CamomileLibrary.Type.UChar.t -> int
end
module Bytes :
sig
type t
val of_map :
int ->
int CamomileLibrary.Type.UMap.t ->
CamomileLibrary.Type.UCharTbl.Bytes.t
val get :
CamomileLibrary.Type.UCharTbl.Bytes.t ->
CamomileLibrary.Type.UChar.t -> int
end
module Char :
sig
type t
val of_map :
char ->
char CamomileLibrary.Type.UMap.t ->
CamomileLibrary.Type.UCharTbl.Char.t
val get :
CamomileLibrary.Type.UCharTbl.Char.t ->
CamomileLibrary.Type.UChar.t -> char
end
end
module UnicodeString :
sig
module type Type =
sig
type t
val get :
CamomileLibrary.Type.UnicodeString.Type.t ->
int -> CamomileLibrary.Type.UChar.t
val init :
int ->
(int -> CamomileLibrary.Type.UChar.t) ->
CamomileLibrary.Type.UnicodeString.Type.t
val length : CamomileLibrary.Type.UnicodeString.Type.t -> int
type index
val look :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index ->
CamomileLibrary.Type.UChar.t
val nth :
CamomileLibrary.Type.UnicodeString.Type.t ->
int -> CamomileLibrary.Type.UnicodeString.Type.index
val next :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index ->
CamomileLibrary.Type.UnicodeString.Type.index
val prev :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index ->
CamomileLibrary.Type.UnicodeString.Type.index
val out_of_range :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index -> bool
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.UnicodeString.Type.t -> unit
val compare :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.t -> int
val first :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index
val last :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index
val move :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index ->
int -> CamomileLibrary.Type.UnicodeString.Type.index
val compare_index :
CamomileLibrary.Type.UnicodeString.Type.t ->
CamomileLibrary.Type.UnicodeString.Type.index ->
CamomileLibrary.Type.UnicodeString.Type.index -> int
module Buf :
sig
type buf
val create :
int -> CamomileLibrary.Type.UnicodeString.Type.Buf.buf
val contents :
CamomileLibrary.Type.UnicodeString.Type.Buf.buf ->
CamomileLibrary.Type.UnicodeString.Type.t
val clear :
CamomileLibrary.Type.UnicodeString.Type.Buf.buf -> unit
val reset :
CamomileLibrary.Type.UnicodeString.Type.Buf.buf -> unit
val add_char :
CamomileLibrary.Type.UnicodeString.Type.Buf.buf ->
CamomileLibrary.Type.UChar.t -> unit
val add_string :
CamomileLibrary.Type.UnicodeString.Type.Buf.buf ->
CamomileLibrary.Type.UnicodeString.Type.t -> unit
val add_buffer :
CamomileLibrary.Type.UnicodeString.Type.Buf.buf ->
CamomileLibrary.Type.UnicodeString.Type.Buf.buf -> unit
end
end
end
module UText :
sig
type mutability = [ `Immutable | `Mutable ]
type 'a text
type utext = [ `Immutable ] CamomileLibrary.Type.UText.text
type ustring = [ `Mutable ] CamomileLibrary.Type.UText.text
type t = CamomileLibrary.Type.UText.utext
val utext_of_ustring :
CamomileLibrary.Type.UText.ustring ->
CamomileLibrary.Type.UText.utext
val ustring_of_utext :
CamomileLibrary.Type.UText.utext ->
CamomileLibrary.Type.UText.ustring
val get :
'a CamomileLibrary.Type.UText.text ->
int -> CamomileLibrary.Type.UChar.t
val set :
CamomileLibrary.Type.UText.ustring ->
int -> CamomileLibrary.Type.UChar.t -> unit
type index
val look :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index -> CamomileLibrary.Type.UChar.t
val nth :
'a CamomileLibrary.Type.UText.text ->
int -> CamomileLibrary.Type.UText.index
val first :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index
val last :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index
val out_of_range :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index -> bool
val compare_index :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index ->
CamomileLibrary.Type.UText.index -> int
val next :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index -> CamomileLibrary.Type.UText.index
val prev :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index -> CamomileLibrary.Type.UText.index
val move :
'a CamomileLibrary.Type.UText.text ->
CamomileLibrary.Type.UText.index ->
int -> CamomileLibrary.Type.UText.index
val length : 'a CamomileLibrary.Type.UText.text -> int
val of_string : string -> CamomileLibrary.Type.UText.utext
val init :
int ->
(int -> CamomileLibrary.Type.UChar.t) ->
CamomileLibrary.Type.UText.utext
val init_ustring :
int ->
(int -> CamomileLibrary.Type.UChar.t) ->
CamomileLibrary.Type.UText.ustring
val make :
int ->
CamomileLibrary.Type.UChar.t -> CamomileLibrary.Type.UText.ustring
val copy :
CamomileLibrary.Type.UText.ustring ->
CamomileLibrary.Type.UText.ustring
val sub :
'a CamomileLibrary.Type.UText.text ->
int -> int -> 'a CamomileLibrary.Type.UText.text
val fill :
CamomileLibrary.Type.UText.ustring ->
int -> int -> CamomileLibrary.Type.UChar.t -> unit
val blit :
'a CamomileLibrary.Type.UText.text ->
int -> CamomileLibrary.Type.UText.ustring -> int -> int -> unit
val append :
'a CamomileLibrary.Type.UText.text ->
'b CamomileLibrary.Type.UText.text ->
'a CamomileLibrary.Type.UText.text
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
'a CamomileLibrary.Type.UText.text -> unit
val compare :
'a CamomileLibrary.Type.UText.text ->
'b CamomileLibrary.Type.UText.text -> int
module Buf :
sig
type buf
val create : int -> CamomileLibrary.Type.UText.Buf.buf
val contents :
CamomileLibrary.Type.UText.Buf.buf ->
CamomileLibrary.Type.UText.t
val contents_string :
CamomileLibrary.Type.UText.Buf.buf ->
CamomileLibrary.Type.UText.ustring
val length : CamomileLibrary.Type.UText.Buf.buf -> int
val clear : CamomileLibrary.Type.UText.Buf.buf -> unit
val reset : CamomileLibrary.Type.UText.Buf.buf -> unit
val add_char :
CamomileLibrary.Type.UText.Buf.buf ->
CamomileLibrary.Type.UChar.t -> unit
val add_string :
CamomileLibrary.Type.UText.Buf.buf ->
'a CamomileLibrary.Type.UText.text -> unit
val add_buffer :
CamomileLibrary.Type.UText.Buf.buf ->
CamomileLibrary.Type.UText.Buf.buf -> unit
end
end
module XString :
sig
type xstring
type t = CamomileLibrary.Type.XString.xstring
val get :
CamomileLibrary.Type.XString.xstring ->
int -> CamomileLibrary.Type.UChar.t
val set :
CamomileLibrary.Type.XString.xstring ->
int -> CamomileLibrary.Type.UChar.t -> unit
val length : CamomileLibrary.Type.XString.xstring -> int
val init :
int ->
(int -> CamomileLibrary.Type.UChar.t) ->
CamomileLibrary.Type.XString.xstring
type index
val look :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index -> CamomileLibrary.Type.UChar.t
val nth :
CamomileLibrary.Type.XString.xstring ->
int -> CamomileLibrary.Type.XString.index
val first :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index
val last :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index
val out_of_range :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index -> bool
val next :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index ->
CamomileLibrary.Type.XString.index
val prev :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index ->
CamomileLibrary.Type.XString.index
val move :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index ->
int -> CamomileLibrary.Type.XString.index
val compare_index :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.index ->
CamomileLibrary.Type.XString.index -> int
val make :
?bufsize:int ->
int ->
CamomileLibrary.Type.UChar.t -> CamomileLibrary.Type.XString.xstring
val clear : CamomileLibrary.Type.XString.xstring -> unit
val reset : CamomileLibrary.Type.XString.xstring -> unit
val copy :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.xstring
val sub :
CamomileLibrary.Type.XString.xstring ->
int -> int -> CamomileLibrary.Type.XString.xstring
val add_char :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.UChar.t -> unit
val add_text :
CamomileLibrary.Type.XString.xstring ->
'a CamomileLibrary.Type.UText.text -> unit
val add_xstring :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.xstring -> unit
val shrink : CamomileLibrary.Type.XString.xstring -> int -> unit
val append :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.XString.xstring
val utext_of :
CamomileLibrary.Type.XString.xstring -> CamomileLibrary.Type.UText.t
val ustring_of :
CamomileLibrary.Type.XString.xstring ->
CamomileLibrary.Type.UText.ustring
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.XString.xstring -> unit
val compare :
CamomileLibrary.Type.XString.t ->
CamomileLibrary.Type.XString.t -> int
module Buf :
sig
type buf
val create : int -> CamomileLibrary.Type.XString.Buf.buf
val contents :
CamomileLibrary.Type.XString.Buf.buf ->
CamomileLibrary.Type.XString.t
val length : CamomileLibrary.Type.XString.Buf.buf -> int
val clear : CamomileLibrary.Type.XString.Buf.buf -> unit
val reset : CamomileLibrary.Type.XString.Buf.buf -> unit
val add_char :
CamomileLibrary.Type.XString.Buf.buf ->
CamomileLibrary.Type.UChar.t -> unit
val add_string :
CamomileLibrary.Type.XString.Buf.buf ->
CamomileLibrary.Type.XString.t -> unit
val add_buffer :
CamomileLibrary.Type.XString.Buf.buf ->
CamomileLibrary.Type.XString.Buf.buf -> unit
end
end
module SubText :
sig
module type Type =
sig
type t
val get :
CamomileLibrary.Type.SubText.Type.t ->
int -> CamomileLibrary.Type.UChar.t
val init :
int ->
(int -> CamomileLibrary.Type.UChar.t) ->
CamomileLibrary.Type.SubText.Type.t
val length : CamomileLibrary.Type.SubText.Type.t -> int
type index
val look :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index ->
CamomileLibrary.Type.UChar.t
val nth :
CamomileLibrary.Type.SubText.Type.t ->
int -> CamomileLibrary.Type.SubText.Type.index
val first :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index
val last :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index
val next :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index ->
CamomileLibrary.Type.SubText.Type.index
val prev :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index ->
CamomileLibrary.Type.SubText.Type.index
val move :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index ->
int -> CamomileLibrary.Type.SubText.Type.index
val out_of_range :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index -> bool
val compare_index :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index ->
CamomileLibrary.Type.SubText.Type.index -> int
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.SubText.Type.t -> unit
val compare :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.t -> int
module Buf :
sig
type buf
val create : int -> CamomileLibrary.Type.SubText.Type.Buf.buf
val contents :
CamomileLibrary.Type.SubText.Type.Buf.buf ->
CamomileLibrary.Type.SubText.Type.t
val clear : CamomileLibrary.Type.SubText.Type.Buf.buf -> unit
val reset : CamomileLibrary.Type.SubText.Type.Buf.buf -> unit
val add_char :
CamomileLibrary.Type.SubText.Type.Buf.buf ->
CamomileLibrary.Type.UChar.t -> unit
val add_string :
CamomileLibrary.Type.SubText.Type.Buf.buf ->
CamomileLibrary.Type.SubText.Type.t -> unit
val add_buffer :
CamomileLibrary.Type.SubText.Type.Buf.buf ->
CamomileLibrary.Type.SubText.Type.Buf.buf -> unit
end
type ur_text
type ur_index
val refer :
CamomileLibrary.Type.SubText.Type.ur_text ->
CamomileLibrary.Type.SubText.Type.ur_index ->
CamomileLibrary.Type.SubText.Type.ur_index ->
CamomileLibrary.Type.SubText.Type.t
val excerpt :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.ur_text
val context :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.ur_text *
CamomileLibrary.Type.SubText.Type.ur_index *
CamomileLibrary.Type.SubText.Type.ur_index
val ur_index_of :
CamomileLibrary.Type.SubText.Type.t ->
CamomileLibrary.Type.SubText.Type.index ->
CamomileLibrary.Type.SubText.Type.ur_index
end
module Make :
functor (Text : UnicodeString.Type) ->
sig
type t
val get : t -> int -> UChar.t
val init : int -> (int -> UChar.t) -> t
val length : t -> int
type index
val look : t -> index -> UChar.t
val nth : t -> int -> index
val first : t -> index
val last : t -> index
val next : t -> index -> index
val prev : t -> index -> index
val move : t -> index -> int -> index
val out_of_range : t -> index -> bool
val compare_index : t -> index -> index -> int
val iter : (UChar.t -> unit) -> t -> unit
val compare : t -> t -> int
module Buf :
sig
type buf
val create : int -> buf
val contents : buf -> t
val clear : buf -> unit
val reset : buf -> unit
val add_char : buf -> UChar.t -> unit
val add_string : buf -> t -> unit
val add_buffer : buf -> buf -> unit
end
type ur_text = Text.t
type ur_index = Text.index
val refer : ur_text -> ur_index -> ur_index -> t
val excerpt : t -> ur_text
val context : t -> ur_text * ur_index * ur_index
val ur_index_of : t -> index -> ur_index
end
end
module ULine :
sig
type separator = [ `CR | `CRLF | `LF | `LS | `NEL | `PS ]
class input :
CamomileLibrary.Type.ULine.separator ->
CamomileLibrary.Type.UChar.t
#CamomileLibrary.Type.OOChannel.obj_input_channel ->
[CamomileLibrary.Type.UChar.t] OOChannel.obj_input_channel
class output :
CamomileLibrary.Type.ULine.separator ->
CamomileLibrary.Type.UChar.t
#CamomileLibrary.Type.OOChannel.obj_output_channel ->
[CamomileLibrary.Type.UChar.t] OOChannel.obj_output_channel
module type Type =
sig
type text
class input_line :
CamomileLibrary.Type.UChar.t
#CamomileLibrary.Type.OOChannel.obj_input_channel ->
[CamomileLibrary.Type.ULine.Type.text]
OOChannel.obj_input_channel
class output_line :
?sp:CamomileLibrary.Type.ULine.separator ->
CamomileLibrary.Type.UChar.t
#CamomileLibrary.Type.OOChannel.obj_output_channel ->
[CamomileLibrary.Type.ULine.Type.text]
OOChannel.obj_output_channel
end
module Make :
functor (Text : UnicodeString.Type) ->
sig
type text = Text.t
class input_line :
UChar.t #OOChannel.obj_input_channel ->
[text] OOChannel.obj_input_channel
class output_line :
?sp:separator ->
UChar.t #OOChannel.obj_output_channel ->
[text] OOChannel.obj_output_channel
end
end
module Locale :
sig
type t = string
val read :
string -> string -> (Pervasives.in_channel -> 'a) -> string -> 'a
val contain : string -> string -> bool
end
module CharEncoding : CharEncoding.Interface
module UTF8 :
sig
type t = string
exception Malformed_code
val validate : CamomileLibrary.Type.UTF8.t -> unit
val get :
CamomileLibrary.Type.UTF8.t -> int -> CamomileLibrary.Type.UChar.t
val init :
int ->
(int -> CamomileLibrary.Type.UChar.t) -> CamomileLibrary.Type.UTF8.t
val length : CamomileLibrary.Type.UTF8.t -> int
type index = int
val nth :
CamomileLibrary.Type.UTF8.t -> int -> CamomileLibrary.Type.UTF8.index
val first :
CamomileLibrary.Type.UTF8.t -> CamomileLibrary.Type.UTF8.index
val last :
CamomileLibrary.Type.UTF8.t -> CamomileLibrary.Type.UTF8.index
val look :
CamomileLibrary.Type.UTF8.t ->
CamomileLibrary.Type.UTF8.index -> CamomileLibrary.Type.UChar.t
val out_of_range :
CamomileLibrary.Type.UTF8.t ->
CamomileLibrary.Type.UTF8.index -> bool
val compare_index :
CamomileLibrary.Type.UTF8.t ->
CamomileLibrary.Type.UTF8.index ->
CamomileLibrary.Type.UTF8.index -> int
val next :
CamomileLibrary.Type.UTF8.t ->
CamomileLibrary.Type.UTF8.index -> CamomileLibrary.Type.UTF8.index
val prev :
CamomileLibrary.Type.UTF8.t ->
CamomileLibrary.Type.UTF8.index -> CamomileLibrary.Type.UTF8.index
val move :
CamomileLibrary.Type.UTF8.t ->
CamomileLibrary.Type.UTF8.index ->
int -> CamomileLibrary.Type.UTF8.index
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.UTF8.t -> unit
val compare :
CamomileLibrary.Type.UTF8.t -> CamomileLibrary.Type.UTF8.t -> int
module Buf :
sig
type buf = Buffer.t
val create : int -> CamomileLibrary.Type.UTF8.Buf.buf
val contents :
CamomileLibrary.Type.UTF8.Buf.buf -> CamomileLibrary.Type.UTF8.t
val clear : CamomileLibrary.Type.UTF8.Buf.buf -> unit
val reset : CamomileLibrary.Type.UTF8.Buf.buf -> unit
val add_char :
CamomileLibrary.Type.UTF8.Buf.buf ->
CamomileLibrary.Type.UChar.t -> unit
val add_string :
CamomileLibrary.Type.UTF8.Buf.buf ->
CamomileLibrary.Type.UTF8.t -> unit
val add_buffer :
CamomileLibrary.Type.UTF8.Buf.buf ->
CamomileLibrary.Type.UTF8.Buf.buf -> unit
end
end
module UTF16 :
sig
type t =
(int, Bigarray.int16_unsigned_elt, Bigarray.c_layout)
Bigarray.Array1.t
exception Malformed_code
val validate : CamomileLibrary.Type.UTF16.t -> unit
val get :
CamomileLibrary.Type.UTF16.t -> int -> CamomileLibrary.Type.UChar.t
exception Out_of_range
val init :
int ->
(int -> CamomileLibrary.Type.UChar.t) -> CamomileLibrary.Type.UTF16.t
val length : CamomileLibrary.Type.UTF16.t -> int
type index = int
val nth :
CamomileLibrary.Type.UTF16.t ->
int -> CamomileLibrary.Type.UTF16.index
val first :
CamomileLibrary.Type.UTF16.t -> CamomileLibrary.Type.UTF16.index
val last :
CamomileLibrary.Type.UTF16.t -> CamomileLibrary.Type.UTF16.index
val look :
CamomileLibrary.Type.UTF16.t ->
CamomileLibrary.Type.UTF16.index -> CamomileLibrary.Type.UChar.t
val out_of_range :
CamomileLibrary.Type.UTF16.t ->
CamomileLibrary.Type.UTF16.index -> bool
val compare_index :
CamomileLibrary.Type.UTF16.t ->
CamomileLibrary.Type.UTF16.index ->
CamomileLibrary.Type.UTF16.index -> int
val next :
CamomileLibrary.Type.UTF16.t ->
CamomileLibrary.Type.UTF16.index -> CamomileLibrary.Type.UTF16.index
val prev :
CamomileLibrary.Type.UTF16.t ->
CamomileLibrary.Type.UTF16.index -> CamomileLibrary.Type.UTF16.index
val move :
CamomileLibrary.Type.UTF16.t ->
CamomileLibrary.Type.UTF16.index ->
int -> CamomileLibrary.Type.UTF16.index
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.UTF16.t -> unit
val compare :
CamomileLibrary.Type.UTF16.t -> CamomileLibrary.Type.UTF16.t -> int
module Buf :
sig
type buf
val create : int -> CamomileLibrary.Type.UTF16.Buf.buf
val contents :
CamomileLibrary.Type.UTF16.Buf.buf ->
CamomileLibrary.Type.UTF16.t
val clear : CamomileLibrary.Type.UTF16.Buf.buf -> unit
val reset : CamomileLibrary.Type.UTF16.Buf.buf -> unit
val add_char :
CamomileLibrary.Type.UTF16.Buf.buf ->
CamomileLibrary.Type.UChar.t -> unit
val add_string :
CamomileLibrary.Type.UTF16.Buf.buf ->
CamomileLibrary.Type.UTF16.t -> unit
val add_buffer :
CamomileLibrary.Type.UTF16.Buf.buf ->
CamomileLibrary.Type.UTF16.Buf.buf -> unit
end
end
module UCS4 :
sig
type t =
(int32, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t
exception Malformed_code
val validate : CamomileLibrary.Type.UCS4.t -> unit
val get :
CamomileLibrary.Type.UCS4.t -> int -> CamomileLibrary.Type.UChar.t
val init :
int ->
(int -> CamomileLibrary.Type.UChar.t) -> CamomileLibrary.Type.UCS4.t
val length : CamomileLibrary.Type.UCS4.t -> int
type index = int
val nth :
CamomileLibrary.Type.UCS4.t -> int -> CamomileLibrary.Type.UCS4.index
val first :
CamomileLibrary.Type.UCS4.t -> CamomileLibrary.Type.UCS4.index
val last :
CamomileLibrary.Type.UCS4.t -> CamomileLibrary.Type.UCS4.index
val look :
CamomileLibrary.Type.UCS4.t ->
CamomileLibrary.Type.UCS4.index -> CamomileLibrary.Type.UChar.t
val out_of_range :
CamomileLibrary.Type.UCS4.t ->
CamomileLibrary.Type.UCS4.index -> bool
val compare_index :
CamomileLibrary.Type.UCS4.t ->
CamomileLibrary.Type.UCS4.index ->
CamomileLibrary.Type.UCS4.index -> int
val next :
CamomileLibrary.Type.UCS4.t ->
CamomileLibrary.Type.UCS4.index -> CamomileLibrary.Type.UCS4.index
val prev :
CamomileLibrary.Type.UCS4.t ->
CamomileLibrary.Type.UCS4.index -> CamomileLibrary.Type.UCS4.index
val move :
CamomileLibrary.Type.UCS4.t ->
CamomileLibrary.Type.UCS4.index ->
int -> CamomileLibrary.Type.UCS4.index
val iter :
(CamomileLibrary.Type.UChar.t -> unit) ->
CamomileLibrary.Type.UCS4.t -> unit
val compare :
CamomileLibrary.Type.UCS4.t -> CamomileLibrary.Type.UCS4.t -> int
module Buf :
sig
type buf
val create : int -> CamomileLibrary.Type.UCS4.Buf.buf
val contents :
CamomileLibrary.Type.UCS4.Buf.buf -> CamomileLibrary.Type.UCS4.t
val clear : CamomileLibrary.Type.UCS4.Buf.buf -> unit
val reset : CamomileLibrary.Type.UCS4.Buf.buf -> unit
val add_char :
CamomileLibrary.Type.UCS4.Buf.buf ->
CamomileLibrary.Type.UChar.t -> unit
val add_string :
CamomileLibrary.Type.UCS4.Buf.buf ->
CamomileLibrary.Type.UCS4.t -> unit
val add_buffer :
CamomileLibrary.Type.UCS4.Buf.buf ->
CamomileLibrary.Type.UCS4.Buf.buf -> unit
end
end
module UPervasives :
sig
type uchar = CamomileLibrary.Type.UChar.t
val int_of_uchar : CamomileLibrary.Type.UPervasives.uchar -> int
val uchar_of_int : int -> CamomileLibrary.Type.UPervasives.uchar
val escaped_uchar : CamomileLibrary.Type.UPervasives.uchar -> string
val escaped_utf8 : string -> string
val printer_utf8 : Format.formatter -> string -> unit
val printer_uchar :
Format.formatter -> CamomileLibrary.Type.UPervasives.uchar -> unit
end
module URe :
sig
type regexp =
[ `After of CamomileLibrary.Type.URe.regexp
| `Alt of
CamomileLibrary.Type.URe.regexp *
CamomileLibrary.Type.URe.regexp
| `Before of CamomileLibrary.Type.URe.regexp
| `BoS
| `EoS
| `Epsilon
| `Group of CamomileLibrary.Type.URe.regexp
| `OneChar
| `Rep of CamomileLibrary.Type.URe.regexp
| `Repn of CamomileLibrary.Type.URe.regexp * int * int option
| `Seq of
CamomileLibrary.Type.URe.regexp *
CamomileLibrary.Type.URe.regexp
| `Set of CamomileLibrary.Type.USet.t
| `String of CamomileLibrary.Type.UChar.t list ]
type match_semantics = [ `First | `Longest | `Shortest ]
val no_group :
CamomileLibrary.Type.URe.regexp -> CamomileLibrary.Type.URe.regexp
module type Type =
sig
type text
type index
type compiled_regexp
module SubText :
sig
type t
val get : t -> int -> UChar.t
val init : int -> (int -> UChar.t) -> t
val length : t -> int
type index
val look : t -> index -> UChar.t
val nth : t -> int -> index
val first : t -> index
val last : t -> index
val next : t -> index -> index
val prev : t -> index -> index
val move : t -> index -> int -> index
val out_of_range : t -> index -> bool
val compare_index : t -> index -> index -> int
val iter : (UChar.t -> unit) -> t -> unit
val compare : t -> t -> int
module Buf :
sig
type buf
val create : int -> buf
val contents : buf -> t
val clear : buf -> unit
val reset : buf -> unit
val add_char : buf -> UChar.t -> unit
val add_string : buf -> t -> unit
val add_buffer : buf -> buf -> unit
end
type ur_text = text
type ur_index = index
val refer : ur_text -> ur_index -> ur_index -> t
val excerpt : t -> ur_text
val context : t -> ur_text * ur_index * ur_index
val ur_index_of : t -> index -> ur_index
end
val compile :
CamomileLibrary.Type.URe.regexp ->
CamomileLibrary.Type.URe.Type.compiled_regexp
val regexp_match :
?sem:CamomileLibrary.Type.URe.match_semantics ->
CamomileLibrary.Type.URe.Type.compiled_regexp ->
CamomileLibrary.Type.URe.Type.text ->
CamomileLibrary.Type.URe.Type.index ->
CamomileLibrary.Type.URe.Type.SubText.t option array option
val string_match :
CamomileLibrary.Type.URe.Type.compiled_regexp ->
CamomileLibrary.Type.URe.Type.text ->
CamomileLibrary.Type.URe.Type.index -> bool
val search_forward :
?sem:CamomileLibrary.Type.URe.match_semantics ->
CamomileLibrary.Type.URe.Type.compiled_regexp ->
CamomileLibrary.Type.URe.Type.text ->
CamomileLibrary.Type.URe.Type.index ->
CamomileLibrary.Type.URe.Type.SubText.t option array option
end
module Make :
functor (Text : UnicodeString.Type) ->
sig
type text = Text.t
type index = Text.index
type compiled_regexp
module SubText :
sig
type t
val get : t -> int -> UChar.t
val init : int -> (int -> UChar.t) -> t
val length : t -> int
type index
val look : t -> index -> UChar.t
val nth : t -> int -> index
val first : t -> index
val last : t -> index
val next : t -> index -> index
val prev : t -> index -> index
val move : t -> index -> int -> index
val out_of_range : t -> index -> bool
val compare_index : t -> index -> index -> int
val iter : (UChar.t -> unit) -> t -> unit
val compare : t -> t -> int
module Buf :
sig
type buf
val create : int -> buf
val contents : buf -> t
val clear : buf -> unit
val reset : buf -> unit
val add_char : buf -> UChar.t -> unit
val add_string : buf -> t -> unit
val add_buffer : buf -> buf -> unit
end
type ur_text = text
type ur_index = index
val refer : ur_text -> ur_index -> ur_index -> t
val excerpt : t -> ur_text
val context : t -> ur_text * ur_index * ur_index
val ur_index_of : t -> index -> ur_index
end
val compile : regexp -> compiled_regexp
val regexp_match :
?sem:match_semantics ->
compiled_regexp ->
text -> index -> SubText.t option array option
val string_match : compiled_regexp -> text -> index -> bool
val search_forward :
?sem:match_semantics ->
compiled_regexp ->
text -> index -> SubText.t option array option
end
end
module UCharInfo : UCharInfo.Type
module UNF :
sig
module type Type = UNF.Type
module Make :
functor (Text : UnicodeString.Type) ->
sig
type text = Text.t
class nfd :
UChar.t #OOChannel.obj_output_channel ->
[UChar.t] OOChannel.obj_output_channel
class nfc :
UChar.t #OOChannel.obj_output_channel ->
[UChar.t] OOChannel.obj_output_channel
class nfkd :
UChar.t #OOChannel.obj_output_channel ->
[UChar.t] OOChannel.obj_output_channel
class nfkc :
UChar.t #OOChannel.obj_output_channel ->
[UChar.t] OOChannel.obj_output_channel
val nfd : text -> text
val nfkd : text -> text
val nfc : text -> text
val nfkc : text -> text
module NFCBuf :
sig
type buf
val create : int -> buf
val contents : buf -> text
val clear : buf -> unit
val reset : buf -> unit
val add_char : buf -> UChar.t -> unit
val add_string : buf -> text -> unit
val add_buffer : buf -> buf -> unit
end
val nfc_append : text -> text -> text
val put_nfd : XString.t -> text -> unit
val put_nfkd : XString.t -> text -> unit
val put_nfc : XString.t -> text -> unit
val put_nfkc : XString.t -> text -> unit
type index = Text.index
val nfd_inc :
text ->
index -> ([ `Inc of UChar.t list * index * 'a lazy_t ] as 'a)
val canon_compare : text -> text -> int
val nfd_decompose : UChar.t -> UChar.t list
val nfkd_decompose : UChar.t -> UChar.t list
end
end
module UCol :
sig
type variable_option =
[ `Blanked | `Non_ignorable | `Shift_Trimmed | `Shifted ]
type precision = [ `Primary | `Quaternary | `Secondary | `Tertiary ]
module type Type = UCol.Type
module Make :
functor (Text : UnicodeString.Type) ->
sig
type text = Text.t
type index = Text.index
val compare :
?locale:string ->
?prec:UCol.precision ->
?variable:UCol.variable_option -> text -> text -> int
val sort_key :
?locale:string ->
?prec:UCol.precision ->
?variable:UCol.variable_option -> text -> string
val compare_with_key :
?locale:string ->
?prec:UCol.precision ->
?variable:UCol.variable_option -> string -> text -> int
val search_with_key :
?locale:string ->
?prec:UCol.precision ->
?variable:UCol.variable_option ->
string -> text -> index -> index * index
val search :
?locale:string ->
?prec:UCol.precision ->
?variable:UCol.variable_option ->
text -> text -> index -> index * index
end
end
module CaseMap :
sig
module type Type = CaseMap.Type
module Make :
functor (Text : UnicodeString.Type) ->
sig
type text = Text.t
val lowercase : ?locale:string -> text -> text
val uppercase : ?locale:string -> text -> text
val titlecase : ?locale:string -> text -> text
val casefolding : text -> text
val compare_caseless : text -> text -> int
end
end
module UReStr : UReStr.Interface
module StringPrep :
sig
module type Type = StringPrep.Type
module Make :
functor (Text : UnicodeString.Type) ->
sig
type text = Text.t
exception Prohibited of UChar.t
exception Bad_bidi
type profile =
[ `Iscsi
| `Mib
| `Nameprep
| `Nodeprep
| `Resourceprep
| `Saslprep
| `Trace ]
val stringprep : profile -> text -> text
end
end
end`