Safe Haskell	None
Language	Haskell98

Helium.StaticAnalysis.Directives.TS_Apply

Documentation

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

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

expressionParser :: OperatorTable -> String -> Expression Source

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

type Core_TypingStrategies = [Core_TypingStrategy] Source

sem_Core_Judgement :: Core_Judgement -> T_Core_Judgement Source

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

data Inh_Core_Judgement Source

Constructors

Inh_Core_Judgement
Fields infoTuple_Inh_Core_Judgement :: MetaVariableInfo metaVariableTable_Inh_Core_Judgement :: MetaVariableTable substitution_Inh_Core_Judgement :: MapSubstitution

data Syn_Core_Judgement Source

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 Source

sem_Core_Judgement_Judgement :: String -> Tp -> T_Core_Judgement Source

sem_Core_Judgements :: Core_Judgements -> T_Core_Judgements Source

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

data Inh_Core_Judgements Source

Constructors

Inh_Core_Judgements
Fields infoTuple_Inh_Core_Judgements :: MetaVariableInfo metaVariableTable_Inh_Core_Judgements :: MetaVariableTable substitution_Inh_Core_Judgements :: MapSubstitution

data Syn_Core_Judgements Source

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 Source

sem_Core_Judgements_Cons :: T_Core_Judgement -> T_Core_Judgements -> T_Core_Judgements Source

sem_Core_Judgements_Nil :: T_Core_Judgements Source

sem_Core_TypeRule :: Core_TypeRule -> T_Core_TypeRule Source

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

data Inh_Core_TypeRule Source

Constructors

Inh_Core_TypeRule
Fields infoTuple_Inh_Core_TypeRule :: MetaVariableInfo metaVariableTable_Inh_Core_TypeRule :: MetaVariableTable substitution_Inh_Core_TypeRule :: MapSubstitution

data Syn_Core_TypeRule Source

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 Source

sem_Core_TypeRule_TypeRule :: T_Core_Judgements -> T_Core_Judgement -> T_Core_TypeRule Source

sem_Core_TypingStrategy :: Core_TypingStrategy -> T_Core_TypingStrategy Source

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

data Inh_Core_TypingStrategy Source

Constructors

Inh_Core_TypingStrategy
Fields infoTuple_Inh_Core_TypingStrategy :: MetaVariableInfo metaVariableTable_Inh_Core_TypingStrategy :: MetaVariableTable unique_Inh_Core_TypingStrategy :: Int

data Syn_Core_TypingStrategy Source

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 Source

sem_Core_TypingStrategy_Siblings :: [String] -> T_Core_TypingStrategy Source

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

sem_Core_UserStatement :: Core_UserStatement -> T_Core_UserStatement Source

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))]) Source

wrap_Core_UserStatement :: T_Core_UserStatement -> Inh_Core_UserStatement -> Syn_Core_UserStatement Source

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

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

sem_Core_UserStatement_MetaVariableConstraints :: String -> T_Core_UserStatement Source

sem_Core_UserStatement_CorePhase :: Int -> T_Core_UserStatement Source

sem_Core_UserStatements :: Core_UserStatements -> T_Core_UserStatements Source

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))]) Source

wrap_Core_UserStatements :: T_Core_UserStatements -> Inh_Core_UserStatements -> Syn_Core_UserStatements Source

sem_Core_UserStatements_Cons :: T_Core_UserStatement -> T_Core_UserStatements -> T_Core_UserStatements Source

sem_Core_UserStatements_Nil :: T_Core_UserStatements Source

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))]

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))]