Safe Haskell	None
Language	Haskell2010

Data.String.Class

Synopsis

Documentation

class (StringCells s, StringRWIO s) => Stringy s #

String super class

Instances

(StringCells s, StringRWIO s) => Stringy s #

class (Eq s, Monoid s, IsString s, Typeable s, StringCell (StringCellChar s), StringCell (StringCellAltChar s), ConvGenString s, ConvString s, ConvStrictByteString s, ConvLazyByteString s, ConvText s, ConvLazyText s) => StringCells s where #

Minimal complete definition: StringCellChar; StringCellAltChar; toStringCells; fromStringCells; toMainChar; toAltChar; cons; snoc; either all of head, tail, last, and init, or all of uncons and unsnoc; take, take64 or genericTake; drop, drop64, or genericDrop; and length, length64, or genericLength

Minimal complete definition

toStringCells, fromStringCells, cons, snoc, toMainChar, toAltChar

Associated Types

type StringCellChar s #

type StringCellAltChar s #

Methods

toStringCells :: StringCells s2 => s -> s2 #

fromStringCells :: StringCells s2 => s2 -> s #

cons :: StringCellChar s -> s -> s infixr 9 #

uncons :: s -> (StringCellChar s, s) infixr 9 #

snoc :: s -> StringCellChar s -> s #

unsnoc :: s -> (s, StringCellChar s) #

altCons :: StringCellAltChar s -> s -> s infixr 9 #

altUncons :: s -> (StringCellAltChar s, s) infixr 9 #

altSnoc :: s -> StringCellAltChar s -> s #

altUnsnoc :: s -> (s, StringCellAltChar s) #

toMainChar :: StringCell c => c -> Tagged s (StringCellChar s) #

toAltChar :: StringCell c => c -> Tagged s (StringCellAltChar s) #

append :: s -> s -> s infixr 9 #

Append two strings

concat :: [s] -> s #

empty :: s #

null :: s -> Bool #

head :: s -> StringCellChar s #

tail :: s -> s #

last :: s -> StringCellChar s #

init :: s -> s #

altHead :: s -> StringCellAltChar s #

altLast :: s -> StringCellAltChar s #

unfoldr :: (a -> Maybe (StringCellChar s, a)) -> a -> s #

Construction of a string; implementations should behave safely with incorrect lengths

The default implementation of unfoldr is independent from that of altUnfoldr, as well as unfoldrN as and altUnfoldrN.

altUnfoldr :: (a -> Maybe (StringCellAltChar s, a)) -> a -> s #

unfoldrN :: Int -> (a -> Maybe (StringCellChar s, a)) -> a -> s #

altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar s, a)) -> a -> s #

unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar s, a)) -> a -> s #

altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar s, a)) -> a -> s #

index :: s -> Int -> StringCellChar s #

Get the character at the given position

Just like drop, drop64, and the variants of those functions, the default definitions of these three variants are independent of each other, and are defined in terms of head and tail, which can be inefficient.

index64 :: s -> Int64 -> StringCellChar s #

genericIndex :: Integral i => s -> i -> StringCellChar s #

Index a string at any location

Just like the other generic functions of this module, this function can be significantly slower than index, since the function must be able to support arbitrarily large indices. Consider using index or index64, even if you need to coerce the index to an Int.

take :: Int -> s -> s #

take64 :: Int64 -> s -> s #

genericTake :: Integral i => i -> s -> s #

drop :: Int -> s -> s #

drop64 :: Int64 -> s -> s #

genericDrop :: Integral i => i -> s -> s #

length :: s -> Int #

length64 :: s -> Int64 #

genericLength :: Integral i => s -> i #

safeUncons :: s -> Maybe (StringCellChar s, s) #

safeUnsnoc :: s -> Maybe (s, StringCellChar s) #

safeAltUncons :: s -> Maybe (StringCellAltChar s, s) #

safeAltUnsnoc :: s -> Maybe (s, StringCellAltChar s) #

safeHead :: s -> Maybe (StringCellChar s) #

safeTail :: s -> Maybe s #

safeLast :: s -> Maybe (StringCellChar s) #

safeInit :: s -> Maybe s #

safeAltHead :: s -> Maybe (StringCellAltChar s) #

safeAltLast :: s -> Maybe (StringCellAltChar s) #

safeIndex :: s -> Int -> Maybe (StringCellChar s) #

safeIndex64 :: s -> Int64 -> Maybe (StringCellChar s) #

safeGenericIndex :: Integral i => s -> i -> Maybe (StringCellChar s) #

safeTake :: Int -> s -> Maybe s #

safeTake64 :: Int64 -> s -> Maybe s #

safeGenericTake :: Integral i => i -> s -> Maybe s #

safeDrop :: Int -> s -> Maybe s #

safeDrop64 :: Int64 -> s -> Maybe s #

safeGenericDrop :: Integral i => i -> s -> Maybe s #

safeUncons2 :: s -> Maybe (StringCellChar s, StringCellChar s, s) #

safeUncons3 :: s -> Maybe (StringCellChar s, StringCellChar s, StringCellChar s, s) #

safeUncons4 :: s -> Maybe (StringCellChar s, StringCellChar s, StringCellChar s, StringCellChar s, s) #

cons2 :: StringCellChar s -> StringCellChar s -> s -> s infixr 9 #

cons3 :: StringCellChar s -> StringCellChar s -> StringCellChar s -> s -> s infixr 9 #

cons4 :: StringCellChar s -> StringCellChar s -> StringCellChar s -> StringCellChar s -> s -> s infixr 9 #

uncons2 :: s -> (StringCellChar s, StringCellChar s, s) infixr 9 #

uncons3 :: s -> (StringCellChar s, StringCellChar s, StringCellChar s, s) infixr 9 #

uncons4 :: s -> (StringCellChar s, StringCellChar s, StringCellChar s, StringCellChar s, s) infixr 9 #

Instances

