Module Text_editSource

Sourcetype t
Sourceval of_string : string -> t
Sourceval to_string : t -> string
Sourceval length : t -> int
Sourceval pieces : t -> int
Sourceval caret : t -> int
Sourceval anchor : t -> int
Sourceval range : t -> int * int
Sourceval selected : t -> string
Sourceval at : int -> t -> t
Sourceval select : anchor:int -> caret:int -> t -> t
Sourceval to_ : int -> t -> t
Sourceval insert : string -> t -> t
Sourceval delete_backward : t -> t
Sourceval delete_forward : t -> t
Sourceval delete : from:int -> len:int -> t -> t
Sourceval undo : t -> t
Sourceval redo : t -> t
Sourceval undos : t -> int
Sourceval redos : t -> int
Sourceval lines : width:int -> t -> (int * string) list
Sourceval place : width:int -> t -> int -> int * int
Sourceval offset : width:int -> t -> line:int -> column:int -> int