Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Textual

Contents

Printing
Parsing
- Built-in parser

Description

Working with human-friendly (as opposed to the compiler-friendly Show and Read) textual representations.

Synopsis

class Printable α where
- print :: Printer p => α -> p
maybePrint :: (Printer p, Printable α) => Maybe α -> p
toString :: Printable α => α -> String
toText :: Printable α => α -> Text
toLazyText :: Printable α => α -> Text
toAscii :: Printable α => α -> ByteString
toLazyAscii :: Printable α => α -> ByteString
toUtf8 :: Printable α => α -> ByteString
toLazyUtf8 :: Printable α => α -> ByteString
class Printable α => Textual α where
- textual :: (Monad μ, CharParsing μ) => μ α
data Parsed α
- = Parsed α
- | Malformed [String] String
isParsed :: Parsed α -> Bool
isMalformed :: Parsed α -> Bool
maybeParsed :: Parsed α -> Maybe α
builtInParser :: (forall μ. (Monad μ, CharParsing μ) => μ α) -> String -> Parsed α
parseString :: Textual α => String -> Parsed α
parseStringAs :: Textual α => p α -> String -> Parsed α
parseText :: Textual α => Text -> Parsed α
parseTextAs :: Textual α => p α -> Text -> Parsed α
parseLazyText :: Textual α => Text -> Parsed α
parseLazyTextAs :: Textual α => p α -> Text -> Parsed α
parseAscii :: Textual α => ByteString -> Parsed α
parseAsciiAs :: Textual α => p α -> ByteString -> Parsed α
parseLazyAscii :: Textual α => ByteString -> Parsed α
parseLazyAsciiAs :: Textual α => ByteString -> Parsed α
parseUtf8 :: Textual α => ByteString -> Parsed α
parseUtf8As :: Textual α => p α -> ByteString -> Parsed α
parseLazyUtf8 :: Textual α => ByteString -> Parsed α
parseLazyUtf8As :: Textual α => p α -> ByteString -> Parsed α
fromString :: Textual α => String -> Maybe α
fromStringAs :: Textual α => p α -> String -> Maybe α
fromText :: Textual α => Text -> Maybe α
fromTextAs :: Textual α => p α -> Text -> Maybe α
fromLazyText :: Textual α => Text -> Maybe α
fromLazyTextAs :: Textual α => p α -> Text -> Maybe α
fromAscii :: Textual α => ByteString -> Maybe α
fromAsciiAs :: Textual α => p α -> ByteString -> Maybe α
fromLazyAscii :: Textual α => ByteString -> Maybe α
fromLazyAsciiAs :: Textual α => p α -> ByteString -> Maybe α
fromUtf8 :: Textual α => ByteString -> Maybe α
fromUtf8As :: Textual α => p α -> ByteString -> Maybe α
fromLazyUtf8 :: Textual α => ByteString -> Maybe α
fromLazyUtf8As :: Textual α => p α -> ByteString -> Maybe α

Printing

class Printable α where Source #

The default printer for values of a type.

Methods

print :: Printer p => α -> p Source #

Instances

Instances details

Printable Int16 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Int16 -> p Source #
Printable Int32 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Int32 -> p Source #
Printable Int64 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Int64 -> p Source #
Printable Int8 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Int8 -> p Source #
Printable Word16 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Word16 -> p Source #
Printable Word32 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Word32 -> p Source #
Printable Word64 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Word64 -> p Source #
Printable Word8 Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Word8 -> p Source #
Printable Text Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Text -> p Source #
Printable Text Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Text -> p Source #
Printable String Source #
Instance details Defined in Data.Textual Methods print :: Printer p => String -> p Source #
Printable Integer Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Integer -> p Source #
Printable Char Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Char -> p Source #
Printable Double Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Double -> p Source #
Printable Float Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Float -> p Source #
Printable Int Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Int -> p Source #
Printable Word Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Word -> p Source #
Integral α => Printable (Ratio α) Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Ratio α -> p Source #
HasResolution α => Printable (Fixed α) Source #
Instance details Defined in Data.Textual Methods print :: Printer p => Fixed α -> p Source #

maybePrint :: (Printer p, Printable α) => Maybe α -> p Source #

A shorthand for maybe mempty print.

toString :: Printable α => α -> String Source #

A shorthand for buildString . print.

toText :: Printable α => α -> Text Source #

