helium-1.8: The Helium Compiler.

Safe Haskell	None

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