Data.Rope.Internal

Documentation

data Rope a

Constructors

Rope !Body a

Instances

Monad Rope

Functor Rope

Typeable1 Rope

Applicative Rope

Foldable Rope

Traversable Rope

Comonad Rope

Measured Count (Rope a)

(Packable a, Annotation m) => Reducer a (Rope m)

Eq a => Eq (Rope a)

(Annotation a, Data a) => Data (Rope a)

Show a => Show (Rope a)

Monoid a => Monoid (Rope a)

Annotation n => Packable (Rope n)

Annotation a => Annotation (Rope a)

MonadWriter (Rope ()) Rope

Construction

cons8 :: Reducer ByteString m => Word8 -> Rope m -> Rope m

empty :: Monoid m => Rope m

fromChunks :: Reducer ByteString m => [ByteString] -> Rope m

fromByteString :: Reducer ByteString m => ByteString -> Rope m

fromLazyByteString :: Reducer ByteString m => ByteString -> Rope m

fromString :: Reducer ByteString m => String -> Rope m

fromWords :: Reducer ByteString m => [Word8] -> Rope m

fromChar :: Reducer ByteString m => Char -> Rope m

fromWord8 :: Reducer ByteString m => Word8 -> Rope m

Analysis

length :: Rope m -> Int

null :: Rope m -> Bool

body :: Rope a -> Body

Deconstruction

toChunks :: Rope m -> [ByteString]

toLazyByteString :: Rope m -> ByteString

Cutting

class Reducer ByteString a => Annotation a where

Methods

elide' :: Int -> Int -> Rope a -> a

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

take' :: Int -> Rope a -> a

drop' :: Int -> Rope a -> a

Instances

Annotation ()

Annotation ByteString

Annotation ByteString

Annotation Body

Annotation a => Annotation (Rope a)

(Annotation a, Annotation b) => Annotation (a, b)

(Annotation a, Annotation b) => Annotation (:*: a b)

elide :: Annotation a => Int -> Int -> Rope a -> Rope a

splitAt :: Annotation a => Int -> Rope a -> (Rope a, Rope a)

take :: Annotation a => Int -> Rope a -> Rope a

drop :: Annotation a => Int -> Rope a -> Rope a

uncons8 :: Annotation m => Rope m -> Maybe (Word8, Rope m)

unsnoc8 :: Annotation m => Rope m -> Maybe (Rope m, Word8)

w2c :: Word8 -> Char

Pasting

class Packable a where

Methods

pack :: Annotation m => a -> Rope m

packl :: Annotation m => a -> Rope m -> Rope m

packr :: Annotation m => Rope m -> a -> Rope m

Instances

Packable Char

Packable Word8

Packable String

Packable ByteString

Packable ByteString

Packable Chunk

Packable [Word8]

Annotation n => Packable (Rope n)

break8 :: Annotation m => (Word8 -> Bool) -> Rope m -> (Rope m, Rope m)

findIndexOrEnd :: (Word8 -> Bool) -> ByteString -> Int