StringCells String #
Associated Types type StringCellChar String :: * # type StringCellAltChar String :: * # Methods toStringCells :: StringCells s2 => String -> s2 # fromStringCells :: StringCells s2 => s2 -> String # cons :: StringCellChar String -> String -> String # uncons :: String -> (StringCellChar String, String) # snoc :: String -> StringCellChar String -> String # unsnoc :: String -> (String, StringCellChar String) # altCons :: StringCellAltChar String -> String -> String # altUncons :: String -> (StringCellAltChar String, String) # altSnoc :: String -> StringCellAltChar String -> String # altUnsnoc :: String -> (String, StringCellAltChar String) # toMainChar :: StringCell c => c -> Tagged * String (StringCellChar String) # toAltChar :: StringCell c => c -> Tagged * String (StringCellAltChar String) # append :: String -> String -> String # concat :: [String] -> String # empty :: String # null :: String -> Bool # head :: String -> StringCellChar String # tail :: String -> String # last :: String -> StringCellChar String # init :: String -> String # altHead :: String -> StringCellAltChar String # altLast :: String -> StringCellAltChar String # unfoldr :: (a -> Maybe (StringCellChar String, a)) -> a -> String # altUnfoldr :: (a -> Maybe (StringCellAltChar String, a)) -> a -> String # unfoldrN :: Int -> (a -> Maybe (StringCellChar String, a)) -> a -> String # altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar String, a)) -> a -> String # unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar String, a)) -> a -> String # altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar String, a)) -> a -> String # index :: String -> Int -> StringCellChar String # index64 :: String -> Int64 -> StringCellChar String # genericIndex :: Integral i => String -> i -> StringCellChar String # take :: Int -> String -> String # take64 :: Int64 -> String -> String # genericTake :: Integral i => i -> String -> String # drop :: Int -> String -> String # drop64 :: Int64 -> String -> String # genericDrop :: Integral i => i -> String -> String # length :: String -> Int # length64 :: String -> Int64 # genericLength :: Integral i => String -> i # safeUncons :: String -> Maybe (StringCellChar String, String) # safeUnsnoc :: String -> Maybe (String, StringCellChar String) # safeAltUncons :: String -> Maybe (StringCellAltChar String, String) # safeAltUnsnoc :: String -> Maybe (String, StringCellAltChar String) # safeHead :: String -> Maybe (StringCellChar String) # safeTail :: String -> Maybe String # safeLast :: String -> Maybe (StringCellChar String) # safeInit :: String -> Maybe String # safeAltHead :: String -> Maybe (StringCellAltChar String) # safeAltLast :: String -> Maybe (StringCellAltChar String) # safeIndex :: String -> Int -> Maybe (StringCellChar String) # safeIndex64 :: String -> Int64 -> Maybe (StringCellChar String) # safeGenericIndex :: Integral i => String -> i -> Maybe (StringCellChar String) # safeTake :: Int -> String -> Maybe String # safeTake64 :: Int64 -> String -> Maybe String # safeGenericTake :: Integral i => i -> String -> Maybe String # safeDrop :: Int -> String -> Maybe String # safeDrop64 :: Int64 -> String -> Maybe String # safeGenericDrop :: Integral i => i -> String -> Maybe String # safeUncons2 :: String -> Maybe (StringCellChar String, StringCellChar String, String) # safeUncons3 :: String -> Maybe (StringCellChar String, StringCellChar String, StringCellChar String, String) # safeUncons4 :: String -> Maybe (StringCellChar String, StringCellChar String, StringCellChar String, StringCellChar String, String) # cons2 :: StringCellChar String -> StringCellChar String -> String -> String # cons3 :: StringCellChar String -> StringCellChar String -> StringCellChar String -> String -> String # cons4 :: StringCellChar String -> StringCellChar String -> StringCellChar String -> StringCellChar String -> String -> String # uncons2 :: String -> (StringCellChar String, StringCellChar String, String) # uncons3 :: String -> (StringCellChar String, StringCellChar String, StringCellChar String, String) # uncons4 :: String -> (StringCellChar String, StringCellChar String, StringCellChar String, StringCellChar String, String) #
StringCells ByteString #
Associated Types type StringCellChar ByteString :: * # type StringCellAltChar ByteString :: * # Methods toStringCells :: StringCells s2 => ByteString -> s2 # fromStringCells :: StringCells s2 => s2 -> ByteString # cons :: StringCellChar ByteString -> ByteString -> ByteString # uncons :: ByteString -> (StringCellChar ByteString, ByteString) # snoc :: ByteString -> StringCellChar ByteString -> ByteString # unsnoc :: ByteString -> (ByteString, StringCellChar ByteString) # altCons :: StringCellAltChar ByteString -> ByteString -> ByteString # altUncons :: ByteString -> (StringCellAltChar ByteString, ByteString) # altSnoc :: ByteString -> StringCellAltChar ByteString -> ByteString # altUnsnoc :: ByteString -> (ByteString, StringCellAltChar ByteString) # toMainChar :: StringCell c => c -> Tagged * ByteString (StringCellChar ByteString) # toAltChar :: StringCell c => c -> Tagged * ByteString (StringCellAltChar ByteString) # append :: ByteString -> ByteString -> ByteString # concat :: [ByteString] -> ByteString # empty :: ByteString # null :: ByteString -> Bool # head :: ByteString -> StringCellChar ByteString # tail :: ByteString -> ByteString # last :: ByteString -> StringCellChar ByteString # init :: ByteString -> ByteString # altHead :: ByteString -> StringCellAltChar ByteString # altLast :: ByteString -> StringCellAltChar ByteString # unfoldr :: (a -> Maybe (StringCellChar ByteString, a)) -> a -> ByteString # altUnfoldr :: (a -> Maybe (StringCellAltChar ByteString, a)) -> a -> ByteString # unfoldrN :: Int -> (a -> Maybe (StringCellChar ByteString, a)) -> a -> ByteString # altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar ByteString, a)) -> a -> ByteString # unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar ByteString, a)) -> a -> ByteString # altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar ByteString, a)) -> a -> ByteString # index :: ByteString -> Int -> StringCellChar ByteString # index64 :: ByteString -> Int64 -> StringCellChar ByteString # genericIndex :: Integral i => ByteString -> i -> StringCellChar ByteString # take :: Int -> ByteString -> ByteString # take64 :: Int64 -> ByteString -> ByteString # genericTake :: Integral i => i -> ByteString -> ByteString # drop :: Int -> ByteString -> ByteString # drop64 :: Int64 -> ByteString -> ByteString # genericDrop :: Integral i => i -> ByteString -> ByteString # length :: ByteString -> Int # length64 :: ByteString -> Int64 # genericLength :: Integral i => ByteString -> i # safeUncons :: ByteString -> Maybe (StringCellChar ByteString, ByteString) # safeUnsnoc :: ByteString -> Maybe (ByteString, StringCellChar ByteString) # safeAltUncons :: ByteString -> Maybe (StringCellAltChar ByteString, ByteString) # safeAltUnsnoc :: ByteString -> Maybe (ByteString, StringCellAltChar ByteString) # safeHead :: ByteString -> Maybe (StringCellChar ByteString) # safeTail :: ByteString -> Maybe ByteString # safeLast :: ByteString -> Maybe (StringCellChar ByteString) # safeInit :: ByteString -> Maybe ByteString # safeAltHead :: ByteString -> Maybe (StringCellAltChar ByteString) # safeAltLast :: ByteString -> Maybe (StringCellAltChar ByteString) # safeIndex :: ByteString -> Int -> Maybe (StringCellChar ByteString) # safeIndex64 :: ByteString -> Int64 -> Maybe (StringCellChar ByteString) # safeGenericIndex :: Integral i => ByteString -> i -> Maybe (StringCellChar ByteString) # safeTake :: Int -> ByteString -> Maybe ByteString # safeTake64 :: Int64 -> ByteString -> Maybe ByteString # safeGenericTake :: Integral i => i -> ByteString -> Maybe ByteString # safeDrop :: Int -> ByteString -> Maybe ByteString # safeDrop64 :: Int64 -> ByteString -> Maybe ByteString # safeGenericDrop :: Integral i => i -> ByteString -> Maybe ByteString # safeUncons2 :: ByteString -> Maybe (StringCellChar ByteString, StringCellChar ByteString, ByteString) # safeUncons3 :: ByteString -> Maybe (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) # safeUncons4 :: ByteString -> Maybe (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) # cons2 :: StringCellChar ByteString -> StringCellChar ByteString -> ByteString -> ByteString # cons3 :: StringCellChar ByteString -> StringCellChar ByteString -> StringCellChar ByteString -> ByteString -> ByteString # cons4 :: StringCellChar ByteString -> StringCellChar ByteString -> StringCellChar ByteString -> StringCellChar ByteString -> ByteString -> ByteString # uncons2 :: ByteString -> (StringCellChar ByteString, StringCellChar ByteString, ByteString) # uncons3 :: ByteString -> (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) # uncons4 :: ByteString -> (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) #
StringCells ByteString #
Associated Types type StringCellChar ByteString :: * # type StringCellAltChar ByteString :: * # Methods toStringCells :: StringCells s2 => ByteString -> s2 # fromStringCells :: StringCells s2 => s2 -> ByteString # cons :: StringCellChar ByteString -> ByteString -> ByteString # uncons :: ByteString -> (StringCellChar ByteString, ByteString) # snoc :: ByteString -> StringCellChar ByteString -> ByteString # unsnoc :: ByteString -> (ByteString, StringCellChar ByteString) # altCons :: StringCellAltChar ByteString -> ByteString -> ByteString # altUncons :: ByteString -> (StringCellAltChar ByteString, ByteString) # altSnoc :: ByteString -> StringCellAltChar ByteString -> ByteString # altUnsnoc :: ByteString -> (ByteString, StringCellAltChar ByteString) # toMainChar :: StringCell c => c -> Tagged * ByteString (StringCellChar ByteString) # toAltChar :: StringCell c => c -> Tagged * ByteString (StringCellAltChar ByteString) # append :: ByteString -> ByteString -> ByteString # concat :: [ByteString] -> ByteString # empty :: ByteString # null :: ByteString -> Bool # head :: ByteString -> StringCellChar ByteString # tail :: ByteString -> ByteString # last :: ByteString -> StringCellChar ByteString # init :: ByteString -> ByteString # altHead :: ByteString -> StringCellAltChar ByteString # altLast :: ByteString -> StringCellAltChar ByteString # unfoldr :: (a -> Maybe (StringCellChar ByteString, a)) -> a -> ByteString # altUnfoldr :: (a -> Maybe (StringCellAltChar ByteString, a)) -> a -> ByteString # unfoldrN :: Int -> (a -> Maybe (StringCellChar ByteString, a)) -> a -> ByteString # altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar ByteString, a)) -> a -> ByteString # unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar ByteString, a)) -> a -> ByteString # altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar ByteString, a)) -> a -> ByteString # index :: ByteString -> Int -> StringCellChar ByteString # index64 :: ByteString -> Int64 -> StringCellChar ByteString # genericIndex :: Integral i => ByteString -> i -> StringCellChar ByteString # take :: Int -> ByteString -> ByteString # take64 :: Int64 -> ByteString -> ByteString # genericTake :: Integral i => i -> ByteString -> ByteString # drop :: Int -> ByteString -> ByteString # drop64 :: Int64 -> ByteString -> ByteString # genericDrop :: Integral i => i -> ByteString -> ByteString # length :: ByteString -> Int # length64 :: ByteString -> Int64 # genericLength :: Integral i => ByteString -> i # safeUncons :: ByteString -> Maybe (StringCellChar ByteString, ByteString) # safeUnsnoc :: ByteString -> Maybe (ByteString, StringCellChar ByteString) # safeAltUncons :: ByteString -> Maybe (StringCellAltChar ByteString, ByteString) # safeAltUnsnoc :: ByteString -> Maybe (ByteString, StringCellAltChar ByteString) # safeHead :: ByteString -> Maybe (StringCellChar ByteString) # safeTail :: ByteString -> Maybe ByteString # safeLast :: ByteString -> Maybe (StringCellChar ByteString) # safeInit :: ByteString -> Maybe ByteString # safeAltHead :: ByteString -> Maybe (StringCellAltChar ByteString) # safeAltLast :: ByteString -> Maybe (StringCellAltChar ByteString) # safeIndex :: ByteString -> Int -> Maybe (StringCellChar ByteString) # safeIndex64 :: ByteString -> Int64 -> Maybe (StringCellChar ByteString) # safeGenericIndex :: Integral i => ByteString -> i -> Maybe (StringCellChar ByteString) # safeTake :: Int -> ByteString -> Maybe ByteString # safeTake64 :: Int64 -> ByteString -> Maybe ByteString # safeGenericTake :: Integral i => i -> ByteString -> Maybe ByteString # safeDrop :: Int -> ByteString -> Maybe ByteString # safeDrop64 :: Int64 -> ByteString -> Maybe ByteString # safeGenericDrop :: Integral i => i -> ByteString -> Maybe ByteString # safeUncons2 :: ByteString -> Maybe (StringCellChar ByteString, StringCellChar ByteString, ByteString) # safeUncons3 :: ByteString -> Maybe (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) # safeUncons4 :: ByteString -> Maybe (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) # cons2 :: StringCellChar ByteString -> StringCellChar ByteString -> ByteString -> ByteString # cons3 :: StringCellChar ByteString -> StringCellChar ByteString -> StringCellChar ByteString -> ByteString -> ByteString # cons4 :: StringCellChar ByteString -> StringCellChar ByteString -> StringCellChar ByteString -> StringCellChar ByteString -> ByteString -> ByteString # uncons2 :: ByteString -> (StringCellChar ByteString, StringCellChar ByteString, ByteString) # uncons3 :: ByteString -> (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) # uncons4 :: ByteString -> (StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, StringCellChar ByteString, ByteString) #
StringCells Text #
Associated Types type StringCellChar Text :: * # type StringCellAltChar Text :: * # Methods toStringCells :: StringCells s2 => Text -> s2 # fromStringCells :: StringCells s2 => s2 -> Text # cons :: StringCellChar Text -> Text -> Text # uncons :: Text -> (StringCellChar Text, Text) # snoc :: Text -> StringCellChar Text -> Text # unsnoc :: Text -> (Text, StringCellChar Text) # altCons :: StringCellAltChar Text -> Text -> Text # altUncons :: Text -> (StringCellAltChar Text, Text) # altSnoc :: Text -> StringCellAltChar Text -> Text # altUnsnoc :: Text -> (Text, StringCellAltChar Text) # toMainChar :: StringCell c => c -> Tagged * Text (StringCellChar Text) # toAltChar :: StringCell c => c -> Tagged * Text (StringCellAltChar Text) # append :: Text -> Text -> Text # concat :: [Text] -> Text # empty :: Text # null :: Text -> Bool # head :: Text -> StringCellChar Text # tail :: Text -> Text # last :: Text -> StringCellChar Text # init :: Text -> Text # altHead :: Text -> StringCellAltChar Text # altLast :: Text -> StringCellAltChar Text # unfoldr :: (a -> Maybe (StringCellChar Text, a)) -> a -> Text # altUnfoldr :: (a -> Maybe (StringCellAltChar Text, a)) -> a -> Text # unfoldrN :: Int -> (a -> Maybe (StringCellChar Text, a)) -> a -> Text # altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar Text, a)) -> a -> Text # unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar Text, a)) -> a -> Text # altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar Text, a)) -> a -> Text # index :: Text -> Int -> StringCellChar Text # index64 :: Text -> Int64 -> StringCellChar Text # genericIndex :: Integral i => Text -> i -> StringCellChar Text # take :: Int -> Text -> Text # take64 :: Int64 -> Text -> Text # genericTake :: Integral i => i -> Text -> Text # drop :: Int -> Text -> Text # drop64 :: Int64 -> Text -> Text # genericDrop :: Integral i => i -> Text -> Text # length :: Text -> Int # length64 :: Text -> Int64 # genericLength :: Integral i => Text -> i # safeUncons :: Text -> Maybe (StringCellChar Text, Text) # safeUnsnoc :: Text -> Maybe (Text, StringCellChar Text) # safeAltUncons :: Text -> Maybe (StringCellAltChar Text, Text) # safeAltUnsnoc :: Text -> Maybe (Text, StringCellAltChar Text) # safeHead :: Text -> Maybe (StringCellChar Text) # safeTail :: Text -> Maybe Text # safeLast :: Text -> Maybe (StringCellChar Text) # safeInit :: Text -> Maybe Text # safeAltHead :: Text -> Maybe (StringCellAltChar Text) # safeAltLast :: Text -> Maybe (StringCellAltChar Text) # safeIndex :: Text -> Int -> Maybe (StringCellChar Text) # safeIndex64 :: Text -> Int64 -> Maybe (StringCellChar Text) # safeGenericIndex :: Integral i => Text -> i -> Maybe (StringCellChar Text) # safeTake :: Int -> Text -> Maybe Text # safeTake64 :: Int64 -> Text -> Maybe Text # safeGenericTake :: Integral i => i -> Text -> Maybe Text # safeDrop :: Int -> Text -> Maybe Text # safeDrop64 :: Int64 -> Text -> Maybe Text # safeGenericDrop :: Integral i => i -> Text -> Maybe Text # safeUncons2 :: Text -> Maybe (StringCellChar Text, StringCellChar Text, Text) # safeUncons3 :: Text -> Maybe (StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) # safeUncons4 :: Text -> Maybe (StringCellChar Text, StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) # cons2 :: StringCellChar Text -> StringCellChar Text -> Text -> Text # cons3 :: StringCellChar Text -> StringCellChar Text -> StringCellChar Text -> Text -> Text # cons4 :: StringCellChar Text -> StringCellChar Text -> StringCellChar Text -> StringCellChar Text -> Text -> Text # uncons2 :: Text -> (StringCellChar Text, StringCellChar Text, Text) # uncons3 :: Text -> (StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) # uncons4 :: Text -> (StringCellChar Text, StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) #
StringCells Text #
Associated Types type StringCellChar Text :: * # type StringCellAltChar Text :: * # Methods toStringCells :: StringCells s2 => Text -> s2 # fromStringCells :: StringCells s2 => s2 -> Text # cons :: StringCellChar Text -> Text -> Text # uncons :: Text -> (StringCellChar Text, Text) # snoc :: Text -> StringCellChar Text -> Text # unsnoc :: Text -> (Text, StringCellChar Text) # altCons :: StringCellAltChar Text -> Text -> Text # altUncons :: Text -> (StringCellAltChar Text, Text) # altSnoc :: Text -> StringCellAltChar Text -> Text # altUnsnoc :: Text -> (Text, StringCellAltChar Text) # toMainChar :: StringCell c => c -> Tagged * Text (StringCellChar Text) # toAltChar :: StringCell c => c -> Tagged * Text (StringCellAltChar Text) # append :: Text -> Text -> Text # concat :: [Text] -> Text # empty :: Text # null :: Text -> Bool # head :: Text -> StringCellChar Text # tail :: Text -> Text # last :: Text -> StringCellChar Text # init :: Text -> Text # altHead :: Text -> StringCellAltChar Text # altLast :: Text -> StringCellAltChar Text # unfoldr :: (a -> Maybe (StringCellChar Text, a)) -> a -> Text # altUnfoldr :: (a -> Maybe (StringCellAltChar Text, a)) -> a -> Text # unfoldrN :: Int -> (a -> Maybe (StringCellChar Text, a)) -> a -> Text # altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar Text, a)) -> a -> Text # unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar Text, a)) -> a -> Text # altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar Text, a)) -> a -> Text # index :: Text -> Int -> StringCellChar Text # index64 :: Text -> Int64 -> StringCellChar Text # genericIndex :: Integral i => Text -> i -> StringCellChar Text # take :: Int -> Text -> Text # take64 :: Int64 -> Text -> Text # genericTake :: Integral i => i -> Text -> Text # drop :: Int -> Text -> Text # drop64 :: Int64 -> Text -> Text # genericDrop :: Integral i => i -> Text -> Text # length :: Text -> Int # length64 :: Text -> Int64 # genericLength :: Integral i => Text -> i # safeUncons :: Text -> Maybe (StringCellChar Text, Text) # safeUnsnoc :: Text -> Maybe (Text, StringCellChar Text) # safeAltUncons :: Text -> Maybe (StringCellAltChar Text, Text) # safeAltUnsnoc :: Text -> Maybe (Text, StringCellAltChar Text) # safeHead :: Text -> Maybe (StringCellChar Text) # safeTail :: Text -> Maybe Text # safeLast :: Text -> Maybe (StringCellChar Text) # safeInit :: Text -> Maybe Text # safeAltHead :: Text -> Maybe (StringCellAltChar Text) # safeAltLast :: Text -> Maybe (StringCellAltChar Text) # safeIndex :: Text -> Int -> Maybe (StringCellChar Text) # safeIndex64 :: Text -> Int64 -> Maybe (StringCellChar Text) # safeGenericIndex :: Integral i => Text -> i -> Maybe (StringCellChar Text) # safeTake :: Int -> Text -> Maybe Text # safeTake64 :: Int64 -> Text -> Maybe Text # safeGenericTake :: Integral i => i -> Text -> Maybe Text # safeDrop :: Int -> Text -> Maybe Text # safeDrop64 :: Int64 -> Text -> Maybe Text # safeGenericDrop :: Integral i => i -> Text -> Maybe Text # safeUncons2 :: Text -> Maybe (StringCellChar Text, StringCellChar Text, Text) # safeUncons3 :: Text -> Maybe (StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) # safeUncons4 :: Text -> Maybe (StringCellChar Text, StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) # cons2 :: StringCellChar Text -> StringCellChar Text -> Text -> Text # cons3 :: StringCellChar Text -> StringCellChar Text -> StringCellChar Text -> Text -> Text # cons4 :: StringCellChar Text -> StringCellChar Text -> StringCellChar Text -> StringCellChar Text -> Text -> Text # uncons2 :: Text -> (StringCellChar Text, StringCellChar Text, Text) # uncons3 :: Text -> (StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) # uncons4 :: Text -> (StringCellChar Text, StringCellChar Text, StringCellChar Text, StringCellChar Text, Text) #
StringCells GenString #
Associated Types type StringCellChar GenString :: * # type StringCellAltChar GenString :: * # Methods toStringCells :: StringCells s2 => GenString -> s2 # fromStringCells :: StringCells s2 => s2 -> GenString # cons :: StringCellChar GenString -> GenString -> GenString # uncons :: GenString -> (StringCellChar GenString, GenString) # snoc :: GenString -> StringCellChar GenString -> GenString # unsnoc :: GenString -> (GenString, StringCellChar GenString) # altCons :: StringCellAltChar GenString -> GenString -> GenString # altUncons :: GenString -> (StringCellAltChar GenString, GenString) # altSnoc :: GenString -> StringCellAltChar GenString -> GenString # altUnsnoc :: GenString -> (GenString, StringCellAltChar GenString) # toMainChar :: StringCell c => c -> Tagged * GenString (StringCellChar GenString) # toAltChar :: StringCell c => c -> Tagged * GenString (StringCellAltChar GenString) # append :: GenString -> GenString -> GenString # concat :: [GenString] -> GenString # empty :: GenString # null :: GenString -> Bool # head :: GenString -> StringCellChar GenString # tail :: GenString -> GenString # last :: GenString -> StringCellChar GenString # init :: GenString -> GenString # altHead :: GenString -> StringCellAltChar GenString # altLast :: GenString -> StringCellAltChar GenString # unfoldr :: (a -> Maybe (StringCellChar GenString, a)) -> a -> GenString # altUnfoldr :: (a -> Maybe (StringCellAltChar GenString, a)) -> a -> GenString # unfoldrN :: Int -> (a -> Maybe (StringCellChar GenString, a)) -> a -> GenString # altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar GenString, a)) -> a -> GenString # unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar GenString, a)) -> a -> GenString # altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar GenString, a)) -> a -> GenString # index :: GenString -> Int -> StringCellChar GenString # index64 :: GenString -> Int64 -> StringCellChar GenString # genericIndex :: Integral i => GenString -> i -> StringCellChar GenString # take :: Int -> GenString -> GenString # take64 :: Int64 -> GenString -> GenString # genericTake :: Integral i => i -> GenString -> GenString # drop :: Int -> GenString -> GenString # drop64 :: Int64 -> GenString -> GenString # genericDrop :: Integral i => i -> GenString -> GenString # length :: GenString -> Int # length64 :: GenString -> Int64 # genericLength :: Integral i => GenString -> i # safeUncons :: GenString -> Maybe (StringCellChar GenString, GenString) # safeUnsnoc :: GenString -> Maybe (GenString, StringCellChar GenString) # safeAltUncons :: GenString -> Maybe (StringCellAltChar GenString, GenString) # safeAltUnsnoc :: GenString -> Maybe (GenString, StringCellAltChar GenString) # safeHead :: GenString -> Maybe (StringCellChar GenString) # safeTail :: GenString -> Maybe GenString # safeLast :: GenString -> Maybe (StringCellChar GenString) # safeInit :: GenString -> Maybe GenString # safeAltHead :: GenString -> Maybe (StringCellAltChar GenString) # safeAltLast :: GenString -> Maybe (StringCellAltChar GenString) # safeIndex :: GenString -> Int -> Maybe (StringCellChar GenString) # safeIndex64 :: GenString -> Int64 -> Maybe (StringCellChar GenString) # safeGenericIndex :: Integral i => GenString -> i -> Maybe (StringCellChar GenString) # safeTake :: Int -> GenString -> Maybe GenString # safeTake64 :: Int64 -> GenString -> Maybe GenString # safeGenericTake :: Integral i => i -> GenString -> Maybe GenString # safeDrop :: Int -> GenString -> Maybe GenString # safeDrop64 :: Int64 -> GenString -> Maybe GenString # safeGenericDrop :: Integral i => i -> GenString -> Maybe GenString # safeUncons2 :: GenString -> Maybe (StringCellChar GenString, StringCellChar GenString, GenString) # safeUncons3 :: GenString -> Maybe (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) # safeUncons4 :: GenString -> Maybe (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) # cons2 :: StringCellChar GenString -> StringCellChar GenString -> GenString -> GenString # cons3 :: StringCellChar GenString -> StringCellChar GenString -> StringCellChar GenString -> GenString -> GenString # cons4 :: StringCellChar GenString -> StringCellChar GenString -> StringCellChar GenString -> StringCellChar GenString -> GenString -> GenString # uncons2 :: GenString -> (StringCellChar GenString, StringCellChar GenString, GenString) # uncons3 :: GenString -> (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) # uncons4 :: GenString -> (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) #

