Data.Text.Zipper.Generic

Documentation

class Monoid a => GenericTextZipper a where

Methods

singleton :: Char -> a

drop :: Int -> a -> a

take :: Int -> a -> a

length :: a -> Int

last :: a -> Char

init :: a -> a

null :: a -> Bool

lines :: a -> [a]

toList :: a -> [Char]

Instances

GenericTextZipper Text

Defined in Data.Text.Zipper.Generic

Methods

singleton :: Char -> Text

drop :: Int -> Text -> Text

take :: Int -> Text -> Text

length :: Text -> Int

last :: Text -> Char

init :: Text -> Text

null :: Text -> Bool

lines :: Text -> [Text]

toList :: Text -> [Char]

GenericTextZipper [Char]

Defined in Data.Text.Zipper.Generic

Methods

singleton :: Char -> [Char]

drop :: Int -> [Char] -> [Char]

take :: Int -> [Char] -> [Char]

length :: [Char] -> Int

last :: [Char] -> Char

init :: [Char] -> [Char]

null :: [Char] -> Bool

lines :: [Char] -> [[Char]]

toList :: [Char] -> [Char]

GenericTextZipper (Vector Char)

Defined in Data.Text.Zipper.Generic

Methods

singleton :: Char -> Vector Char

drop :: Int -> Vector Char -> Vector Char

take :: Int -> Vector Char -> Vector Char

length :: Vector Char -> Int

last :: Vector Char -> Char

init :: Vector Char -> Vector Char

null :: Vector Char -> Bool

lines :: Vector Char -> [Vector Char]

toList :: Vector Char -> [Char]

textZipper :: GenericTextZipper a => [a] -> Maybe Int -> TextZipper a