Data.Attoparsec.Unparse.Profunctor

Documentation

class Profunctor p => Attoparsec p where

Minimal complete definition

word8, anyWord8, satisfy, skip, peekWord8, peekWord8', peekWord8Class', unsafePeekWord8Class', string, skipWhile, take, scan, runScanner, takeWhile, takeWhile1, takeByteString, endOfInput, atEnd, assert, parseOrPrint

Methods

word8 :: Word8 -> p x Word8

anyWord8 :: p Word8 Word8

notWord8 :: Word8 -> p Word8 Word8

satisfy :: (Word8 -> Bool) -> p Word8 Word8

skip :: (Word8 -> Bool) -> p Word8 ()

peekWord8 :: p (Maybe Word8) (Maybe Word8)

peekWord8' :: p Word8 Word8

peekWord8Class' :: (Word8 -> Bool) -> p Bool Bool

Get the value of a predicate on the lookahead.

This extra method allows the unparser not to worry about knowing the exact value of a lookahead.

unsafePeekWord8Class' :: p (Class Word8) Word8

Get a representative of a character class a lookahead belongs to.

Care must be taken not to learn more about the resulting character than the class it belongs to.

string :: ByteString -> p x ByteString

skipWhile :: (Word8 -> Bool) -> p ByteString ()

take :: Int -> p ByteString ByteString

scan :: s -> (s -> Word8 -> Maybe s) -> p ByteString ByteString

runScanner :: s -> (s -> Word8 -> Maybe s) -> p ByteString (ByteString, s)

takeWhile :: (Word8 -> Bool) -> p ByteString ByteString

takeWhile1 :: (Word8 -> Bool) -> p ByteString ByteString

takeTill :: (Word8 -> Bool) -> p ByteString ByteString

takeByteString :: p ByteString ByteString

(<?>) :: p b a -> String -> p b a

endOfInput :: p x ()

atEnd :: p Bool Bool

assert :: String -> (x -> Bool) -> p x ()

As a parser, do nothing (return ()); as a printer, fail if the predicate is not satisfied, with the given error message.

