Data.Attoparsec.Unparse.Printer

Documentation

type LazyByteString = ByteString

type Builder = Builder

type Printer' = StateT (TellAhead, Builder) (Either String)

data TellAhead

A streaming predicate on a ByteString, read character by character. Returns Nothing when it is no longer satisfied. TellTrue allows to simplify TellAhead values to keep a reduced complexity.

Constructors

Tell (Maybe Word8 -> Maybe TellAhead)

TellTrue

Instances

Semigroup TellAhead

Defined in Data.Attoparsec.Unparse.Printer

Methods

(<>) :: TellAhead -> TellAhead -> TellAhead

sconcat :: NonEmpty TellAhead -> TellAhead

stimes :: Integral b => b -> TellAhead -> TellAhead

Monoid TellAhead

Conjunction of predicates.

Defined in Data.Attoparsec.Unparse.Printer

Methods

mempty :: TellAhead

mappend :: TellAhead -> TellAhead -> TellAhead

mconcat :: [TellAhead] -> TellAhead

newtype Printer x a

Constructors

Printer

Fields

• runPrinter :: ReaderT x Printer' a

Instances

Profunctor Printer

Defined in Data.Attoparsec.Unparse.Printer

Methods

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

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

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

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

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

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

Monad (Printer x)

Defined in Data.Attoparsec.Unparse.Printer

Methods

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

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

return :: a -> Printer x a

fail :: String -> Printer x a

Functor (Printer x)

Defined in Data.Attoparsec.Unparse.Printer

Methods

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

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

MonadFail (Printer x)

Defined in Data.Attoparsec.Unparse.Printer

Methods

fail :: String -> Printer x a

Applicative (Printer x)

Defined in Data.Attoparsec.Unparse.Printer

Methods

pure :: a -> Printer x a

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

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

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

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

Alternative (Printer x)

Defined in Data.Attoparsec.Unparse.Printer

Methods

empty :: Printer x a

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

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

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

MonadPlus (Printer x)

Defined in Data.Attoparsec.Unparse.Printer

Methods

mzero :: Printer x a

mplus :: Printer x a -> Printer x a -> Printer x a

unparse :: Printer x a -> x -> Either String LazyByteString

unparse' :: Printer x a -> x -> Either String (LazyByteString, a)

star :: (x -> Printer' a) -> Printer x a

star' :: (a -> Printer' ()) -> Printer a a

tell :: (Maybe Word8 -> Bool) -> TellAhead

tellWord8 :: Word8 -> TellAhead

tellSatisfy :: (Word8 -> Bool) -> TellAhead

tellUnsatisfy :: (Word8 -> Bool) -> TellAhead

tellEof :: TellAhead

say :: TellAhead -> Printer' ()

see :: ByteString -> Printer' ()

seeLazyBS :: LazyByteString -> Printer' ()

seeWord8 :: Word8 -> Printer' ()

check :: Word8 -> Printer' ()

seeEof :: Printer' ()