class StringCell c where #

Minimal complete definition

toChar, toWord8, toWord16, toWord32, toWord64, fromChar, fromWord8, fromWord16, fromWord32, fromWord64

Methods

toChar :: c -> Char #

toWord8 :: c -> Word8 #

toWord16 :: c -> Word16 #

toWord32 :: c -> Word32 #

toWord64 :: c -> Word64 #

fromChar :: Char -> c #

fromWord8 :: Word8 -> c #

fromWord16 :: Word16 -> c #

fromWord32 :: Word32 -> c #

fromWord64 :: Word64 -> c #

Instances

StringCell Char #
Methods toChar :: Char -> Char # toWord8 :: Char -> Word8 # toWord16 :: Char -> Word16 # toWord32 :: Char -> Word32 # toWord64 :: Char -> Word64 # fromChar :: Char -> Char # fromWord8 :: Word8 -> Char # fromWord16 :: Word16 -> Char # fromWord32 :: Word32 -> Char # fromWord64 :: Word64 -> Char #
StringCell Word8 #
Methods toChar :: Word8 -> Char # toWord8 :: Word8 -> Word8 # toWord16 :: Word8 -> Word16 # toWord32 :: Word8 -> Word32 # toWord64 :: Word8 -> Word64 # fromChar :: Char -> Word8 # fromWord8 :: Word8 -> Word8 # fromWord16 :: Word16 -> Word8 # fromWord32 :: Word32 -> Word8 # fromWord64 :: Word64 -> Word8 #
StringCell Word16 #
Methods toChar :: Word16 -> Char # toWord8 :: Word16 -> Word8 # toWord16 :: Word16 -> Word16 # toWord32 :: Word16 -> Word32 # toWord64 :: Word16 -> Word64 # fromChar :: Char -> Word16 # fromWord8 :: Word8 -> Word16 # fromWord16 :: Word16 -> Word16 # fromWord32 :: Word32 -> Word16 # fromWord64 :: Word64 -> Word16 #
StringCell Word32 #
Methods toChar :: Word32 -> Char # toWord8 :: Word32 -> Word8 # toWord16 :: Word32 -> Word16 # toWord32 :: Word32 -> Word32 # toWord64 :: Word32 -> Word64 # fromChar :: Char -> Word32 # fromWord8 :: Word8 -> Word32 # fromWord16 :: Word16 -> Word32 # fromWord32 :: Word32 -> Word32 # fromWord64 :: Word64 -> Word32 #
StringCell Word64 #
Methods toChar :: Word64 -> Char # toWord8 :: Word64 -> Word8 # toWord16 :: Word64 -> Word16 # toWord32 :: Word64 -> Word32 # toWord64 :: Word64 -> Word64 # fromChar :: Char -> Word64 # fromWord8 :: Word8 -> Word64 # fromWord16 :: Word16 -> Word64 # fromWord32 :: Word32 -> Word64 # fromWord64 :: Word64 -> Word64 #

