Documentation.Haddock.Parser.Monad

Documentation

newtype Parser a

Constructors

Parser (StateT ParserState Parser a)

Instances

Monad Parser

Methods

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

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

return :: a -> Parser a

fail :: String -> Parser a

Functor Parser

Methods

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

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

Applicative Parser

Methods

pure :: a -> Parser a

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

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

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

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

Alternative Parser

Methods

empty :: Parser a

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

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

MonadPlus Parser

Methods

mzero :: Parser a

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

a ~ ByteString => IsString (Parser a)

Methods

fromString :: String -> Parser a

newtype ParserState

Constructors

ParserState

Fields

• parserStateSince :: Maybe Version

Instances

Eq ParserState

Methods

(==) :: ParserState -> ParserState -> Bool

(/=) :: ParserState -> ParserState -> Bool

Show ParserState

Methods

showsPrec :: Int -> ParserState -> ShowS

show :: ParserState -> String

showList :: [ParserState] -> ShowS

initialParserState :: ParserState

parseOnly :: Parser a -> ByteString -> Either String (ParserState, a)

lift :: Parser a -> Parser a

setParserState :: ParserState -> Parser ()

setSince :: Version -> Parser ()

char :: Char -> Parser Char

char8 :: Char -> Parser Word8

peekUnicode :: Parser (Char, Int)

Peek a unicode character and return the number of bytes that it took up

satisfyUnicode :: (Char -> Bool) -> Parser Char

Like satisfy, but consuming a unicode character

anyChar :: Parser Char

notChar :: Char -> Parser Char

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

peekChar :: Parser (Maybe Char)

peekChar' :: Parser Char

digit :: Parser Char

letter_iso8859_15 :: Parser Char

letter_ascii :: Parser Char

space :: Parser Char

string :: ByteString -> Parser ByteString

stringCI :: ByteString -> Parser ByteString

skipSpace :: Parser ()

skipWhile :: (Char -> Bool) -> Parser ()

take :: Int -> Parser ByteString

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

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

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

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

takeByteString :: Parser ByteString

takeLazyByteString :: Parser ByteString

endOfLine :: Parser ()

decimal :: Integral a => Parser a

hexadecimal :: (Integral a, Bits a) => Parser a

endOfInput :: Parser ()

atEnd :: Parser Bool

isDigit :: Char -> Bool

isDigit_w8 :: Word8 -> Bool

isAlpha_iso8859_15 :: Char -> Bool

isAlpha_ascii :: Char -> Bool

isSpace :: Char -> Bool

isSpace_w8 :: Word8 -> Bool

inClass :: String -> Char -> Bool

notInClass :: String -> Char -> Bool

isEndOfLine :: Word8 -> Bool

isHorizontalSpace :: Word8 -> Bool

choice :: Alternative f => [f a] -> f a

count :: Monad m => Int -> m a -> m [a]

option :: Alternative f => a -> f a -> f a

many' :: MonadPlus m => m a -> m [a]

many1 :: Alternative f => f a -> f [a]

many1' :: MonadPlus m => m a -> m [a]

manyTill :: Alternative f => f a -> f b -> f [a]

manyTill' :: MonadPlus m => m a -> m b -> m [a]

sepBy :: Alternative f => f a -> f s -> f [a]

sepBy' :: MonadPlus m => m a -> m s -> m [a]

sepBy1 :: Alternative f => f a -> f s -> f [a]

sepBy1' :: MonadPlus m => m a -> m s -> m [a]

skipMany :: Alternative f => f a -> f ()

skipMany1 :: Alternative f => f a -> f ()

eitherP :: Alternative f => f a -> f b -> f (Either a b)