LambdaCube.Compiler.Parser

Documentation

parseLC :: FileInfo -> Either ParseError Module

runDefParser :: (MonadFix m, MonadError LCParseError m) => DesugarInfo -> DefParser -> m ([Stmt], [ParseWarning], DesugarInfo)

data ParseWarning

Constructors

Unreachable Range

Uncovered SIName [PatList]

Instances

PShow ParseWarning

Methods

pShow :: ParseWarning -> Doc

data DesugarInfo

Instances

Monoid DesugarInfo

Methods

mempty :: DesugarInfo

mappend :: DesugarInfo -> DesugarInfo -> DesugarInfo

mconcat :: [DesugarInfo] -> DesugarInfo

type Module = Module_ DefParser