class StringRWIO s where #

Minimal complete definition: hGetContents, hGetLine, hPutStr, and hPutStrLn

Minimal complete definition

hGetContents, hGetLine, hPutStr, hPutStrLn

Methods

hGetContents :: Handle -> IO s #

Read n bytes *or* characters, depending on the implementation into a ByteString, directly from the specified Handle

Whether or not this function is lazy depends on the instance; laziness is preferred.

hGetLine :: Handle -> IO s #

Read a single line from a handle

hPutStr :: Handle -> s -> IO () #

Write a string to a handle

hPutStrLn :: Handle -> s -> IO () #

Write a string to a handle, followed by a newline

N.B.: implementations might not define this atomically. If the state of being atomic is necessary, one possible solution is to convert a string to an efficient type for which hPutStrLn is atomic.

interact :: (s -> s) -> IO () #

Take a function of type Text -> Text as its argument

The entire input from the standard input device is passed to this function as its argument, and the resulting string is output on the standard output device.

getContents :: IO s #

Read all user input on stdin as a single string

getLine :: IO s #

Read a single line of user input from stdin

putStr :: s -> IO () #

Write a string to stdout

putStrLn :: s -> IO () #

Write a string to stdout, followed by a newline

readFile :: FilePath -> IO s #

Read a file and returns the contents of the file as a string

