Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data ParseState = ParseState {
- inLambdaDec :: Bool
- isFreshScope :: Bool
- exprSoFar :: Maybe Expr
- initParseState :: ParseState
- runParse :: (Monad m, MonadError String m) => StateT ParseState m a -> m a
- parseExpr :: (MonadState ParseState m, MonadError String m) => [ExprTokens] -> m Expr
- makeExpr :: (Monad m, MonadError String m) => String -> m Expr
Documentation
data ParseState Source
ParseState | |
|
parseExpr :: (MonadState ParseState m, MonadError String m) => [ExprTokens] -> m Expr Source
Parser for expressions. Note - cannot parse EConc
or EText
constructors -
they are implicit, and not considered in evaluation.