Data.Rope

Documentation

data Rope a

Instances

Show a => Show (Rope a)

Arbitrary (Rope ByteString)

StringLike a => StringLike (Rope a)

class StringLike a where

Associated Types

type Elem a :: *

Methods

size :: a -> Int

empty :: a

(.<) :: Elem a -> a -> a

(>.) :: a -> Elem a -> a

(<>) :: a -> a -> a

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

decomposeAt :: Int -> a -> (a, Elem a, a)

Instances

StringLike ByteString

StringLike a => StringLike (Rope a)

pack :: StringLike a => Int -> a -> Rope a

unpack :: StringLike a => Rope a -> a