Depending on the instance, this function might expect the file to be non-binary. The default definition uses openFile to open the file.

writeFile :: FilePath -> s -> IO () #

Write a string to a file

The file is truncated to zero length before writing begins. The default definition uses withFile to open the file.

appendFile :: FilePath -> s -> IO () #

Write a string to the end of a file

The default definition uses withFile to open the file.

Instances

StringRWIO String #	See 'System.IO for documentation of behaviour.
Methods hGetContents :: Handle -> IO String # hGetLine :: Handle -> IO String # hPutStr :: Handle -> String -> IO () # hPutStrLn :: Handle -> String -> IO () # interact :: (String -> String) -> IO () # getContents :: IO String # getLine :: IO String # putStr :: String -> IO () # putStrLn :: String -> IO () # readFile :: FilePath -> IO String # writeFile :: FilePath -> String -> IO () # appendFile :: FilePath -> String -> IO () #
StringRWIO ByteString #	See `Lazy` for documentation of behaviour. `hGetLine` and `getLine` are defined in terms of `toStringCells` and the equivalent methods of `ByteString`. `hPutStrLn` is defined non-atomically: it is defined as an action that puts the string and then separately puts a newline character string.
Methods hGetContents :: Handle -> IO ByteString # hGetLine :: Handle -> IO ByteString # hPutStr :: Handle -> ByteString -> IO () # hPutStrLn :: Handle -> ByteString -> IO () # interact :: (ByteString -> ByteString) -> IO () # getContents :: IO ByteString # getLine :: IO ByteString # putStr :: ByteString -> IO () # putStrLn :: ByteString -> IO () # readFile :: FilePath -> IO ByteString # writeFile :: FilePath -> ByteString -> IO () # appendFile :: FilePath -> ByteString -> IO () #
StringRWIO ByteString #	See `ByteString` for documentation of behaviour.
Methods hGetContents :: Handle -> IO ByteString # hGetLine :: Handle -> IO ByteString # hPutStr :: Handle -> ByteString -> IO () # hPutStrLn :: Handle -> ByteString -> IO () # interact :: (ByteString -> ByteString) -> IO () # getContents :: IO ByteString # getLine :: IO ByteString # putStr :: ByteString -> IO () # putStrLn :: ByteString -> IO () # readFile :: FilePath -> IO ByteString # writeFile :: FilePath -> ByteString -> IO () # appendFile :: FilePath -> ByteString -> IO () #
StringRWIO Text #	See `IO` for documentation of behaviour.
Methods hGetContents :: Handle -> IO Text # hGetLine :: Handle -> IO Text # hPutStr :: Handle -> Text -> IO () # hPutStrLn :: Handle -> Text -> IO () # interact :: (Text -> Text) -> IO () # getContents :: IO Text # getLine :: IO Text # putStr :: Text -> IO () # putStrLn :: Text -> IO () # readFile :: FilePath -> IO Text # writeFile :: FilePath -> Text -> IO () # appendFile :: FilePath -> Text -> IO () #
StringRWIO Text #	See `IO` for documentation of behaviour.
Methods hGetContents :: Handle -> IO Text # hGetLine :: Handle -> IO Text # hPutStr :: Handle -> Text -> IO () # hPutStrLn :: Handle -> Text -> IO () # interact :: (Text -> Text) -> IO () # getContents :: IO Text # getLine :: IO Text # putStr :: Text -> IO () # putStrLn :: Text -> IO () # readFile :: FilePath -> IO Text # writeFile :: FilePath -> Text -> IO () # appendFile :: FilePath -> Text -> IO () #
StringRWIO GenString #	This is minimally defined with `GenStringDefault`.
Methods hGetContents :: Handle -> IO GenString # hGetLine :: Handle -> IO GenString # hPutStr :: Handle -> GenString -> IO () # hPutStrLn :: Handle -> GenString -> IO () # interact :: (GenString -> GenString) -> IO () # getContents :: IO GenString # getLine :: IO GenString # putStr :: GenString -> IO () # putStrLn :: GenString -> IO () # readFile :: FilePath -> IO GenString # writeFile :: FilePath -> GenString -> IO () # appendFile :: FilePath -> GenString -> IO () #