parseOrPrint :: Parser a -> (a -> Printer' ()) -> p a a

Instances

Attoparsec Printer

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

word8 :: Word8 -> Printer x Word8

anyWord8 :: Printer Word8 Word8

notWord8 :: Word8 -> Printer Word8 Word8

satisfy :: (Word8 -> Bool) -> Printer Word8 Word8

skip :: (Word8 -> Bool) -> Printer Word8 ()

peekWord8 :: Printer (Maybe Word8) (Maybe Word8)

peekWord8' :: Printer Word8 Word8

peekWord8Class' :: (Word8 -> Bool) -> Printer Bool Bool

unsafePeekWord8Class' :: Printer (Class Word8) Word8

string :: ByteString -> Printer x ByteString

skipWhile :: (Word8 -> Bool) -> Printer ByteString ()

take :: Int -> Printer ByteString ByteString

scan :: s -> (s -> Word8 -> Maybe s) -> Printer ByteString ByteString

runScanner :: s -> (s -> Word8 -> Maybe s) -> Printer ByteString (ByteString, s)

takeWhile :: (Word8 -> Bool) -> Printer ByteString ByteString

takeWhile1 :: (Word8 -> Bool) -> Printer ByteString ByteString

takeTill :: (Word8 -> Bool) -> Printer ByteString ByteString

takeByteString :: Printer ByteString ByteString

(<?>) :: Printer b a -> String -> Printer b a

endOfInput :: Printer x ()

atEnd :: Printer Bool Bool

assert :: String -> (x -> Bool) -> Printer x ()

parseOrPrint :: Parser a -> (a -> Printer' ()) -> Printer a a

Attoparsec Parser

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

word8 :: Word8 -> Parser x Word8

anyWord8 :: Parser Word8 Word8

notWord8 :: Word8 -> Parser Word8 Word8

satisfy :: (Word8 -> Bool) -> Parser Word8 Word8

skip :: (Word8 -> Bool) -> Parser Word8 ()

peekWord8 :: Parser (Maybe Word8) (Maybe Word8)

peekWord8' :: Parser Word8 Word8

peekWord8Class' :: (Word8 -> Bool) -> Parser Bool Bool

unsafePeekWord8Class' :: Parser (Class Word8) Word8

string :: ByteString -> Parser x ByteString

skipWhile :: (Word8 -> Bool) -> Parser ByteString ()

take :: Int -> Parser ByteString ByteString

scan :: s -> (s -> Word8 -> Maybe s) -> Parser ByteString ByteString

runScanner :: s -> (s -> Word8 -> Maybe s) -> Parser ByteString (ByteString, s)

takeWhile :: (Word8 -> Bool) -> Parser ByteString ByteString

takeWhile1 :: (Word8 -> Bool) -> Parser ByteString ByteString

takeTill :: (Word8 -> Bool) -> Parser ByteString ByteString

takeByteString :: Parser ByteString ByteString

(<?>) :: Parser b a -> String -> Parser b a

endOfInput :: Parser x ()

atEnd :: Parser Bool Bool

assert :: String -> (x -> Bool) -> Parser x ()

parseOrPrint :: Parser0 a -> (a -> Printer' ()) -> Parser a a

defaultSkip :: (Attoparsec p, Functor (p Word8)) => (Word8 -> Bool) -> p Word8 ()

defaultScan :: (Attoparsec p, Functor (p ByteString)) => s -> (s -> Word8 -> Maybe s) -> p ByteString ByteString

data Class a

Constructors

Class (a -> Bool) a

singleton :: Eq a => a -> Class a

cosingleton :: Word8 -> Class Word8

digitsClass :: Class Word8

Parser

newtype Parser x a

Constructors

Parser

Fields

• runParser :: Parser a

Instances

Profunctor Parser

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

dimap :: (a -> b) -> (c -> d) -> Parser b c -> Parser a d

lmap :: (a -> b) -> Parser b c -> Parser a c

rmap :: (b -> c) -> Parser a b -> Parser a c

(#.) :: Coercible c b => q b c -> Parser a b -> Parser a c

(.#) :: Coercible b a => Parser b c -> q a b -> Parser a c

Attoparsec Parser

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

word8 :: Word8 -> Parser x Word8

anyWord8 :: Parser Word8 Word8

notWord8 :: Word8 -> Parser Word8 Word8

satisfy :: (Word8 -> Bool) -> Parser Word8 Word8

skip :: (Word8 -> Bool) -> Parser Word8 ()

peekWord8 :: Parser (Maybe Word8) (Maybe Word8)

peekWord8' :: Parser Word8 Word8

peekWord8Class' :: (Word8 -> Bool) -> Parser Bool Bool

unsafePeekWord8Class' :: Parser (Class Word8) Word8

string :: ByteString -> Parser x ByteString

skipWhile :: (Word8 -> Bool) -> Parser ByteString ()

take :: Int -> Parser ByteString ByteString

scan :: s -> (s -> Word8 -> Maybe s) -> Parser ByteString ByteString

runScanner :: s -> (s -> Word8 -> Maybe s) -> Parser ByteString (ByteString, s)

takeWhile :: (Word8 -> Bool) -> Parser ByteString ByteString

takeWhile1 :: (Word8 -> Bool) -> Parser ByteString ByteString

takeTill :: (Word8 -> Bool) -> Parser ByteString ByteString

takeByteString :: Parser ByteString ByteString

(<?>) :: Parser b a -> String -> Parser b a

endOfInput :: Parser x ()

atEnd :: Parser Bool Bool

assert :: String -> (x -> Bool) -> Parser x ()

parseOrPrint :: Parser0 a -> (a -> Printer' ()) -> Parser a a

Monad (Parser x)

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

(>>=) :: Parser x a -> (a -> Parser x b) -> Parser x b

(>>) :: Parser x a -> Parser x b -> Parser x b

return :: a -> Parser x a

fail :: String -> Parser x a

Functor (Parser x)

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

fmap :: (a -> b) -> Parser x a -> Parser x b

(<$) :: a -> Parser x b -> Parser x a

MonadFail (Parser x)

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

fail :: String -> Parser x a

Applicative (Parser x)

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

pure :: a -> Parser x a

(<*>) :: Parser x (a -> b) -> Parser x a -> Parser x b

liftA2 :: (a -> b -> c) -> Parser x a -> Parser x b -> Parser x c

(*>) :: Parser x a -> Parser x b -> Parser x b

(<*) :: Parser x a -> Parser x b -> Parser x a

Alternative (Parser x)

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

empty :: Parser x a

(<|>) :: Parser x a -> Parser x a -> Parser x a

some :: Parser x a -> Parser x [a]

many :: Parser x a -> Parser x [a]

MonadPlus (Parser x)

Defined in Data.Attoparsec.Unparse.Profunctor

Methods

mzero :: Parser x a

mplus :: Parser x a -> Parser x a -> Parser x a

type Parser' a = Parser a a

parse :: Parser x a -> ByteString -> Either String a