Helium.StaticAnalysis.Directives.TS_Apply

Documentation

applyTypingStrategy :: Core_TypingStrategy -> MetaVariableInfo -> MetaVariableTable -> Int -> (Assumptions, ConstraintSet, IO (), Int)

matchInformation :: ImportEnvironment -> Core_TypingStrategy -> [(Expression, [String])]

expressionParser :: OperatorTable -> String -> Expression

exactlyOnce :: Eq a => [a] -> [a]

type Core_TypingStrategies = [Core_TypingStrategy]

sem_Core_Judgement :: Core_Judgement -> T_Core_Judgement

type T_Core_Judgement = MetaVariableInfo -> MetaVariableTable -> MapSubstitution -> ([Int], [(String, Tp)])

data Inh_Core_Judgement

Constructors

Inh_Core_Judgement

Fields

infoTuple_Inh_Core_Judgement :: MetaVariableInfo

metaVariableTable_Inh_Core_Judgement :: MetaVariableTable

substitution_Inh_Core_Judgement :: MapSubstitution

data Syn_Core_Judgement

Constructors

Syn_Core_Judgement

Fields

ftv_Syn_Core_Judgement :: [Int]

judgements_Syn_Core_Judgement :: [(String, Tp)]

wrap_Core_Judgement :: T_Core_Judgement -> Inh_Core_Judgement -> Syn_Core_Judgement

sem_Core_Judgement_Judgement :: String -> Tp -> T_Core_Judgement

sem_Core_Judgements :: Core_Judgements -> T_Core_Judgements

type T_Core_Judgements = MetaVariableInfo -> MetaVariableTable -> MapSubstitution -> ([Int], [(String, Tp)])

data Inh_Core_Judgements

Constructors

Inh_Core_Judgements

Fields

infoTuple_Inh_Core_Judgements :: MetaVariableInfo

metaVariableTable_Inh_Core_Judgements :: MetaVariableTable

substitution_Inh_Core_Judgements :: MapSubstitution

data Syn_Core_Judgements

Constructors

Syn_Core_Judgements

Fields

ftv_Syn_Core_Judgements :: [Int]

judgements_Syn_Core_Judgements :: [(String, Tp)]

wrap_Core_Judgements :: T_Core_Judgements -> Inh_Core_Judgements -> Syn_Core_Judgements

sem_Core_Judgements_Cons :: T_Core_Judgement -> T_Core_Judgements -> T_Core_Judgements

sem_Core_Judgements_Nil :: T_Core_Judgements

sem_Core_TypeRule :: Core_TypeRule -> T_Core_TypeRule

type T_Core_TypeRule = MetaVariableInfo -> MetaVariableTable -> MapSubstitution -> (TypeConstraints ConstraintInfo, [Int], [(String, Tp)])

data Inh_Core_TypeRule

Constructors

Inh_Core_TypeRule

Fields

infoTuple_Inh_Core_TypeRule :: MetaVariableInfo

metaVariableTable_Inh_Core_TypeRule :: MetaVariableTable

substitution_Inh_Core_TypeRule :: MapSubstitution

data Syn_Core_TypeRule

Constructors

Syn_Core_TypeRule

Fields

constraints_Syn_Core_TypeRule :: TypeConstraints ConstraintInfo

ftv_Syn_Core_TypeRule :: [Int]

judgements_Syn_Core_TypeRule :: [(String, Tp)]

wrap_Core_TypeRule :: T_Core_TypeRule -> Inh_Core_TypeRule -> Syn_Core_TypeRule

sem_Core_TypeRule_TypeRule :: T_Core_Judgements -> T_Core_Judgement -> T_Core_TypeRule

sem_Core_TypingStrategy :: Core_TypingStrategy -> T_Core_TypingStrategy

type T_Core_TypingStrategy = MetaVariableInfo -> MetaVariableTable -> Int -> (Assumptions, ConstraintSet, IO (), Int)

data Inh_Core_TypingStrategy

Constructors

Inh_Core_TypingStrategy

Fields

infoTuple_Inh_Core_TypingStrategy :: MetaVariableInfo

metaVariableTable_Inh_Core_TypingStrategy :: MetaVariableTable

unique_Inh_Core_TypingStrategy :: Int

data Syn_Core_TypingStrategy

Constructors

Syn_Core_TypingStrategy

Fields

assumptions_Syn_Core_TypingStrategy :: Assumptions

constraintSet_Syn_Core_TypingStrategy :: ConstraintSet

debugIO_Syn_Core_TypingStrategy :: IO ()

unique_Syn_Core_TypingStrategy :: Int

wrap_Core_TypingStrategy :: T_Core_TypingStrategy -> Inh_Core_TypingStrategy -> Syn_Core_TypingStrategy

