HERMIT.ParserCore

Documentation

parseCore :: CoreString -> HermitC -> HermitM CoreExpr

parseCoreExprT :: CoreString -> TransformH a CoreExpr

Parse a CoreString to a CoreExpr, using the current context.

parse2beforeBiR :: (CoreExpr -> CoreExpr -> BiRewriteH a) -> CoreString -> CoreString -> BiRewriteH a

parse3beforeBiR :: (CoreExpr -> CoreExpr -> CoreExpr -> BiRewriteH a) -> CoreString -> CoreString -> CoreString -> BiRewriteH a

parse4beforeBiR :: (CoreExpr -> CoreExpr -> CoreExpr -> CoreExpr -> BiRewriteH a) -> CoreString -> CoreString -> CoreString -> CoreString -> BiRewriteH a

parse5beforeBiR :: (CoreExpr -> CoreExpr -> CoreExpr -> CoreExpr -> CoreExpr -> BiRewriteH a) -> CoreString -> CoreString -> CoreString -> CoreString -> CoreString -> BiRewriteH a

data Token

Constructors

Tforall

Trec

Tlet

Tin

Tcase

Tof

Tcast

Tnote

Texternal

Tlocal

Twild

Toparen

Tcparen

Tobrace

Tcbrace

Thash

Teq

Tcolon

Tcoloncolon

Tcoloneqcolon

Tstar

Tarrow

Tdoublearrow

Tlambda

Tat

Tdot

Tquestion

Tsemicolon

Tname String

Tcname String

Tinteger Integer

Trational Float

Tstring String

Tchar Char

Instances

Eq Token

Show Token

parseError :: Monad m => [Token] -> m a

lexer :: String -> Either String [Token]