helium-1.8.1: The Helium Compiler.

Safe HaskellSafe-Inferred
LanguageHaskell98

Helium.StaticAnalysis.Directives.TS_Syntax

Documentation

data Judgement Source

Constructors

Judgement_Judgement Expression Type 

data SimpleJudgement Source

Constructors

SimpleJudgement_SimpleJudgement Name Type 

type SimpleJudgements = [SimpleJudgement] Source

data TypeRule Source

Constructors

TypeRule_TypeRule SimpleJudgements Judgement 

type TypingStrategies = [TypingStrategy] Source

data TypingStrategy Source

Constructors

TypingStrategy_Siblings Names 
TypingStrategy_TypingStrategy TypeRule UserStatements 

data UserStatement Source

Constructors

UserStatement_Equal Type Type String 
UserStatement_Pred Name Type String 
UserStatement_MetaVariableConstraints Name 
UserStatement_Phase Int 

type UserStatements = [UserStatement] Source