Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Expr
- type MonadPrettyPrint m = (MonadThrow m, MonadIO m)
- ppExpr :: MonadPrettyPrint m => Expr -> m String
- data ScopeUse
- data ParseState
- initParseState :: ParseState
- data ParseError
- handleParseError :: ParseError -> IO a
- type MonadParse m = (MonadState ParseState m, MonadThrow m, MonadIO m)
- runParse :: Text -> IO Expr
- runParserT :: StateT ParseState IO a -> IO a
- parseExpr :: MonadParse m => Text -> m Expr
- expr :: MonadParse m => [Lexeme] -> m Expr
- data Lexeme
- lex :: Parser [Lexeme]
- lambda :: Parser Lexeme
- arrow :: Parser Lexeme
- ident :: Parser Lexeme
- bracketed :: Parser Lexeme
Documentation
type MonadPrettyPrint m = (MonadThrow m, MonadIO m) Source #
data ParseState Source #
InsideLambda | ..-> |
Scope ScopeUse | (..) |
data ParseError Source #
handleParseError :: ParseError -> IO a Source #
type MonadParse m = (MonadState ParseState m, MonadThrow m, MonadIO m) Source #
runParserT :: StateT ParseState IO a -> IO a Source #
parseExpr :: MonadParse m => Text -> m Expr Source #