class ConvGenString s where #

Minimal complete definition

toGenString, fromGenString

Methods

toGenString :: s -> GenString #

fromGenString :: GenString -> s #

Instances

ConvGenString String #
Methods toGenString :: String -> GenString # fromGenString :: GenString -> String #
ConvGenString ByteString #
Methods toGenString :: ByteString -> GenString # fromGenString :: GenString -> ByteString #
ConvGenString ByteString #
Methods toGenString :: ByteString -> GenString # fromGenString :: GenString -> ByteString #
ConvGenString Text #
Methods toGenString :: Text -> GenString # fromGenString :: GenString -> Text #
ConvGenString Text #
Methods toGenString :: Text -> GenString # fromGenString :: GenString -> Text #
ConvGenString GenString #
Methods toGenString :: GenString -> GenString # fromGenString :: GenString -> GenString #

class ConvString s where #

Minimal complete definition

toString, fromString

Methods

toString :: s -> String #

fromString :: String -> s #

Instances

ConvString String #
Methods toString :: String -> String # fromString :: String -> String #
ConvString ByteString #
Methods toString :: ByteString -> String # fromString :: String -> ByteString #
ConvString ByteString #
Methods toString :: ByteString -> String # fromString :: String -> ByteString #
ConvString Text #
Methods toString :: Text -> String # fromString :: String -> Text #
ConvString Text #
Methods toString :: Text -> String # fromString :: String -> Text #
ConvString GenString #
Methods toString :: GenString -> String # fromString :: String -> GenString #

