Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Helium.StaticAnalysis.Directives.TS_Syntax
Documentation
Constructors
Judgement_Judgement Expression Type |
data SimpleJudgement Source
Constructors
SimpleJudgement_SimpleJudgement Name Type |
type SimpleJudgements = [SimpleJudgement] Source
Constructors
TypeRule_TypeRule SimpleJudgements Judgement |
type TypingStrategies = [TypingStrategy] Source
data TypingStrategy Source
data UserStatement Source
type UserStatements = [UserStatement] Source