universum-1.8.2.1: Custom prelude used in Serokell
Safe HaskellTrustworthy
LanguageHaskell2010

Universum.String.Conversion

Description

This module implements type class which allow to have conversion to and from Text, String and ByteString types (including both strict and lazy versions). Usually you need to export Text modules qualified and use pack / unpack functions to convert to/from Text. Now you can just use toText / toString functions.

Synopsis

Convenient type aliases

type LText = Text Source #

Type synonym for Text.

type LByteString = ByteString Source #

Type synonym for ByteString.

Conversion type classes

class ConvertUtf8 a b where Source #

Type class for conversion to utf8 representation of text.

Methods

encodeUtf8 :: a -> b Source #

Encode as utf8 string (usually ByteString).

>>> encodeUtf8 @Text @ByteString "патак"
"\208\191\208\176\209\130\208\176\208\186"

decodeUtf8 :: b -> a Source #

Decode from utf8 string.

>>> decodeUtf8 @Text @ByteString "\208\191\208\176\209\130\208\176\208\186"
"\1087\1072\1090\1072\1082"
>>> putStrLn $ decodeUtf8 @Text @ByteString "\208\191\208\176\209\130\208\176\208\186"
патак

decodeUtf8Strict :: b -> Either UnicodeException a Source #

Decode as utf8 string but returning execption if byte sequence is malformed.

>>> decodeUtf8 @Text @ByteString "\208\208\176\209\130\208\176\208\186"
"\65533\1072\1090\1072\1082"
>>> decodeUtf8Strict @Text @ByteString "\208\208\176\209\130\208\176\208\186"
Left Cannot decode byte '\xd0': Data.Text.Internal.Encoding.decodeUtf8: Invalid UTF-8 stream

Instances

Instances details
ConvertUtf8 Text ByteString Source # 
Instance details

Defined in Universum.String.Conversion

ConvertUtf8 Text ByteString Source # 
Instance details

Defined in Universum.String.Conversion

ConvertUtf8 Text ByteString Source # 
Instance details

Defined in Universum.String.Conversion

ConvertUtf8 Text ByteString Source # 
Instance details

Defined in Universum.String.Conversion

ConvertUtf8 String ByteString Source # 
Instance details

Defined in Universum.String.Conversion

ConvertUtf8 String ByteString Source # 
Instance details

Defined in Universum.String.Conversion

class ToString a where Source #

Type class for converting other strings to String.

Methods

toString :: a -> String Source #

Instances

Instances details
ToString Text Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toString :: Text -> String Source #

ToString Text Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toString :: Text -> String Source #

ToString String Source # 
Instance details

Defined in Universum.String.Conversion

class ToLText a where Source #

Type class for converting other strings to Text.

Methods

toLText :: a -> Text Source #

Instances

Instances details
ToLText Text Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toLText :: Text -> Text0 Source #

ToLText Text Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toLText :: Text -> Text Source #

ToLText String Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toLText :: String -> Text Source #

class ToText a where Source #

Type class for converting other strings to Text.

Methods

toText :: a -> Text Source #

Instances

Instances details
ToText Text Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toText :: Text -> Text Source #

ToText Text Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toText :: Text -> Text0 Source #

ToText String Source # 
Instance details

Defined in Universum.String.Conversion

Methods

toText :: String -> Text Source #

Show and read functions

readEither :: (ToString a, Read b) => a -> Either Text b Source #

Polymorhpic version of readEither.

>>> readEither @Text @Int "123"
Right 123
>>> readEither @Text @Int "aa"
Left "Prelude.read: no parse"

Since: 1.8.0

readMaybe :: forall b a. (ToString a, Read b) => a -> Maybe b Source #

Polymorhpic version of readMaybe.

>>> readMaybe @Int @Text "123"
Just 123
>>> readMaybe @Int @Text "aa"
Nothing

show :: forall b a. (Show a, IsString b) => a -> b Source #

Generalized version of show.