class ConvStrictByteString s where #

Minimal complete definition

toStrictByteString, fromStrictByteString

Methods

toStrictByteString :: s -> ByteString #

fromStrictByteString :: ByteString -> s #

Instances

ConvStrictByteString String #
Methods toStrictByteString :: String -> ByteString # fromStrictByteString :: ByteString -> String #
ConvStrictByteString ByteString #
Methods toStrictByteString :: ByteString -> ByteString # fromStrictByteString :: ByteString -> ByteString #
ConvStrictByteString ByteString #
Methods toStrictByteString :: ByteString -> ByteString # fromStrictByteString :: ByteString -> ByteString #
ConvStrictByteString Text #
Methods toStrictByteString :: Text -> ByteString # fromStrictByteString :: ByteString -> Text #
ConvStrictByteString Text #
Methods toStrictByteString :: Text -> ByteString # fromStrictByteString :: ByteString -> Text #
ConvStrictByteString GenString #
Methods toStrictByteString :: GenString -> ByteString # fromStrictByteString :: ByteString -> GenString #

class ConvLazyByteString s where #

Minimal complete definition

toLazyByteString, fromLazyByteString

Methods

toLazyByteString :: s -> ByteString #

fromLazyByteString :: ByteString -> s #

Instances

ConvLazyByteString String #
Methods toLazyByteString :: String -> ByteString # fromLazyByteString :: ByteString -> String #
ConvLazyByteString ByteString #
Methods toLazyByteString :: ByteString -> ByteString # fromLazyByteString :: ByteString -> ByteString #
ConvLazyByteString ByteString #
Methods toLazyByteString :: ByteString -> ByteString # fromLazyByteString :: ByteString -> ByteString #
ConvLazyByteString Text #
Methods toLazyByteString :: Text -> ByteString # fromLazyByteString :: ByteString -> Text #
ConvLazyByteString Text #
Methods toLazyByteString :: Text -> ByteString # fromLazyByteString :: ByteString -> Text #
ConvLazyByteString GenString #
Methods toLazyByteString :: GenString -> ByteString # fromLazyByteString :: ByteString -> GenString #

class ConvText s where #

Minimal complete definition

toText, fromText

Methods

toText :: s -> Text #

fromText :: Text -> s #

Instances

ConvText String #
Methods toText :: String -> Text # fromText :: Text -> String #
ConvText ByteString #
Methods toText :: ByteString -> Text # fromText :: Text -> ByteString #
ConvText ByteString #
Methods toText :: ByteString -> Text # fromText :: Text -> ByteString #
ConvText Text #
Methods toText :: Text -> Text # fromText :: Text -> Text #
ConvText Text #
Methods toText :: Text -> Text # fromText :: Text -> Text #
ConvText GenString #
Methods toText :: GenString -> Text # fromText :: Text -> GenString #

data GenString #

Polymorphic container of a string

When operations take place on multiple GenStrings, they are first converted to the type GenStringDefault, which are lazy bytestrings, whenever absolutely necessary (which includes testing for equality, appending strings, concatenating lists of strings, empty strings with empty, and unfolding), making them the most efficient type for this polymorphic container.

Constructors

Stringy s => GenString
Fields gen_string :: s

