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

data Syn_Core_Judgement Source

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

data Syn_Core_Judgements Source

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

data Syn_Core_TypeRule Source

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

data Syn_Core_TypingStrategy Source

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

data Inh_Core_UserStatement Source

data Syn_Core_UserStatement 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

data Inh_Core_UserStatements Source

data Syn_Core_UserStatements 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