Data.Rope

This module defines a Rope representation.

Documentation

data Rope

Instances

Eq Rope

Show Rope

Binary Rope

Conversions to Rope

fromString :: String -> Rope

Conversions from Rope

toString :: Rope -> String

toReverseString :: Rope -> String

List-like functions

null :: Rope -> Bool

empty :: Rope

take, drop :: Int -> Rope -> Rope

append :: Rope -> Rope -> Rope

Append two strings by merging the two finger trees.

splitAt :: Int -> Rope -> (Rope, Rope)

Split the string at the specified position.

splitAtLine :: Int -> Rope -> (Rope, Rope)

Split before the specified line. Lines are indexed from 0.

length :: Rope -> Int

Get the length of the string. (This information cached, so O(1) amortized runtime.)

reverse :: Rope -> Rope

countNewLines :: Rope -> Int

Count the number of newlines in the strings. (This information cached, so O(1) amortized runtime.)

IO

readFile :: FilePath -> IO Rope

writeFile :: FilePath -> Rope -> IO ()

Low level functions

splitAtChunkBefore :: Int -> Rope -> (Rope, Rope)

Split the rope on a chunk, so that the desired position lies within the first chunk of the second rope.