Instances

Eq GenString #
Methods (==) :: GenString -> GenString -> Bool # (/=) :: GenString -> GenString -> Bool #
IsString GenString #
Methods fromString :: String -> GenString #
Monoid GenString #
Methods mempty :: GenString # mappend :: GenString -> GenString -> GenString # mconcat :: [GenString] -> GenString #
StringRWIO GenString #	This is minimally defined with `GenStringDefault`.
Methods hGetContents :: Handle -> IO GenString # hGetLine :: Handle -> IO GenString # hPutStr :: Handle -> GenString -> IO () # hPutStrLn :: Handle -> GenString -> IO () # interact :: (GenString -> GenString) -> IO () # getContents :: IO GenString # getLine :: IO GenString # putStr :: GenString -> IO () # putStrLn :: GenString -> IO () # readFile :: FilePath -> IO GenString # writeFile :: FilePath -> GenString -> IO () # appendFile :: FilePath -> GenString -> IO () #
ConvText GenString #
Methods toText :: GenString -> Text # fromText :: Text -> GenString #
ConvLazyByteString GenString #
Methods toLazyByteString :: GenString -> ByteString # fromLazyByteString :: ByteString -> GenString #
ConvStrictByteString GenString #
Methods toStrictByteString :: GenString -> ByteString # fromStrictByteString :: ByteString -> GenString #
ConvString GenString #
Methods toString :: GenString -> String # fromString :: String -> GenString #
ConvGenString GenString #
Methods toGenString :: GenString -> GenString # fromGenString :: GenString -> GenString #
StringCells GenString #
Associated Types type StringCellChar GenString :: * # type StringCellAltChar GenString :: * # Methods toStringCells :: StringCells s2 => GenString -> s2 # fromStringCells :: StringCells s2 => s2 -> GenString # cons :: StringCellChar GenString -> GenString -> GenString # uncons :: GenString -> (StringCellChar GenString, GenString) # snoc :: GenString -> StringCellChar GenString -> GenString # unsnoc :: GenString -> (GenString, StringCellChar GenString) # altCons :: StringCellAltChar GenString -> GenString -> GenString # altUncons :: GenString -> (StringCellAltChar GenString, GenString) # altSnoc :: GenString -> StringCellAltChar GenString -> GenString # altUnsnoc :: GenString -> (GenString, StringCellAltChar GenString) # toMainChar :: StringCell c => c -> Tagged * GenString (StringCellChar GenString) # toAltChar :: StringCell c => c -> Tagged * GenString (StringCellAltChar GenString) # append :: GenString -> GenString -> GenString # concat :: [GenString] -> GenString # empty :: GenString # null :: GenString -> Bool # head :: GenString -> StringCellChar GenString # tail :: GenString -> GenString # last :: GenString -> StringCellChar GenString # init :: GenString -> GenString # altHead :: GenString -> StringCellAltChar GenString # altLast :: GenString -> StringCellAltChar GenString # unfoldr :: (a -> Maybe (StringCellChar GenString, a)) -> a -> GenString # altUnfoldr :: (a -> Maybe (StringCellAltChar GenString, a)) -> a -> GenString # unfoldrN :: Int -> (a -> Maybe (StringCellChar GenString, a)) -> a -> GenString # altUnfoldrN :: Int -> (a -> Maybe (StringCellAltChar GenString, a)) -> a -> GenString # unfoldrN64 :: Int64 -> (a -> Maybe (StringCellChar GenString, a)) -> a -> GenString # altUnfoldrN64 :: Int64 -> (a -> Maybe (StringCellAltChar GenString, a)) -> a -> GenString # index :: GenString -> Int -> StringCellChar GenString # index64 :: GenString -> Int64 -> StringCellChar GenString # genericIndex :: Integral i => GenString -> i -> StringCellChar GenString # take :: Int -> GenString -> GenString # take64 :: Int64 -> GenString -> GenString # genericTake :: Integral i => i -> GenString -> GenString # drop :: Int -> GenString -> GenString # drop64 :: Int64 -> GenString -> GenString # genericDrop :: Integral i => i -> GenString -> GenString # length :: GenString -> Int # length64 :: GenString -> Int64 # genericLength :: Integral i => GenString -> i # safeUncons :: GenString -> Maybe (StringCellChar GenString, GenString) # safeUnsnoc :: GenString -> Maybe (GenString, StringCellChar GenString) # safeAltUncons :: GenString -> Maybe (StringCellAltChar GenString, GenString) # safeAltUnsnoc :: GenString -> Maybe (GenString, StringCellAltChar GenString) # safeHead :: GenString -> Maybe (StringCellChar GenString) # safeTail :: GenString -> Maybe GenString # safeLast :: GenString -> Maybe (StringCellChar GenString) # safeInit :: GenString -> Maybe GenString # safeAltHead :: GenString -> Maybe (StringCellAltChar GenString) # safeAltLast :: GenString -> Maybe (StringCellAltChar GenString) # safeIndex :: GenString -> Int -> Maybe (StringCellChar GenString) # safeIndex64 :: GenString -> Int64 -> Maybe (StringCellChar GenString) # safeGenericIndex :: Integral i => GenString -> i -> Maybe (StringCellChar GenString) # safeTake :: Int -> GenString -> Maybe GenString # safeTake64 :: Int64 -> GenString -> Maybe GenString # safeGenericTake :: Integral i => i -> GenString -> Maybe GenString # safeDrop :: Int -> GenString -> Maybe GenString # safeDrop64 :: Int64 -> GenString -> Maybe GenString # safeGenericDrop :: Integral i => i -> GenString -> Maybe GenString # safeUncons2 :: GenString -> Maybe (StringCellChar GenString, StringCellChar GenString, GenString) # safeUncons3 :: GenString -> Maybe (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) # safeUncons4 :: GenString -> Maybe (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) # cons2 :: StringCellChar GenString -> StringCellChar GenString -> GenString -> GenString # cons3 :: StringCellChar GenString -> StringCellChar GenString -> StringCellChar GenString -> GenString -> GenString # cons4 :: StringCellChar GenString -> StringCellChar GenString -> StringCellChar GenString -> StringCellChar GenString -> GenString -> GenString # uncons2 :: GenString -> (StringCellChar GenString, StringCellChar GenString, GenString) # uncons3 :: GenString -> (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) # uncons4 :: GenString -> (StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, StringCellChar GenString, GenString) #
type StringCellChar GenString #
type StringCellChar GenString = Char
type StringCellAltChar GenString #
type StringCellAltChar GenString = Word8

type GenStringDefault = ByteString #

This type is used by GenString when a concrete string type is needed