Safe Haskell	Safe-Inferred
Language	Haskell2010

ParseMonad

Synopsis

Documentation

Constructors

Instances details

Show AlexPosn Source #
Instance details Defined in ParseMonad Methods showsPrec :: Int -> AlexPosn -> ShowS # show :: AlexPosn -> String # showList :: [AlexPosn] -> ShowS #
Eq AlexPosn Source #
Instance details Defined in ParseMonad Methods (==) :: AlexPosn -> AlexPosn -> Bool # (/=) :: AlexPosn -> AlexPosn -> Bool #
Ord AlexPosn Source #
Instance details Defined in ParseMonad Methods compare :: AlexPosn -> AlexPosn -> Ordering # (<) :: AlexPosn -> AlexPosn -> Bool # (<=) :: AlexPosn -> AlexPosn -> Bool # (>) :: AlexPosn -> AlexPosn -> Bool # (>=) :: AlexPosn -> AlexPosn -> Bool # max :: AlexPosn -> AlexPosn -> AlexPosn # min :: AlexPosn -> AlexPosn -> AlexPosn #

Constructors

WarnNullableRExp
Fields _warnPos :: AlexPosn The position of the code following the regex. _warnText :: String Warning text.

Arguments

:: RExp	Regular expression.
-> AlexPosn	Position associated to regular expression.
-> P ()

Add a warning if given regular expression is nullable unless the user wrote the regex Eps.

data P a Source #

Instances details

Applicative P Source #
Instance details Defined in ParseMonad Methods pure :: a -> P a # (<>) :: P (a -> b) -> P a -> P b # liftA2 :: (a -> b -> c) -> P a -> P b -> P c # (>) :: P a -> P b -> P b # (<*) :: P a -> P b -> P a #
Functor P Source #
Instance details Defined in ParseMonad Methods fmap :: (a -> b) -> P a -> P b # (<$) :: a -> P b -> P a #
Monad P Source #
Instance details Defined in ParseMonad Methods (>>=) :: P a -> (a -> P b) -> P b # (>>) :: P a -> P b -> P b # return :: a -> P a #

Arguments

:: String	Input string.
-> (Map String CharSet, Map String RExp)	Character set and regex definitions.
-> P a	Parsing computation.
-> Either ParseError ([Warning], a)	List of warnings in first-to-last order, result.

Run the parser on given input.