Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Parser a
- data ParseResult a
- = Result Input a
- | Error ParseError
- data ParseError
- = UnexpectedEof
- | ExpectedEof Input
- | ErrorAt Text
- mkParser :: (Input -> ParseResult a) -> Parser a
- runParser :: Parser a -> Input -> Either [ParseError] a
- throwError :: MonadError e m => e -> m a
- andThen :: Parser Text -> Parser a -> Parser a
- exactly :: Parser a -> Parser a
- eof :: Parser ()
- lookAhead :: Parser a -> Parser a
- notFollowedBy :: Parser a -> Parser ()
- both :: Parser a -> Parser a -> Parser a
- choice :: Foldable f => f (Parser a) -> Parser a
- anyOf :: Foldable f => f (Parser a) -> Parser a
- allOf :: Foldable f => f (Parser a) -> Parser a
- anyChar :: Parser Char
- satisfy :: (a -> Bool) -> Parser a -> Parser a
- withTransform :: (forall b. Parser b -> Parser b) -> Parser a -> Parser a
- withError :: Text -> Parser a -> Parser a
- withErrorN :: Int -> Text -> Parser a -> Parser a
- except :: Parser a -> Parser a -> Parser a
Documentation
Instances
Alternative Parser Source # | |
Applicative Parser Source # | |
Functor Parser Source # | |
Monad Parser Source # | |
MonadPlus Parser Source # | |
MonadError ParseError Parser Source # | |
Defined in Bookhound.Parser throwError :: ParseError -> Parser a # catchError :: Parser a -> (ParseError -> Parser a) -> Parser a # | |
Monoid a => Monoid (Parser a) Source # | |
Semigroup a => Semigroup (Parser a) Source # | |
data ParseResult a Source #
Result Input a | |
Error ParseError |
Instances
Functor ParseResult Source # | |
Defined in Bookhound.Parser fmap :: (a -> b) -> ParseResult a -> ParseResult b # (<$) :: a -> ParseResult b -> ParseResult a # | |
Show a => Show (ParseResult a) Source # | |
Defined in Bookhound.Parser showsPrec :: Int -> ParseResult a -> ShowS # show :: ParseResult a -> String # showList :: [ParseResult a] -> ShowS # | |
Eq a => Eq (ParseResult a) Source # | |
Defined in Bookhound.Parser (==) :: ParseResult a -> ParseResult a -> Bool # (/=) :: ParseResult a -> ParseResult a -> Bool # |
data ParseError Source #
UnexpectedEof | |
ExpectedEof Input | |
ErrorAt Text |
Instances
Show ParseError Source # | |
Defined in Bookhound.Parser showsPrec :: Int -> ParseError -> ShowS # show :: ParseError -> String # showList :: [ParseError] -> ShowS # | |
Eq ParseError Source # | |
Defined in Bookhound.Parser (==) :: ParseError -> ParseError -> Bool # (/=) :: ParseError -> ParseError -> Bool # | |
Ord ParseError Source # | |
Defined in Bookhound.Parser compare :: ParseError -> ParseError -> Ordering # (<) :: ParseError -> ParseError -> Bool # (<=) :: ParseError -> ParseError -> Bool # (>) :: ParseError -> ParseError -> Bool # (>=) :: ParseError -> ParseError -> Bool # max :: ParseError -> ParseError -> ParseError # min :: ParseError -> ParseError -> ParseError # | |
MonadError ParseError Parser Source # | |
Defined in Bookhound.Parser throwError :: ParseError -> Parser a # catchError :: Parser a -> (ParseError -> Parser a) -> Parser a # |
mkParser :: (Input -> ParseResult a) -> Parser a Source #
throwError :: MonadError e m => e -> m a #
Is used within a monadic computation to begin exception processing.
notFollowedBy :: Parser a -> Parser () Source #