helium-1.8: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Directives.TS_Parser

Description

(directives based on "Scripting the Type Inference Process", ICFP 2003)

Documentation

parseTypingStrategies :: OperatorTable -> String -> [Token] -> Either ParseError TypingStrategies Source

special :: GenParser (SourcePos, Lexeme) SourcePos Name Source

judgementToSimpleJudgement :: Judgement -> SimpleJudgement Source

showExpression :: Expression -> String Source