Safe Haskell	None
Language	Haskell2010

Data.String.Class

Synopsis

class (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
- type StringCellChar s
- type StringCellAltChar s
class StringCell c where
class StringRWIO s where
class ConvGenString s where
class ConvString s where
class ConvStrictByteString s where
class ConvLazyByteString s where
class ConvText s where
data GenString = Stringy s => GenString {
- gen_string :: s
}
type GenStringDefault = ByteString

Documentation

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

String super class

Instances

(StringCells s, StringRWIO s) => Stringy s #
Instance details Defined in Data.String.Class

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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class 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.
Instance details Defined in Data.String.Class 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.
Instance details Defined in Data.String.Class 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.
Instance details Defined in Data.String.Class 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.
Instance details Defined in Data.String.Class 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.
Instance details Defined in Data.String.Class 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`.
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class Methods toGenString :: String -> GenString # fromGenString :: GenString -> String #
ConvGenString ByteString #
Instance details Defined in Data.String.Class Methods toGenString :: ByteString -> GenString # fromGenString :: GenString -> ByteString #
ConvGenString ByteString #
Instance details Defined in Data.String.Class Methods toGenString :: ByteString -> GenString # fromGenString :: GenString -> ByteString #
ConvGenString Text #
Instance details Defined in Data.String.Class Methods toGenString :: Text -> GenString # fromGenString :: GenString -> Text #
ConvGenString Text #
Instance details Defined in Data.String.Class Methods toGenString :: Text -> GenString # fromGenString :: GenString -> Text #
ConvGenString GenString #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class Methods toString :: String -> String # fromString :: String -> String #
ConvString ByteString #
Instance details Defined in Data.String.Class Methods toString :: ByteString -> String # fromString :: String -> ByteString #
ConvString ByteString #
Instance details Defined in Data.String.Class Methods toString :: ByteString -> String # fromString :: String -> ByteString #
ConvString Text #
Instance details Defined in Data.String.Class Methods toString :: Text -> String # fromString :: String -> Text #
ConvString Text #
Instance details Defined in Data.String.Class Methods toString :: Text -> String # fromString :: String -> Text #
ConvString GenString #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class Methods toStrictByteString :: String -> ByteString # fromStrictByteString :: ByteString -> String #
ConvStrictByteString ByteString #
Instance details Defined in Data.String.Class Methods toStrictByteString :: ByteString -> ByteString0 # fromStrictByteString :: ByteString0 -> ByteString #
ConvStrictByteString ByteString #
Instance details Defined in Data.String.Class Methods toStrictByteString :: ByteString -> ByteString # fromStrictByteString :: ByteString -> ByteString #
ConvStrictByteString Text #
Instance details Defined in Data.String.Class Methods toStrictByteString :: Text -> ByteString # fromStrictByteString :: ByteString -> Text #
ConvStrictByteString Text #
Instance details Defined in Data.String.Class Methods toStrictByteString :: Text -> ByteString # fromStrictByteString :: ByteString -> Text #
ConvStrictByteString GenString #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class Methods toLazyByteString :: String -> ByteString # fromLazyByteString :: ByteString -> String #
ConvLazyByteString ByteString #
Instance details Defined in Data.String.Class Methods toLazyByteString :: ByteString -> ByteString # fromLazyByteString :: ByteString -> ByteString #
ConvLazyByteString ByteString #
Instance details Defined in Data.String.Class Methods toLazyByteString :: ByteString -> ByteString0 # fromLazyByteString :: ByteString0 -> ByteString #
ConvLazyByteString Text #
Instance details Defined in Data.String.Class Methods toLazyByteString :: Text -> ByteString # fromLazyByteString :: ByteString -> Text #
ConvLazyByteString Text #
Instance details Defined in Data.String.Class Methods toLazyByteString :: Text -> ByteString # fromLazyByteString :: ByteString -> Text #
ConvLazyByteString GenString #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class Methods toText :: String -> Text # fromText :: Text -> String #
ConvText ByteString #
Instance details Defined in Data.String.Class Methods toText :: ByteString -> Text # fromText :: Text -> ByteString #
ConvText ByteString #
Instance details Defined in Data.String.Class Methods toText :: ByteString -> Text # fromText :: Text -> ByteString #
ConvText Text #
Instance details Defined in Data.String.Class Methods toText :: Text -> Text0 # fromText :: Text0 -> Text #
ConvText Text #
Instance details Defined in Data.String.Class Methods toText :: Text -> Text # fromText :: Text -> Text #
ConvText GenString #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class Methods (==) :: GenString -> GenString -> Bool # (/=) :: GenString -> GenString -> Bool #
IsString GenString #
Instance details Defined in Data.String.Class Methods fromString :: String -> GenString #
Semigroup GenString #
Instance details Defined in Data.String.Class Methods (<>) :: GenString -> GenString -> GenString # sconcat :: NonEmpty GenString -> GenString # stimes :: Integral b => b -> GenString -> GenString #
Monoid GenString #
Instance details Defined in Data.String.Class Methods mempty :: GenString # mappend :: GenString -> GenString -> GenString # mconcat :: [GenString] -> GenString #
StringRWIO GenString #	This is minimally defined with `GenStringDefault`.
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class Methods toText :: GenString -> Text # fromText :: Text -> GenString #
ConvLazyByteString GenString #
Instance details Defined in Data.String.Class Methods toLazyByteString :: GenString -> ByteString # fromLazyByteString :: ByteString -> GenString #
ConvStrictByteString GenString #
Instance details Defined in Data.String.Class Methods toStrictByteString :: GenString -> ByteString # fromStrictByteString :: ByteString -> GenString #
ConvString GenString #
Instance details Defined in Data.String.Class Methods toString :: GenString -> String # fromString :: String -> GenString #
ConvGenString GenString #
Instance details Defined in Data.String.Class Methods toGenString :: GenString -> GenString # fromGenString :: GenString -> GenString #
StringCells GenString #
Instance details Defined in Data.String.Class 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 #
Instance details Defined in Data.String.Class type StringCellChar GenString = Char
type StringCellAltChar GenString #
Instance details Defined in Data.String.Class type StringCellAltChar GenString = Word8

type GenStringDefault = ByteString #

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