Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
run :: (MonadAlpha m, MonadError Error m) => FilePath -> Text -> m Program Source #
parseProgram :: (MonadAlpha m, MonadError Error m) => String -> m Program Source #
parseExpr :: (MonadAlpha m, MonadError Error m) => String -> m Expr Source #
parseType :: (MonadAlpha m, MonadError Error m) => String -> m Type Source #