sem_Core_TypingStrategy_Siblings :: [String] -> T_Core_TypingStrategy

sem_Core_TypingStrategy_TypingStrategy :: [(String, Tp)] -> T_Core_TypeRule -> T_Core_UserStatements -> T_Core_TypingStrategy

sem_Core_UserStatement :: Core_UserStatement -> T_Core_UserStatement

type T_Core_UserStatement = Trees (TypeConstraint ConstraintInfo) -> Maybe Int -> (Int, Int) -> (Attribute -> MessageBlock) -> MetaVariableInfo -> MetaVariableTable -> [(String, Tree (TypeConstraint ConstraintInfo))] -> MapSubstitution -> (Trees (TypeConstraint ConstraintInfo), Maybe Int, (Int, Int), [Int], [(String, Tree (TypeConstraint ConstraintInfo))])

data Inh_Core_UserStatement

Constructors

Inh_Core_UserStatement

Fields

collectConstraints_Inh_Core_UserStatement :: Trees (TypeConstraint ConstraintInfo)

currentPhase_Inh_Core_UserStatement :: Maybe Int

currentPosition_Inh_Core_UserStatement :: (Int, Int)

fromAttribute_Inh_Core_UserStatement :: Attribute -> MessageBlock

infoTuple_Inh_Core_UserStatement :: MetaVariableInfo

metaVariableTable_Inh_Core_UserStatement :: MetaVariableTable

metavarConstraints_Inh_Core_UserStatement :: [(String, Tree (TypeConstraint ConstraintInfo))]

substitution_Inh_Core_UserStatement :: MapSubstitution

data Syn_Core_UserStatement

Constructors

Syn_Core_UserStatement

Fields

collectConstraints_Syn_Core_UserStatement :: Trees (TypeConstraint ConstraintInfo)

currentPhase_Syn_Core_UserStatement :: Maybe Int

currentPosition_Syn_Core_UserStatement :: (Int, Int)

ftv_Syn_Core_UserStatement :: [Int]

metavarConstraints_Syn_Core_UserStatement :: [(String, Tree (TypeConstraint ConstraintInfo))]

wrap_Core_UserStatement :: T_Core_UserStatement -> Inh_Core_UserStatement -> Syn_Core_UserStatement

sem_Core_UserStatement_Equal :: Tp -> Tp -> String -> T_Core_UserStatement

sem_Core_UserStatement_Pred :: String -> Tp -> String -> T_Core_UserStatement

sem_Core_UserStatement_MetaVariableConstraints :: String -> T_Core_UserStatement

sem_Core_UserStatement_CorePhase :: Int -> T_Core_UserStatement

sem_Core_UserStatements :: Core_UserStatements -> T_Core_UserStatements

type T_Core_UserStatements = Trees (TypeConstraint ConstraintInfo) -> Maybe Int -> (Int, Int) -> (Attribute -> MessageBlock) -> MetaVariableInfo -> MetaVariableTable -> [(String, Tree (TypeConstraint ConstraintInfo))] -> MapSubstitution -> (Trees (TypeConstraint ConstraintInfo), Maybe Int, (Int, Int), [Int], [(String, Tree (TypeConstraint ConstraintInfo))])

data Inh_Core_UserStatements

Constructors

Inh_Core_UserStatements

Fields

collectConstraints_Inh_Core_UserStatements :: Trees (TypeConstraint ConstraintInfo)

currentPhase_Inh_Core_UserStatements :: Maybe Int

currentPosition_Inh_Core_UserStatements :: (Int, Int)

fromAttribute_Inh_Core_UserStatements :: Attribute -> MessageBlock

infoTuple_Inh_Core_UserStatements :: MetaVariableInfo

metaVariableTable_Inh_Core_UserStatements :: MetaVariableTable

metavarConstraints_Inh_Core_UserStatements :: [(String, Tree (TypeConstraint ConstraintInfo))]

substitution_Inh_Core_UserStatements :: MapSubstitution

data Syn_Core_UserStatements

Constructors

Syn_Core_UserStatements

Fields

collectConstraints_Syn_Core_UserStatements :: Trees (TypeConstraint ConstraintInfo)

currentPhase_Syn_Core_UserStatements :: Maybe Int

currentPosition_Syn_Core_UserStatements :: (Int, Int)

ftv_Syn_Core_UserStatements :: [Int]

metavarConstraints_Syn_Core_UserStatements :: [(String, Tree (TypeConstraint ConstraintInfo))]

wrap_Core_UserStatements :: T_Core_UserStatements -> Inh_Core_UserStatements -> Syn_Core_UserStatements

sem_Core_UserStatements_Cons :: T_Core_UserStatement -> T_Core_UserStatements -> T_Core_UserStatements

sem_Core_UserStatements_Nil :: T_Core_UserStatements