A shorthand for buildText . print.

toLazyText :: Printable α => α -> Text Source #

A shorthand for buildLazyText . print.

toAscii :: Printable α => α -> ByteString Source #

A shorthand for buildAscii . print.

toLazyAscii :: Printable α => α -> ByteString Source #

A shorthand for buildLazyAscii . print.

toUtf8 :: Printable α => α -> ByteString Source #

A shorthand for buildUtf8 . print.

toLazyUtf8 :: Printable α => α -> ByteString Source #

A shorthand for buildLazyUtf8 . print.

Parsing

class Printable α => Textual α where Source #

The default parser for values of a type, must satisfy fromString (toString x) = Just x

Methods

textual :: (Monad μ, CharParsing μ) => μ α Source #

Instances

Instances details

Textual Int16 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Int16 Source #
Textual Int32 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Int32 Source #
Textual Int64 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Int64 Source #
Textual Int8 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Int8 Source #
Textual Word16 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Word16 Source #
Textual Word32 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Word32 Source #
Textual Word64 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Word64 Source #
Textual Word8 Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Word8 Source #
Textual Integer Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Integer Source #
Textual Char Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Char Source #
Textual Int Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Int Source #
Textual Word Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ Word Source #
Integral α => Textual (Ratio α) Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ (Ratio α) Source #
HasResolution α => Textual (Fixed α) Source #
Instance details Defined in Data.Textual Methods textual :: (Monad μ, CharParsing μ) => μ (Fixed α) Source #

Built-in parser

data Parsed α Source #

Parsing result.

Constructors

Parsed α
Malformed [String] String

Instances

Instances details

Foldable Parsed Source #
Instance details Defined in Data.Textual Methods fold :: Monoid m => Parsed m -> m # foldMap :: Monoid m => (a -> m) -> Parsed a -> m # foldMap' :: Monoid m => (a -> m) -> Parsed a -> m # foldr :: (a -> b -> b) -> b -> Parsed a -> b # foldr' :: (a -> b -> b) -> b -> Parsed a -> b # foldl :: (b -> a -> b) -> b -> Parsed a -> b # foldl' :: (b -> a -> b) -> b -> Parsed a -> b # foldr1 :: (a -> a -> a) -> Parsed a -> a # foldl1 :: (a -> a -> a) -> Parsed a -> a # toList :: Parsed a -> [a] # null :: Parsed a -> Bool # length :: Parsed a -> Int # elem :: Eq a => a -> Parsed a -> Bool # maximum :: Ord a => Parsed a -> a # minimum :: Ord a => Parsed a -> a # sum :: Num a => Parsed a -> a # product :: Num a => Parsed a -> a #
Traversable Parsed Source #
Instance details Defined in Data.Textual Methods traverse :: Applicative f => (a -> f b) -> Parsed a -> f (Parsed b) # sequenceA :: Applicative f => Parsed (f a) -> f (Parsed a) # mapM :: Monad m => (a -> m b) -> Parsed a -> m (Parsed b) # sequence :: Monad m => Parsed (m a) -> m (Parsed a) #
Alternative Parsed Source #
Instance details Defined in Data.Textual Methods empty :: Parsed a # (<\|>) :: Parsed a -> Parsed a -> Parsed a # some :: Parsed a -> Parsed [a] # many :: Parsed a -> Parsed [a] #
Applicative Parsed Source #
Instance details Defined in Data.Textual Methods pure :: a -> Parsed a # (<>) :: Parsed (a -> b) -> Parsed a -> Parsed b # liftA2 :: (a -> b -> c) -> Parsed a -> Parsed b -> Parsed c # (>) :: Parsed a -> Parsed b -> Parsed b # (<*) :: Parsed a -> Parsed b -> Parsed a #
Functor Parsed Source #
Instance details Defined in Data.Textual Methods fmap :: (a -> b) -> Parsed a -> Parsed b # (<$) :: a -> Parsed b -> Parsed a #
Show α => Show (Parsed α) Source #
Instance details Defined in Data.Textual Methods showsPrec :: Int -> Parsed α -> ShowS # show :: Parsed α -> String # showList :: [Parsed α] -> ShowS #
Eq α => Eq (Parsed α) Source #
Instance details Defined in Data.Textual Methods (==) :: Parsed α -> Parsed α -> Bool # (/=) :: Parsed α -> Parsed α -> Bool #