Safe Haskell	Safe
Language	Haskell2010

Data.Text.Through

Contents

Type classes
Double conversion
Types and type aliases
Provided for efficiency

Synopsis

class ToText a where
class FromText a where
throughText :: (ToText a, FromText b) => a -> b
type LazyByteString = ByteString
type LazyText = Text
type StrictByteString = ByteString
type StrictText = Text
data CI s
lazyByteStringToLazyText :: LazyByteString -> LazyText
lazyTextToLazyByteString :: LazyText -> LazyByteString

Type classes

class ToText a where #

Minimal complete definition

toText

Methods

toText :: a -> StrictText #

Instances

ToText StrictText #	The identity instance is used so `throughText` works even when converting to `StrictText`
Instance details Defined in Data.Text.Through Methods toText :: StrictText -> StrictText #
ToText StrictByteString #	Uses lenient decoding which replaces invalid characters with U+FFFD.
Instance details Defined in Data.Text.Through Methods toText :: StrictByteString -> StrictText #
ToText LazyText #
Instance details Defined in Data.Text.Through Methods toText :: LazyText -> StrictText #
ToText LazyByteString #	Uses lenient decoding which replaces invalid characters with U+FFFD.
Instance details Defined in Data.Text.Through Methods toText :: LazyByteString -> StrictText #
ToText [Char] #
Instance details Defined in Data.Text.Through Methods toText :: [Char] -> StrictText #
ToText a => ToText (CI a) #
Instance details Defined in Data.Text.Through Methods toText :: CI a -> StrictText #

class FromText a where #

Minimal complete definition

fromText

Methods

fromText :: StrictText -> a #

Instances

FromText StrictText #	The identity instance is used so `throughText` works even when converting to `StrictText`.
Instance details Defined in Data.Text.Through Methods fromText :: StrictText -> StrictText #
FromText StrictByteString #
Instance details Defined in Data.Text.Through Methods fromText :: StrictText -> StrictByteString #
FromText LazyText #
Instance details Defined in Data.Text.Through Methods fromText :: StrictText -> LazyText #
FromText LazyByteString #
Instance details Defined in Data.Text.Through Methods fromText :: StrictText -> LazyByteString #
FromText [Char] #
Instance details Defined in Data.Text.Through Methods fromText :: StrictText -> [Char] #
(FoldCase a, FromText a) => FromText (CI a) #
Instance details Defined in Data.Text.Through Methods fromText :: StrictText -> CI a #

Double conversion

throughText :: (ToText a, FromText b) => a -> b #

Convert between all textual types.

Types and type aliases

type LazyByteString = ByteString #

type LazyText = Text #

type StrictByteString = ByteString #

type StrictText = Text #

data CI s #

A CI s provides Case Insensitive comparison for the string-like type s (for example: String, Text, ByteString, etc.).

Note that CI s has an instance for IsString which together with the OverloadedStrings language extension allows you to write case insensitive string literals as in:

> ("Content-Type" :: CI Text) == ("CONTENT-TYPE" :: CI Text)
True

Instances

Eq s => Eq (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods (==) :: CI s -> CI s -> Bool # (/=) :: CI s -> CI s -> Bool #
Data s => Data (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CI s -> c (CI s) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CI s) # toConstr :: CI s -> Constr # dataTypeOf :: CI s -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CI s)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CI s)) # gmapT :: (forall b. Data b => b -> b) -> CI s -> CI s # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CI s -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CI s -> r # gmapQ :: (forall d. Data d => d -> u) -> CI s -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CI s -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CI s -> m (CI s) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CI s -> m (CI s) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CI s -> m (CI s) #
Ord s => Ord (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods compare :: CI s -> CI s -> Ordering # (<) :: CI s -> CI s -> Bool # (<=) :: CI s -> CI s -> Bool # (>) :: CI s -> CI s -> Bool # (>=) :: CI s -> CI s -> Bool # max :: CI s -> CI s -> CI s # min :: CI s -> CI s -> CI s #
(Read s, FoldCase s) => Read (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods readsPrec :: Int -> ReadS (CI s) # readList :: ReadS [CI s] # readPrec :: ReadPrec (CI s) # readListPrec :: ReadPrec [CI s] #
Show s => Show (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods showsPrec :: Int -> CI s -> ShowS # show :: CI s -> String # showList :: [CI s] -> ShowS #
(IsString s, FoldCase s) => IsString (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods fromString :: String -> CI s #
Semigroup s => Semigroup (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods (<>) :: CI s -> CI s -> CI s # sconcat :: NonEmpty (CI s) -> CI s # stimes :: Integral b => b -> CI s -> CI s #
Monoid s => Monoid (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods mempty :: CI s # mappend :: CI s -> CI s -> CI s # mconcat :: [CI s] -> CI s #
FoldCase (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods foldCase :: CI s -> CI s # foldCaseList :: [CI s] -> [CI s]
NFData s => NFData (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods rnf :: CI s -> () #
Hashable s => Hashable (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods hashWithSalt :: Int -> CI s -> Int # hash :: CI s -> Int #
(FoldCase a, FromText a) => FromText (CI a) #
Instance details Defined in Data.Text.Through Methods fromText :: StrictText -> CI a #
ToText a => ToText (CI a) #
Instance details Defined in Data.Text.Through Methods toText :: CI a -> StrictText #

Provided for efficiency

lazyByteStringToLazyText :: LazyByteString -> LazyText #

More efficient than throughText, replaces invalid characters with U+FFFD.

lazyTextToLazyByteString :: LazyText -> LazyByteString #

More efficient than throughText