Rope implementation
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
example
src
t
.gitignore
.merlin
.ocp-indent
LICENSE
OMakefile
OMakeroot
README.md

README.md

Basic Usage

NativeRope

module Rope = NativeRope

(* Create a new rope. *)
let rope = Rope.create "hello, world!" in

(* Insert a string to the rope. This operation doesn't break the existing rope object.*)
let result = Rope.insert rope "+" 0

(* Delete a string to the rope. This operation doesn't break the existing rope object.*)
let result = Rope.insert rope "hello, world!"

Installation

The recommended way to install text-rope is via the opam:

$ opam install text-rope

If you want to build from source, run the following command in the root directory of this repository:

$ omake