Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Helium.StaticAnalysis.Directives.TS_CoreSyntax
Documentation
data Core_Judgement Source
Instances
type Core_Judgements = [Core_Judgement] Source
data Core_TypingStrategy Source
Constructors
Siblings [String] | |
TypingStrategy [(String, Tp)] Core_TypeRule Core_UserStatements |
Instances
data Core_UserStatement Source
Instances
type Core_UserStatements = [Core_UserStatement] Source