helium-1.8.1: The Helium Compiler.

Safe HaskellSafe-Inferred
LanguageHaskell98

Helium.StaticAnalysis.Directives.TS_CoreSyntax

Documentation

type Core_TypingStrategies = [Core_TypingStrategy] Source

data Core_Judgement Source

Constructors

Judgement String Tp 

Instances

type Core_Judgements = [Core_Judgement] Source

data Core_TypeRule Source

Constructors

TypeRule Core_Judgements Core_Judgement 

Instances

data Core_TypingStrategy Source

Constructors

Siblings [String] 
TypingStrategy [(String, Tp)] Core_TypeRule Core_UserStatements 

Instances

data Core_UserStatement Source

Constructors

Equal Tp Tp String 
Pred String Tp String 
MetaVariableConstraints String 
CorePhase Int 

Instances

type Core_UserStatements = [Core_UserStatement] Source