helium-1.8: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Inferencers.TypeInferencing

Documentation

typeInferencing :: [Option] -> ImportEnvironment -> Module -> (IO (), DictionaryEnvironment, TypeEnvironment, TypeErrors, Warnings) Source

proximaTypeInferencing :: [Option] -> ImportEnvironment -> Module -> (TypeErrors, Warnings, TypeEnvironment, [(Range, TpScheme)]) Source

getRequiredDictionaries :: OrderedTypeSynonyms -> Tp -> TpScheme -> Predicates Source

matchTypeWithScheme :: OrderedTypeSynonyms -> Tp -> TpScheme -> Predicates Source

resolveOverloading :: ClassEnvironment -> Name -> Predicates -> Predicates -> DictionaryEnvironment -> DictionaryEnvironment Source

expandPredicates :: OrderedTypeSynonyms -> Predicates -> Predicates Source

expandPredicate :: OrderedTypeSynonyms -> Predicate -> Predicate Source

findInferredTypes :: Map Int (Scheme Predicates) -> Map Name (Sigma Predicates) -> TypeEnvironment Source

missingTypeSignature :: Bool -> Names -> TypeEnvironment -> Warnings Source

restrictedNameErrors :: TypeEnvironment -> Names -> TypeErrors Source

makeLocalTypeEnv :: TypeEnvironment -> BindingGroups -> Map NameWithRange TpScheme Source

isSimplePattern :: Pattern -> Bool Source

globalInfoError :: a Source

type ScopeInfo = ([Names], [Name], [(Name, Name)]) Source

changeOfScope :: Names -> Names -> Names -> (Names, Names, ScopeInfo) Source

uniqueAppearance :: Ord a => [a] -> ([a], [[a]]) Source

nextUnique :: Num a => a -> (a, a) Source

matchConverter0 :: [([String], ())] -> () Source

matchConverter1 :: [([String], a)] -> [(a, [String])] Source

matchConverter2 :: [([String], (a, b))] -> ([(a, [String])], [(b, [String])]) Source

matchConverter3 :: [([String], (a, b, c))] -> ([(a, [String])], [(b, [String])], [(c, [String])]) Source

allMatch :: [Maybe [a]] -> Maybe [a] Source

data Match a Source

Constructors

NoMatch 
NonTerminalMatch a 
MetaVariableMatch String 

Instances

Show (Match a) 

expressionVariableMatcher :: Expression -> Maybe String Source

match0 :: MetaVariableInfo -> Int -> (Expression -> Maybe ()) -> [(Expression, [String])] -> [((Expression, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> ((), [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

match1 :: MetaVariableInfo -> Int -> (Expression -> Maybe a) -> [(Expression, [String])] -> [((Expression, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> ([(a, [String])], [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

match2 :: MetaVariableInfo -> Int -> (Expression -> Maybe (a, b)) -> [(Expression, [String])] -> [((Expression, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> (([(a, [String])], [(b, [String])]), [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

match3 :: MetaVariableInfo -> Int -> (Expression -> Maybe (a, b, c)) -> [(Expression, [String])] -> [((Expression, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> (([(a, [String])], [(b, [String])], [(c, [String])]), [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

match0' :: (a -> Maybe ()) -> [(a, [String])] -> [((a, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> ((), [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

match1' :: (a -> Maybe b) -> [(a, [String])] -> [((a, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> ([(b, [String])], [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

match2' :: (n -> Maybe (a, b)) -> [(n, [String])] -> [((n, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> (([(a, [String])], [(b, [String])]), [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

matchOnlyVariable :: MetaVariableInfo -> [(Expression, [String])] -> [Maybe MetaVariableTable] Source

noMatch :: a -> Maybe b Source

noMetaVariableInfo :: a Source

generalMatch :: (nonTerminal -> Maybe String) -> ([([String], childrenTuple)] -> childrenResult) -> MetaVariableInfo -> Int -> (nonTerminal -> Maybe childrenTuple) -> [(nonTerminal, [String])] -> [((nonTerminal, [String]), Core_TypingStrategy)] -> [[Maybe MetaVariableTable]] -> (childrenResult, [Maybe MetaVariableTable], ConstraintSet, Assumptions, Int, IO ()) Source

pmError :: String -> String -> a Source

expandTypeFromImportEnvironment :: ImportEnvironment -> Tp -> Tp Source

patternMatchWarnings :: Substitution substitution => ImportEnvironment -> substitution -> Tp -> (Tp -> Tps) -> [([PatternElement], Bool)] -> Range -> Maybe Name -> Bool -> [Warning] -> String -> String -> [Warning] Source

(|^|) :: (a -> Bool) -> (a -> Bool) -> a -> Bool Source

type Env = [(Tp, (Name, [Tp]))] Source

importEnvironmentToEnv :: ImportEnvironment -> [(Tp, (Name, [Tp]))] Source

nrOfArguments :: Env -> String -> Int Source

rearrange :: (Name, TpScheme) -> (Tp, (Name, [Tp])) Source

constructors :: ImportEnvironment -> Tp -> [(Name, [Tp])] Source

substitute :: Tp -> (Tp, (Name, [Tp])) -> [(Name, [Tp])] Source

data PatternElement Source

Constructors

WildcardElement 
InfiniteElement String 
FiniteElement String 

Instances

isInfiniteElement :: PatternElement -> Bool Source

elementString :: PatternElement -> String Source

listPat :: [[PatternElement]] -> [PatternElement] Source

stringPat :: String -> [PatternElement] Source

data PatternsMissing Source

Constructors

PatternsMissing [(PatternElement, PatternsMissing)] 

unMissing :: PatternsMissing -> [(PatternElement, PatternsMissing)] Source

wildMissing :: Int -> PatternsMissing Source

missingList :: PatternsMissing -> [[PatternElement]] Source

nicePattern :: Bool -> Env -> [PatternElement] -> [Pattern] Source

parensPattern :: Bool -> Pattern -> Pattern Source

complement :: ImportEnvironment -> [Tp] -> [[PatternElement]] -> PatternsMissing Source

unreachable :: ImportEnvironment -> [Tp] -> [([PatternElement], Int)] -> [Int] Source

reachable :: ImportEnvironment -> [Tp] -> [([PatternElement], Int)] -> [Int] Source

thin :: [PatternElement] -> [PatternElement] Source

data Inh_Alternative Source

Constructors

Inh_Alternative 

Fields

allPatterns_Inh_Alternative :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Alternative :: Map NameWithRange TpScheme
 
availablePredicates_Inh_Alternative :: Predicates
 
betaLeft_Inh_Alternative :: Tp
 
betaRight_Inh_Alternative :: Tp
 
betaUnique_Inh_Alternative :: Int
 
classEnvironment_Inh_Alternative :: ClassEnvironment
 
collectErrors_Inh_Alternative :: TypeErrors
 
collectWarnings_Inh_Alternative :: Warnings
 
counter_Inh_Alternative :: Int
 
currentChunk_Inh_Alternative :: Int
 
dictionaryEnvironment_Inh_Alternative :: DictionaryEnvironment
 
importEnvironment_Inh_Alternative :: ImportEnvironment
 
matchIO_Inh_Alternative :: IO ()
 
monos_Inh_Alternative :: Monos
 
namesInScope_Inh_Alternative :: Names
 
orderedTypeSynonyms_Inh_Alternative :: OrderedTypeSynonyms
 
parentTree_Inh_Alternative :: InfoTree
 
patternMatchWarnings_Inh_Alternative :: [Warning]
 
substitution_Inh_Alternative :: FixpointSubstitution
 
typeschemeMap_Inh_Alternative :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_Alternative :: Int
 

data Syn_Alternative Source

Constructors

Syn_Alternative 

Fields

assumptions_Syn_Alternative :: Assumptions
 
betaUnique_Syn_Alternative :: Int
 
collectErrors_Syn_Alternative :: TypeErrors
 
collectInstances_Syn_Alternative :: [(Name, Instance)]
 
collectWarnings_Syn_Alternative :: Warnings
 
constraints_Syn_Alternative :: ConstraintSet
 
counter_Syn_Alternative :: Int
 
dictionaryEnvironment_Syn_Alternative :: DictionaryEnvironment
 
elements_Syn_Alternative :: ([PatternElement], Bool)
 
infoTrees_Syn_Alternative :: InfoTrees
 
matchIO_Syn_Alternative :: IO ()
 
patternMatchWarnings_Syn_Alternative :: [Warning]
 
self_Syn_Alternative :: Alternative
 
unboundNames_Syn_Alternative :: Names
 
uniqueChunk_Syn_Alternative :: Int
 
unrwar_Syn_Alternative :: Warning
 

wrap_Alternative :: T_Alternative -> Inh_Alternative -> Syn_Alternative Source

sem_Alternative :: Alternative -> T_Alternative Source

newtype T_Alternative Source

Constructors

T_Alternative 

Fields

attach_T_Alternative :: Identity T_Alternative_s2
 

newtype T_Alternative_s2 Source

Constructors

C_Alternative_s2 

Fields

inv_Alternative_s2 :: T_Alternative_v1
 

data T_Alternative_s3 Source

Constructors

C_Alternative_s3 

type T_Alternative_v1 = T_Alternative_vIn1 -> T_Alternative_vOut1 Source

data T_Alternative_vIn1 Source

Constructors

T_Alternative_vIn1 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Tp Tp Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_Alternative_vOut1 Source

Constructors

T_Alternative_vOut1 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment ([PatternElement], Bool) InfoTrees (IO ()) [Warning] Alternative Names Int Warning 

sem_Alternative_Hole :: T_Range -> Integer -> T_Alternative Source

sem_Alternative_Feedback :: T_Range -> String -> T_Alternative -> T_Alternative Source

sem_Alternative_Alternative :: T_Range -> T_Pattern -> T_RightHandSide -> T_Alternative Source

sem_Alternative_Empty :: T_Range -> T_Alternative Source

data Inh_Alternatives Source

Constructors

Inh_Alternatives 

Fields

allPatterns_Inh_Alternatives :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Alternatives :: Map NameWithRange TpScheme
 
availablePredicates_Inh_Alternatives :: Predicates
 
betaLeft_Inh_Alternatives :: Tp
 
betaRight_Inh_Alternatives :: Tp
 
betaUnique_Inh_Alternatives :: Int
 
classEnvironment_Inh_Alternatives :: ClassEnvironment
 
collectErrors_Inh_Alternatives :: TypeErrors
 
collectWarnings_Inh_Alternatives :: Warnings
 
counter_Inh_Alternatives :: Int
 
currentChunk_Inh_Alternatives :: Int
 
dictionaryEnvironment_Inh_Alternatives :: DictionaryEnvironment
 
importEnvironment_Inh_Alternatives :: ImportEnvironment
 
matchIO_Inh_Alternatives :: IO ()
 
monos_Inh_Alternatives :: Monos
 
namesInScope_Inh_Alternatives :: Names
 
orderedTypeSynonyms_Inh_Alternatives :: OrderedTypeSynonyms
 
parentTree_Inh_Alternatives :: InfoTree
 
patternMatchWarnings_Inh_Alternatives :: [Warning]
 
substitution_Inh_Alternatives :: FixpointSubstitution
 
typeschemeMap_Inh_Alternatives :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_Alternatives :: Int
 

data Syn_Alternatives Source

Constructors

Syn_Alternatives 

Fields

assumptions_Syn_Alternatives :: Assumptions
 
betaUnique_Syn_Alternatives :: Int
 
collectErrors_Syn_Alternatives :: TypeErrors
 
collectInstances_Syn_Alternatives :: [(Name, Instance)]
 
collectWarnings_Syn_Alternatives :: Warnings
 
constraintslist_Syn_Alternatives :: ConstraintSets
 
counter_Syn_Alternatives :: Int
 
dictionaryEnvironment_Syn_Alternatives :: DictionaryEnvironment
 
elementss_Syn_Alternatives :: [([PatternElement], Bool)]
 
infoTrees_Syn_Alternatives :: InfoTrees
 
matchIO_Syn_Alternatives :: IO ()
 
patternMatchWarnings_Syn_Alternatives :: [Warning]
 
self_Syn_Alternatives :: Alternatives
 
unboundNames_Syn_Alternatives :: Names
 
uniqueChunk_Syn_Alternatives :: Int
 
unrwars_Syn_Alternatives :: [Warning]
 

wrap_Alternatives :: T_Alternatives -> Inh_Alternatives -> Syn_Alternatives Source

sem_Alternatives :: Alternatives -> T_Alternatives Source

newtype T_Alternatives Source

Constructors

T_Alternatives 

Fields

attach_T_Alternatives :: Identity T_Alternatives_s5
 

newtype T_Alternatives_s5 Source

Constructors

C_Alternatives_s5 

Fields

inv_Alternatives_s5 :: T_Alternatives_v4
 

data T_Alternatives_s6 Source

Constructors

C_Alternatives_s6 

type T_Alternatives_v4 = T_Alternatives_vIn4 -> T_Alternatives_vOut4 Source

data T_Alternatives_vIn4 Source

Constructors

T_Alternatives_vIn4 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Tp Tp Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_Alternatives_vOut4 Source

Constructors

T_Alternatives_vOut4 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSets Int DictionaryEnvironment [([PatternElement], Bool)] InfoTrees (IO ()) [Warning] Alternatives Names Int [Warning] 

sem_Alternatives_Cons :: T_Alternative -> T_Alternatives -> T_Alternatives Source

sem_Alternatives_Nil :: T_Alternatives Source

data Inh_AnnotatedType Source

Constructors

Inh_AnnotatedType 

Fields

counter_Inh_AnnotatedType :: Int
 
namesInScope_Inh_AnnotatedType :: Names
 

data Syn_AnnotatedType Source

Constructors

Syn_AnnotatedType 

Fields

counter_Syn_AnnotatedType :: Int
 
self_Syn_AnnotatedType :: AnnotatedType
 
unboundNames_Syn_AnnotatedType :: Names
 

wrap_AnnotatedType :: T_AnnotatedType -> Inh_AnnotatedType -> Syn_AnnotatedType Source

sem_AnnotatedType :: AnnotatedType -> T_AnnotatedType Source

newtype T_AnnotatedType Source

Constructors

T_AnnotatedType 

Fields

attach_T_AnnotatedType :: Identity T_AnnotatedType_s8
 

newtype T_AnnotatedType_s8 Source

Constructors

C_AnnotatedType_s8 

Fields

inv_AnnotatedType_s8 :: T_AnnotatedType_v7
 

data T_AnnotatedType_s9 Source

Constructors

C_AnnotatedType_s9 

type T_AnnotatedType_v7 = T_AnnotatedType_vIn7 -> T_AnnotatedType_vOut7 Source

data T_AnnotatedType_vIn7 Source

Constructors

T_AnnotatedType_vIn7 Int Names 

data T_AnnotatedType_vOut7 Source

Constructors

T_AnnotatedType_vOut7 Int AnnotatedType Names 

sem_AnnotatedType_AnnotatedType :: T_Range -> Bool -> T_Type -> T_AnnotatedType Source

data Inh_AnnotatedTypes Source

Constructors

Inh_AnnotatedTypes 

Fields

counter_Inh_AnnotatedTypes :: Int
 
namesInScope_Inh_AnnotatedTypes :: Names
 

data Syn_AnnotatedTypes Source

Constructors

Syn_AnnotatedTypes 

Fields

counter_Syn_AnnotatedTypes :: Int
 
self_Syn_AnnotatedTypes :: AnnotatedTypes
 
unboundNames_Syn_AnnotatedTypes :: Names
 

wrap_AnnotatedTypes :: T_AnnotatedTypes -> Inh_AnnotatedTypes -> Syn_AnnotatedTypes Source

sem_AnnotatedTypes :: AnnotatedTypes -> T_AnnotatedTypes Source

newtype T_AnnotatedTypes Source

Constructors

T_AnnotatedTypes 

Fields

attach_T_AnnotatedTypes :: Identity T_AnnotatedTypes_s11
 

newtype T_AnnotatedTypes_s11 Source

Constructors

C_AnnotatedTypes_s11 

Fields

inv_AnnotatedTypes_s11 :: T_AnnotatedTypes_v10
 

data T_AnnotatedTypes_s12 Source

Constructors

C_AnnotatedTypes_s12 

type T_AnnotatedTypes_v10 = T_AnnotatedTypes_vIn10 -> T_AnnotatedTypes_vOut10 Source

data T_AnnotatedTypes_vIn10 Source

Constructors

T_AnnotatedTypes_vIn10 Int Names 

data T_AnnotatedTypes_vOut10 Source

Constructors

T_AnnotatedTypes_vOut10 Int AnnotatedTypes Names 

sem_AnnotatedTypes_Cons :: T_AnnotatedType -> T_AnnotatedTypes -> T_AnnotatedTypes Source

sem_AnnotatedTypes_Nil :: T_AnnotatedTypes Source

data Inh_Body Source

Constructors

Inh_Body 

Fields

allPatterns_Inh_Body :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Body :: Map NameWithRange TpScheme
 
availablePredicates_Inh_Body :: Predicates
 
betaUnique_Inh_Body :: Int
 
classEnvironment_Inh_Body :: ClassEnvironment
 
collectErrors_Inh_Body :: TypeErrors
 
collectWarnings_Inh_Body :: Warnings
 
counter_Inh_Body :: Int
 
currentChunk_Inh_Body :: Int
 
dictionaryEnvironment_Inh_Body :: DictionaryEnvironment
 
importEnvironment_Inh_Body :: ImportEnvironment
 
matchIO_Inh_Body :: IO ()
 
monos_Inh_Body :: Monos
 
namesInScope_Inh_Body :: Names
 
orderedTypeSynonyms_Inh_Body :: OrderedTypeSynonyms
 
patternMatchWarnings_Inh_Body :: [Warning]
 
substitution_Inh_Body :: FixpointSubstitution
 
typeschemeMap_Inh_Body :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_Body :: Int
 

data Syn_Body Source

Constructors

Syn_Body 

Fields

assumptions_Syn_Body :: Assumptions
 
betaUnique_Syn_Body :: Int
 
collectErrors_Syn_Body :: TypeErrors
 
collectInstances_Syn_Body :: [(Name, Instance)]
 
collectWarnings_Syn_Body :: Warnings
 
constraints_Syn_Body :: ConstraintSet
 
counter_Syn_Body :: Int
 
declVarNames_Syn_Body :: Names
 
dictionaryEnvironment_Syn_Body :: DictionaryEnvironment
 
infoTree_Syn_Body :: InfoTree
 
matchIO_Syn_Body :: IO ()
 
patternMatchWarnings_Syn_Body :: [Warning]
 
self_Syn_Body :: Body
 
toplevelTypes_Syn_Body :: TypeEnvironment
 
unboundNames_Syn_Body :: Names
 
uniqueChunk_Syn_Body :: Int
 

wrap_Body :: T_Body -> Inh_Body -> Syn_Body Source

sem_Body :: Body -> T_Body Source

newtype T_Body Source

Constructors

T_Body 

Fields

attach_T_Body :: Identity T_Body_s14
 

newtype T_Body_s14 Source

Constructors

C_Body_s14 

Fields

inv_Body_s14 :: T_Body_v13
 

data T_Body_s15 Source

Constructors

C_Body_s15 

type T_Body_v13 = T_Body_vIn13 -> T_Body_vOut13 Source

data T_Body_vIn13 Source

Constructors

T_Body_vIn13 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_Body_vOut13 Source

Constructors

T_Body_vOut13 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int Names DictionaryEnvironment InfoTree (IO ()) [Warning] Body TypeEnvironment Names Int 

sem_Body_Hole :: T_Range -> Integer -> T_Body Source

sem_Body_Body :: T_Range -> T_ImportDeclarations -> T_Declarations -> T_Body Source

data Inh_Constructor Source

Constructors

Inh_Constructor 

Fields

counter_Inh_Constructor :: Int
 
namesInScope_Inh_Constructor :: Names
 

data Syn_Constructor Source

Constructors

Syn_Constructor 

Fields

counter_Syn_Constructor :: Int
 
self_Syn_Constructor :: Constructor
 
unboundNames_Syn_Constructor :: Names
 

wrap_Constructor :: T_Constructor -> Inh_Constructor -> Syn_Constructor Source

sem_Constructor :: Constructor -> T_Constructor Source

newtype T_Constructor Source

Constructors

T_Constructor 

Fields

attach_T_Constructor :: Identity T_Constructor_s17
 

newtype T_Constructor_s17 Source

Constructors

C_Constructor_s17 

Fields

inv_Constructor_s17 :: T_Constructor_v16
 

data T_Constructor_s18 Source

Constructors

C_Constructor_s18 

type T_Constructor_v16 = T_Constructor_vIn16 -> T_Constructor_vOut16 Source

data T_Constructor_vIn16 Source

Constructors

T_Constructor_vIn16 Int Names 

data T_Constructor_vOut16 Source

Constructors

T_Constructor_vOut16 Int Constructor Names 

sem_Constructor_Constructor :: T_Range -> T_Name -> T_AnnotatedTypes -> T_Constructor Source

sem_Constructor_Infix :: T_Range -> T_AnnotatedType -> T_Name -> T_AnnotatedType -> T_Constructor Source

sem_Constructor_Record :: T_Range -> T_Name -> T_FieldDeclarations -> T_Constructor Source

data Inh_Constructors Source

Constructors

Inh_Constructors 

Fields

counter_Inh_Constructors :: Int
 
namesInScope_Inh_Constructors :: Names
 

data Syn_Constructors Source

Constructors

Syn_Constructors 

Fields

counter_Syn_Constructors :: Int
 
self_Syn_Constructors :: Constructors
 
unboundNames_Syn_Constructors :: Names
 

wrap_Constructors :: T_Constructors -> Inh_Constructors -> Syn_Constructors Source

sem_Constructors :: Constructors -> T_Constructors Source

newtype T_Constructors Source

Constructors

T_Constructors 

Fields

attach_T_Constructors :: Identity T_Constructors_s20
 

newtype T_Constructors_s20 Source

Constructors

C_Constructors_s20 

Fields

inv_Constructors_s20 :: T_Constructors_v19
 

data T_Constructors_s21 Source

Constructors

C_Constructors_s21 

type T_Constructors_v19 = T_Constructors_vIn19 -> T_Constructors_vOut19 Source

data T_Constructors_vIn19 Source

Constructors

T_Constructors_vIn19 Int Names 

data T_Constructors_vOut19 Source

Constructors

T_Constructors_vOut19 Int Constructors Names 

sem_Constructors_Cons :: T_Constructor -> T_Constructors -> T_Constructors Source

sem_Constructors_Nil :: T_Constructors Source

data Inh_ContextItem Source

Constructors

Inh_ContextItem 

data Syn_ContextItem Source

Constructors

Syn_ContextItem 

Fields

self_Syn_ContextItem :: ContextItem
 

wrap_ContextItem :: T_ContextItem -> Inh_ContextItem -> Syn_ContextItem Source

sem_ContextItem :: ContextItem -> T_ContextItem Source

newtype T_ContextItem Source

Constructors

T_ContextItem 

Fields

attach_T_ContextItem :: Identity T_ContextItem_s23
 

newtype T_ContextItem_s23 Source

Constructors

C_ContextItem_s23 

Fields

inv_ContextItem_s23 :: T_ContextItem_v22
 

data T_ContextItem_s24 Source

Constructors

C_ContextItem_s24 

type T_ContextItem_v22 = T_ContextItem_vIn22 -> T_ContextItem_vOut22 Source

data T_ContextItem_vIn22 Source

Constructors

T_ContextItem_vIn22 

data T_ContextItem_vOut22 Source

Constructors

T_ContextItem_vOut22 ContextItem 

sem_ContextItem_ContextItem :: T_Range -> T_Name -> T_Types -> T_ContextItem Source

data Inh_ContextItems Source

Constructors

Inh_ContextItems 

data Syn_ContextItems Source

Constructors

Syn_ContextItems 

Fields

self_Syn_ContextItems :: ContextItems
 

wrap_ContextItems :: T_ContextItems -> Inh_ContextItems -> Syn_ContextItems Source

sem_ContextItems :: ContextItems -> T_ContextItems Source

newtype T_ContextItems Source

Constructors

T_ContextItems 

Fields

attach_T_ContextItems :: Identity T_ContextItems_s26
 

newtype T_ContextItems_s26 Source

Constructors

C_ContextItems_s26 

Fields

inv_ContextItems_s26 :: T_ContextItems_v25
 

data T_ContextItems_s27 Source

Constructors

C_ContextItems_s27 

type T_ContextItems_v25 = T_ContextItems_vIn25 -> T_ContextItems_vOut25 Source

data T_ContextItems_vIn25 Source

Constructors

T_ContextItems_vIn25 

data T_ContextItems_vOut25 Source

Constructors

T_ContextItems_vOut25 ContextItems 

sem_ContextItems_Cons :: T_ContextItem -> T_ContextItems -> T_ContextItems Source

sem_ContextItems_Nil :: T_ContextItems Source

data Inh_Declaration Source

Constructors

Inh_Declaration 

Fields

allPatterns_Inh_Declaration :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Declaration :: Map NameWithRange TpScheme
 
availablePredicates_Inh_Declaration :: Predicates
 
betaUnique_Inh_Declaration :: Int
 
bindingGroups_Inh_Declaration :: BindingGroups
 
classEnvironment_Inh_Declaration :: ClassEnvironment
 
collectErrors_Inh_Declaration :: TypeErrors
 
collectWarnings_Inh_Declaration :: Warnings
 
counter_Inh_Declaration :: Int
 
currentChunk_Inh_Declaration :: Int
 
dictionaryEnvironment_Inh_Declaration :: DictionaryEnvironment
 
importEnvironment_Inh_Declaration :: ImportEnvironment
 
inheritedBDG_Inh_Declaration :: InheritedBDG
 
matchIO_Inh_Declaration :: IO ()
 
monos_Inh_Declaration :: Monos
 
namesInScope_Inh_Declaration :: Names
 
orderedTypeSynonyms_Inh_Declaration :: OrderedTypeSynonyms
 
parentTree_Inh_Declaration :: InfoTree
 
patternMatchWarnings_Inh_Declaration :: [Warning]
 
substitution_Inh_Declaration :: FixpointSubstitution
 
typeSignatures_Inh_Declaration :: TypeEnvironment
 
typeschemeMap_Inh_Declaration :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_Declaration :: Int
 

data Syn_Declaration Source

Constructors

Syn_Declaration 

Fields

betaUnique_Syn_Declaration :: Int
 
bindingGroups_Syn_Declaration :: BindingGroups
 
collectErrors_Syn_Declaration :: TypeErrors
 
collectInstances_Syn_Declaration :: [(Name, Instance)]
 
collectWarnings_Syn_Declaration :: Warnings
 
counter_Syn_Declaration :: Int
 
declVarNames_Syn_Declaration :: Names
 
dictionaryEnvironment_Syn_Declaration :: DictionaryEnvironment
 
infoTrees_Syn_Declaration :: InfoTrees
 
matchIO_Syn_Declaration :: IO ()
 
patternMatchWarnings_Syn_Declaration :: [Warning]
 
restrictedNames_Syn_Declaration :: Names
 
self_Syn_Declaration :: Declaration
 
simplePatNames_Syn_Declaration :: Names
 
typeSignatures_Syn_Declaration :: TypeEnvironment
 
unboundNames_Syn_Declaration :: Names
 
uniqueChunk_Syn_Declaration :: Int
 

wrap_Declaration :: T_Declaration -> Inh_Declaration -> Syn_Declaration Source

sem_Declaration :: Declaration -> T_Declaration Source

newtype T_Declaration Source

Constructors

T_Declaration 

Fields

attach_T_Declaration :: Identity T_Declaration_s29
 

newtype T_Declaration_s29 Source

Constructors

C_Declaration_s29 

Fields

inv_Declaration_s29 :: T_Declaration_v28
 

data T_Declaration_s30 Source

Constructors

C_Declaration_s30 

type T_Declaration_v28 = T_Declaration_vIn28 -> T_Declaration_vOut28 Source

data T_Declaration_vIn28 Source

Constructors

T_Declaration_vIn28 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Int BindingGroups ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment InheritedBDG (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution TypeEnvironment (Map Int (Scheme Predicates)) Int 

data T_Declaration_vOut28 Source

Constructors

T_Declaration_vOut28 Int BindingGroups TypeErrors [(Name, Instance)] Warnings Int Names DictionaryEnvironment InfoTrees (IO ()) [Warning] Names Declaration Names TypeEnvironment Names Int 

sem_Declaration_Hole :: T_Range -> Integer -> T_Declaration Source

sem_Declaration_Type :: T_Range -> T_SimpleType -> T_Type -> T_Declaration Source

sem_Declaration_Data :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructors -> T_Names -> T_Declaration Source

sem_Declaration_Newtype :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructor -> T_Names -> T_Declaration Source

sem_Declaration_Class :: T_Range -> T_ContextItems -> T_SimpleType -> T_MaybeDeclarations -> T_Declaration Source

sem_Declaration_Instance :: T_Range -> T_ContextItems -> T_Name -> T_Types -> T_MaybeDeclarations -> T_Declaration Source

sem_Declaration_Default :: T_Range -> T_Types -> T_Declaration Source

sem_Declaration_FunctionBindings :: T_Range -> T_FunctionBindings -> T_Declaration Source

sem_Declaration_PatternBinding :: T_Range -> T_Pattern -> T_RightHandSide -> T_Declaration Source

sem_Declaration_TypeSignature :: T_Range -> T_Names -> T_Type -> T_Declaration Source

sem_Declaration_Fixity :: T_Range -> T_Fixity -> T_MaybeInt -> T_Names -> T_Declaration Source

sem_Declaration_Empty :: T_Range -> T_Declaration Source

data Inh_Declarations Source

Constructors

Inh_Declarations 

Fields

allPatterns_Inh_Declarations :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Declarations :: Map NameWithRange TpScheme
 
availablePredicates_Inh_Declarations :: Predicates
 
betaUnique_Inh_Declarations :: Int
 
bindingGroups_Inh_Declarations :: BindingGroups
 
classEnvironment_Inh_Declarations :: ClassEnvironment
 
collectErrors_Inh_Declarations :: TypeErrors
 
collectWarnings_Inh_Declarations :: Warnings
 
counter_Inh_Declarations :: Int
 
currentChunk_Inh_Declarations :: Int
 
dictionaryEnvironment_Inh_Declarations :: DictionaryEnvironment
 
importEnvironment_Inh_Declarations :: ImportEnvironment
 
inheritedBDG_Inh_Declarations :: InheritedBDG
 
matchIO_Inh_Declarations :: IO ()
 
monos_Inh_Declarations :: Monos
 
namesInScope_Inh_Declarations :: Names
 
orderedTypeSynonyms_Inh_Declarations :: OrderedTypeSynonyms
 
parentTree_Inh_Declarations :: InfoTree
 
patternMatchWarnings_Inh_Declarations :: [Warning]
 
substitution_Inh_Declarations :: FixpointSubstitution
 
typeSignatures_Inh_Declarations :: TypeEnvironment
 
typeschemeMap_Inh_Declarations :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_Declarations :: Int
 

data Syn_Declarations Source

Constructors

Syn_Declarations 

Fields

betaUnique_Syn_Declarations :: Int
 
bindingGroups_Syn_Declarations :: BindingGroups
 
collectErrors_Syn_Declarations :: TypeErrors
 
collectInstances_Syn_Declarations :: [(Name, Instance)]
 
collectWarnings_Syn_Declarations :: Warnings
 
counter_Syn_Declarations :: Int
 
declVarNames_Syn_Declarations :: Names
 
dictionaryEnvironment_Syn_Declarations :: DictionaryEnvironment
 
infoTrees_Syn_Declarations :: InfoTrees
 
matchIO_Syn_Declarations :: IO ()
 
patternMatchWarnings_Syn_Declarations :: [Warning]
 
restrictedNames_Syn_Declarations :: Names
 
self_Syn_Declarations :: Declarations
 
simplePatNames_Syn_Declarations :: Names
 
typeSignatures_Syn_Declarations :: TypeEnvironment
 
unboundNames_Syn_Declarations :: Names
 
uniqueChunk_Syn_Declarations :: Int
 

wrap_Declarations :: T_Declarations -> Inh_Declarations -> Syn_Declarations Source

sem_Declarations :: Declarations -> T_Declarations Source

newtype T_Declarations Source

Constructors

T_Declarations 

Fields

attach_T_Declarations :: Identity T_Declarations_s32
 

newtype T_Declarations_s32 Source

Constructors

C_Declarations_s32 

Fields

inv_Declarations_s32 :: T_Declarations_v31
 

data T_Declarations_s33 Source

Constructors

C_Declarations_s33 

type T_Declarations_v31 = T_Declarations_vIn31 -> T_Declarations_vOut31 Source

data T_Declarations_vIn31 Source

Constructors

T_Declarations_vIn31 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Int BindingGroups ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment InheritedBDG (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution TypeEnvironment (Map Int (Scheme Predicates)) Int 

data T_Declarations_vOut31 Source

Constructors

T_Declarations_vOut31 Int BindingGroups TypeErrors [(Name, Instance)] Warnings Int Names DictionaryEnvironment InfoTrees (IO ()) [Warning] Names Declarations Names TypeEnvironment Names Int 

sem_Declarations_Cons :: T_Declaration -> T_Declarations -> T_Declarations Source

sem_Declarations_Nil :: T_Declarations Source

data Inh_Export Source

Constructors

Inh_Export 

data Syn_Export Source

Constructors

Syn_Export 

Fields

self_Syn_Export :: Export
 

wrap_Export :: T_Export -> Inh_Export -> Syn_Export Source

sem_Export :: Export -> T_Export Source

newtype T_Export Source

Constructors

T_Export 

Fields

attach_T_Export :: Identity T_Export_s35
 

newtype T_Export_s35 Source

Constructors

C_Export_s35 

Fields

inv_Export_s35 :: T_Export_v34
 

data T_Export_s36 Source

Constructors

C_Export_s36 

type T_Export_v34 = T_Export_vIn34 -> T_Export_vOut34 Source

data T_Export_vIn34 Source

Constructors

T_Export_vIn34 

data T_Export_vOut34 Source

Constructors

T_Export_vOut34 Export 

sem_Export_Variable :: T_Range -> T_Name -> T_Export Source

sem_Export_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_Export Source

sem_Export_TypeOrClassComplete :: T_Range -> T_Name -> T_Export Source

sem_Export_Module :: T_Range -> T_Name -> T_Export Source

data Inh_Exports Source

Constructors

Inh_Exports 

data Syn_Exports Source

Constructors

Syn_Exports 

Fields

self_Syn_Exports :: Exports
 

wrap_Exports :: T_Exports -> Inh_Exports -> Syn_Exports Source

sem_Exports :: Exports -> T_Exports Source

newtype T_Exports Source

Constructors

T_Exports 

Fields

attach_T_Exports :: Identity T_Exports_s38
 

newtype T_Exports_s38 Source

Constructors

C_Exports_s38 

Fields

inv_Exports_s38 :: T_Exports_v37
 

data T_Exports_s39 Source

Constructors

C_Exports_s39 

type T_Exports_v37 = T_Exports_vIn37 -> T_Exports_vOut37 Source

data T_Exports_vIn37 Source

Constructors

T_Exports_vIn37 

data T_Exports_vOut37 Source

Constructors

T_Exports_vOut37 Exports 

sem_Exports_Cons :: T_Export -> T_Exports -> T_Exports Source

sem_Exports_Nil :: T_Exports Source

data Inh_Expression Source

Constructors

Inh_Expression 

Fields

allPatterns_Inh_Expression :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Expression :: Map NameWithRange TpScheme
 
availablePredicates_Inh_Expression :: Predicates
 
betaUnique_Inh_Expression :: Int
 
classEnvironment_Inh_Expression :: ClassEnvironment
 
collectErrors_Inh_Expression :: TypeErrors
 
collectWarnings_Inh_Expression :: Warnings
 
counter_Inh_Expression :: Int
 
currentChunk_Inh_Expression :: Int
 
dictionaryEnvironment_Inh_Expression :: DictionaryEnvironment
 
importEnvironment_Inh_Expression :: ImportEnvironment
 
matchIO_Inh_Expression :: IO ()
 
monos_Inh_Expression :: Monos
 
namesInScope_Inh_Expression :: Names
 
orderedTypeSynonyms_Inh_Expression :: OrderedTypeSynonyms
 
parentTree_Inh_Expression :: InfoTree
 
patternMatchWarnings_Inh_Expression :: [Warning]
 
substitution_Inh_Expression :: FixpointSubstitution
 
tryPatterns_Inh_Expression :: [(Expression, [String])]
 
typeschemeMap_Inh_Expression :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_Expression :: Int
 
uniqueSecondRound_Inh_Expression :: Int
 

data Syn_Expression Source

Constructors

Syn_Expression 

Fields

assumptions_Syn_Expression :: Assumptions
 
beta_Syn_Expression :: Tp
 
betaUnique_Syn_Expression :: Int
 
collectErrors_Syn_Expression :: TypeErrors
 
collectInstances_Syn_Expression :: [(Name, Instance)]
 
collectWarnings_Syn_Expression :: Warnings
 
constraints_Syn_Expression :: ConstraintSet
 
counter_Syn_Expression :: Int
 
dictionaryEnvironment_Syn_Expression :: DictionaryEnvironment
 
infoTree_Syn_Expression :: InfoTree
 
matchIO_Syn_Expression :: IO ()
 
matches_Syn_Expression :: [Maybe MetaVariableTable]
 
patternMatchWarnings_Syn_Expression :: [Warning]
 
self_Syn_Expression :: Expression
 
unboundNames_Syn_Expression :: Names
 
uniqueChunk_Syn_Expression :: Int
 
uniqueSecondRound_Syn_Expression :: Int
 

wrap_Expression :: T_Expression -> Inh_Expression -> Syn_Expression Source

sem_Expression :: Expression -> T_Expression Source

newtype T_Expression Source

Constructors

T_Expression 

Fields

attach_T_Expression :: Identity T_Expression_s41
 

newtype T_Expression_s41 Source

Constructors

C_Expression_s41 

Fields

inv_Expression_s41 :: T_Expression_v40
 

data T_Expression_s42 Source

Constructors

C_Expression_s42 

type T_Expression_v40 = T_Expression_vIn40 -> T_Expression_vOut40 Source

data T_Expression_vIn40 Source

Constructors

T_Expression_vIn40 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution [(Expression, [String])] (Map Int (Scheme Predicates)) Int Int 

data T_Expression_vOut40 Source

Constructors

T_Expression_vOut40 Assumptions Tp Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment InfoTree (IO ()) [Maybe MetaVariableTable] [Warning] Expression Names Int Int 

sem_Expression_Hole :: T_Range -> Integer -> T_Expression Source

sem_Expression_Feedback :: T_Range -> String -> T_Expression -> T_Expression Source

sem_Expression_MustUse :: T_Range -> T_Expression -> T_Expression Source

sem_Expression_Literal :: T_Range -> T_Literal -> T_Expression Source

sem_Expression_Variable :: T_Range -> T_Name -> T_Expression Source

sem_Expression_Constructor :: T_Range -> T_Name -> T_Expression Source

sem_Expression_Parenthesized :: T_Range -> T_Expression -> T_Expression Source

sem_Expression_NormalApplication :: T_Range -> T_Expression -> T_Expressions -> T_Expression Source

sem_Expression_InfixApplication :: T_Range -> T_MaybeExpression -> T_Expression -> T_MaybeExpression -> T_Expression Source

sem_Expression_If :: T_Range -> T_Expression -> T_Expression -> T_Expression -> T_Expression Source

sem_Expression_Lambda :: T_Range -> T_Patterns -> T_Expression -> T_Expression Source

sem_Expression_Case :: T_Range -> T_Expression -> T_Alternatives -> T_Expression Source

sem_Expression_Let :: T_Range -> T_Declarations -> T_Expression -> T_Expression Source

sem_Expression_Do :: T_Range -> T_Statements -> T_Expression Source

sem_Expression_List :: T_Range -> T_Expressions -> T_Expression Source

sem_Expression_Tuple :: T_Range -> T_Expressions -> T_Expression Source

sem_Expression_Comprehension :: T_Range -> T_Expression -> T_Qualifiers -> T_Expression Source

sem_Expression_Typed :: T_Range -> T_Expression -> T_Type -> T_Expression Source

sem_Expression_RecordConstruction :: T_Range -> T_Name -> T_RecordExpressionBindings -> T_Expression Source

sem_Expression_RecordUpdate :: T_Range -> T_Expression -> T_RecordExpressionBindings -> T_Expression Source

sem_Expression_Enum :: T_Range -> T_Expression -> T_MaybeExpression -> T_MaybeExpression -> T_Expression Source

sem_Expression_Negate :: T_Range -> T_Expression -> T_Expression Source

sem_Expression_NegateFloat :: T_Range -> T_Expression -> T_Expression Source

data Inh_Expressions Source

Constructors

Inh_Expressions 

Fields

allPatterns_Inh_Expressions :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Expressions :: Map NameWithRange TpScheme
 
availablePredicates_Inh_Expressions :: Predicates
 
betaUnique_Inh_Expressions :: Int
 
classEnvironment_Inh_Expressions :: ClassEnvironment
 
collectErrors_Inh_Expressions :: TypeErrors
 
collectWarnings_Inh_Expressions :: Warnings
 
counter_Inh_Expressions :: Int
 
currentChunk_Inh_Expressions :: Int
 
dictionaryEnvironment_Inh_Expressions :: DictionaryEnvironment
 
importEnvironment_Inh_Expressions :: ImportEnvironment
 
matchIO_Inh_Expressions :: IO ()
 
monos_Inh_Expressions :: Monos
 
namesInScope_Inh_Expressions :: Names
 
orderedTypeSynonyms_Inh_Expressions :: OrderedTypeSynonyms
 
parentTree_Inh_Expressions :: InfoTree
 
patternMatchWarnings_Inh_Expressions :: [Warning]
 
substitution_Inh_Expressions :: FixpointSubstitution
 
tryPatterns_Inh_Expressions :: [(Expressions, [String])]
 
typeschemeMap_Inh_Expressions :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_Expressions :: Int
 
uniqueSecondRound_Inh_Expressions :: Int
 

data Syn_Expressions Source

Constructors

Syn_Expressions 

Fields

assumptions_Syn_Expressions :: Assumptions
 
betaUnique_Syn_Expressions :: Int
 
betas_Syn_Expressions :: Tps
 
collectErrors_Syn_Expressions :: TypeErrors
 
collectInstances_Syn_Expressions :: [(Name, Instance)]
 
collectWarnings_Syn_Expressions :: Warnings
 
constraintslist_Syn_Expressions :: ConstraintSets
 
counter_Syn_Expressions :: Int
 
dictionaryEnvironment_Syn_Expressions :: DictionaryEnvironment
 
infoTrees_Syn_Expressions :: InfoTrees
 
matchIO_Syn_Expressions :: IO ()
 
matches_Syn_Expressions :: [Maybe MetaVariableTable]
 
patternMatchWarnings_Syn_Expressions :: [Warning]
 
self_Syn_Expressions :: Expressions
 
unboundNames_Syn_Expressions :: Names
 
uniqueChunk_Syn_Expressions :: Int
 
uniqueSecondRound_Syn_Expressions :: Int
 

wrap_Expressions :: T_Expressions -> Inh_Expressions -> Syn_Expressions Source

sem_Expressions :: Expressions -> T_Expressions Source

newtype T_Expressions Source

Constructors

T_Expressions 

Fields

attach_T_Expressions :: Identity T_Expressions_s44
 

newtype T_Expressions_s44 Source

Constructors

C_Expressions_s44 

Fields

inv_Expressions_s44 :: T_Expressions_v43
 

data T_Expressions_s45 Source

Constructors

C_Expressions_s45 

type T_Expressions_v43 = T_Expressions_vIn43 -> T_Expressions_vOut43 Source

data T_Expressions_vIn43 Source

Constructors

T_Expressions_vIn43 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution [(Expressions, [String])] (Map Int (Scheme Predicates)) Int Int 

data T_Expressions_vOut43 Source

Constructors

T_Expressions_vOut43 Assumptions Int Tps TypeErrors [(Name, Instance)] Warnings ConstraintSets Int DictionaryEnvironment InfoTrees (IO ()) [Maybe MetaVariableTable] [Warning] Expressions Names Int Int 

sem_Expressions_Cons :: T_Expression -> T_Expressions -> T_Expressions Source

sem_Expressions_Nil :: T_Expressions Source

data Inh_FieldDeclaration Source

Constructors

Inh_FieldDeclaration 

Fields

counter_Inh_FieldDeclaration :: Int
 
namesInScope_Inh_FieldDeclaration :: Names
 

data Syn_FieldDeclaration Source

Constructors

Syn_FieldDeclaration 

Fields

counter_Syn_FieldDeclaration :: Int
 
self_Syn_FieldDeclaration :: FieldDeclaration
 
unboundNames_Syn_FieldDeclaration :: Names
 

wrap_FieldDeclaration :: T_FieldDeclaration -> Inh_FieldDeclaration -> Syn_FieldDeclaration Source

sem_FieldDeclaration :: FieldDeclaration -> T_FieldDeclaration Source

newtype T_FieldDeclaration Source

Constructors

T_FieldDeclaration 

Fields

attach_T_FieldDeclaration :: Identity T_FieldDeclaration_s47
 

newtype T_FieldDeclaration_s47 Source

Constructors

C_FieldDeclaration_s47 

Fields

inv_FieldDeclaration_s47 :: T_FieldDeclaration_v46
 

data T_FieldDeclaration_s48 Source

Constructors

C_FieldDeclaration_s48 

type T_FieldDeclaration_v46 = T_FieldDeclaration_vIn46 -> T_FieldDeclaration_vOut46 Source

data T_FieldDeclaration_vIn46 Source

Constructors

T_FieldDeclaration_vIn46 Int Names 

data T_FieldDeclaration_vOut46 Source

Constructors

T_FieldDeclaration_vOut46 Int FieldDeclaration Names 

sem_FieldDeclaration_FieldDeclaration :: T_Range -> T_Names -> T_AnnotatedType -> T_FieldDeclaration Source

data Inh_FieldDeclarations Source

Constructors

Inh_FieldDeclarations 

Fields

counter_Inh_FieldDeclarations :: Int
 
namesInScope_Inh_FieldDeclarations :: Names
 

data Syn_FieldDeclarations Source

Constructors

Syn_FieldDeclarations 

Fields

counter_Syn_FieldDeclarations :: Int
 
self_Syn_FieldDeclarations :: FieldDeclarations
 
unboundNames_Syn_FieldDeclarations :: Names
 

wrap_FieldDeclarations :: T_FieldDeclarations -> Inh_FieldDeclarations -> Syn_FieldDeclarations Source

sem_FieldDeclarations :: FieldDeclarations -> T_FieldDeclarations Source

newtype T_FieldDeclarations Source

Constructors

T_FieldDeclarations 

Fields

attach_T_FieldDeclarations :: Identity T_FieldDeclarations_s50
 

newtype T_FieldDeclarations_s50 Source

Constructors

C_FieldDeclarations_s50 

Fields

inv_FieldDeclarations_s50 :: T_FieldDeclarations_v49
 

data T_FieldDeclarations_s51 Source

Constructors

C_FieldDeclarations_s51 

type T_FieldDeclarations_v49 = T_FieldDeclarations_vIn49 -> T_FieldDeclarations_vOut49 Source

data T_FieldDeclarations_vIn49 Source

Constructors

T_FieldDeclarations_vIn49 Int Names 

data T_FieldDeclarations_vOut49 Source

Constructors

T_FieldDeclarations_vOut49 Int FieldDeclarations Names 

sem_FieldDeclarations_Cons :: T_FieldDeclaration -> T_FieldDeclarations -> T_FieldDeclarations Source

sem_FieldDeclarations_Nil :: T_FieldDeclarations Source

data Inh_Fixity Source

Constructors

Inh_Fixity 

data Syn_Fixity Source

Constructors

Syn_Fixity 

Fields

self_Syn_Fixity :: Fixity
 

wrap_Fixity :: T_Fixity -> Inh_Fixity -> Syn_Fixity Source

sem_Fixity :: Fixity -> T_Fixity Source

newtype T_Fixity Source

Constructors

T_Fixity 

Fields

attach_T_Fixity :: Identity T_Fixity_s53
 

newtype T_Fixity_s53 Source

Constructors

C_Fixity_s53 

Fields

inv_Fixity_s53 :: T_Fixity_v52
 

data T_Fixity_s54 Source

Constructors

C_Fixity_s54 

type T_Fixity_v52 = T_Fixity_vIn52 -> T_Fixity_vOut52 Source

data T_Fixity_vIn52 Source

Constructors

T_Fixity_vIn52 

data T_Fixity_vOut52 Source

Constructors

T_Fixity_vOut52 Fixity 

sem_Fixity_Infixl :: T_Range -> T_Fixity Source

sem_Fixity_Infixr :: T_Range -> T_Fixity Source

sem_Fixity_Infix :: T_Range -> T_Fixity Source

data Inh_FunctionBinding Source

Constructors

Inh_FunctionBinding 

Fields

allPatterns_Inh_FunctionBinding :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_FunctionBinding :: Map NameWithRange TpScheme
 
availablePredicates_Inh_FunctionBinding :: Predicates
 
betaRight_Inh_FunctionBinding :: Tp
 
betaUnique_Inh_FunctionBinding :: Int
 
betasLeft_Inh_FunctionBinding :: Tps
 
classEnvironment_Inh_FunctionBinding :: ClassEnvironment
 
collectErrors_Inh_FunctionBinding :: TypeErrors
 
collectWarnings_Inh_FunctionBinding :: Warnings
 
counter_Inh_FunctionBinding :: Int
 
currentChunk_Inh_FunctionBinding :: Int
 
dictionaryEnvironment_Inh_FunctionBinding :: DictionaryEnvironment
 
importEnvironment_Inh_FunctionBinding :: ImportEnvironment
 
matchIO_Inh_FunctionBinding :: IO ()
 
monos_Inh_FunctionBinding :: Monos
 
namesInScope_Inh_FunctionBinding :: Names
 
orderedTypeSynonyms_Inh_FunctionBinding :: OrderedTypeSynonyms
 
parentTree_Inh_FunctionBinding :: InfoTree
 
patternMatchWarnings_Inh_FunctionBinding :: [Warning]
 
substitution_Inh_FunctionBinding :: FixpointSubstitution
 
typeschemeMap_Inh_FunctionBinding :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_FunctionBinding :: Int
 

data Syn_FunctionBinding Source

Constructors

Syn_FunctionBinding 

Fields

argcount_Syn_FunctionBinding :: Int
 
assumptions_Syn_FunctionBinding :: Assumptions
 
betaUnique_Syn_FunctionBinding :: Int
 
collectErrors_Syn_FunctionBinding :: TypeErrors
 
collectInstances_Syn_FunctionBinding :: [(Name, Instance)]
 
collectWarnings_Syn_FunctionBinding :: Warnings
 
constraints_Syn_FunctionBinding :: ConstraintSet
 
counter_Syn_FunctionBinding :: Int
 
dictionaryEnvironment_Syn_FunctionBinding :: DictionaryEnvironment
 
elements_Syn_FunctionBinding :: ([PatternElement], Bool)
 
infoTree_Syn_FunctionBinding :: InfoTree
 
matchIO_Syn_FunctionBinding :: IO ()
 
name_Syn_FunctionBinding :: Name
 
numberOfPatterns_Syn_FunctionBinding :: Int
 
patternMatchWarnings_Syn_FunctionBinding :: [Warning]
 
self_Syn_FunctionBinding :: FunctionBinding
 
unboundNames_Syn_FunctionBinding :: Names
 
uniqueChunk_Syn_FunctionBinding :: Int
 
unrwar_Syn_FunctionBinding :: Warning
 

wrap_FunctionBinding :: T_FunctionBinding -> Inh_FunctionBinding -> Syn_FunctionBinding Source

sem_FunctionBinding :: FunctionBinding -> T_FunctionBinding Source

newtype T_FunctionBinding Source

Constructors

T_FunctionBinding 

Fields

attach_T_FunctionBinding :: Identity T_FunctionBinding_s56
 

newtype T_FunctionBinding_s56 Source

Constructors

C_FunctionBinding_s56 

Fields

inv_FunctionBinding_s56 :: T_FunctionBinding_v55
 

data T_FunctionBinding_s57 Source

Constructors

C_FunctionBinding_s57 

type T_FunctionBinding_v55 = T_FunctionBinding_vIn55 -> T_FunctionBinding_vOut55 Source

data T_FunctionBinding_vIn55 Source

Constructors

T_FunctionBinding_vIn55 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Tp Int Tps ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_FunctionBinding_vOut55 Source

Constructors

T_FunctionBinding_vOut55 Int Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment ([PatternElement], Bool) InfoTree (IO ()) Name Int [Warning] FunctionBinding Names Int Warning 

sem_FunctionBinding_Hole :: T_Range -> Integer -> T_FunctionBinding Source

sem_FunctionBinding_Feedback :: T_Range -> String -> T_FunctionBinding -> T_FunctionBinding Source

sem_FunctionBinding_FunctionBinding :: T_Range -> T_LeftHandSide -> T_RightHandSide -> T_FunctionBinding Source

data Inh_FunctionBindings Source

Constructors

Inh_FunctionBindings 

Fields

allPatterns_Inh_FunctionBindings :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_FunctionBindings :: Map NameWithRange TpScheme
 
availablePredicates_Inh_FunctionBindings :: Predicates
 
betaRight_Inh_FunctionBindings :: Tp
 
betaUnique_Inh_FunctionBindings :: Int
 
betasLeft_Inh_FunctionBindings :: Tps
 
classEnvironment_Inh_FunctionBindings :: ClassEnvironment
 
collectErrors_Inh_FunctionBindings :: TypeErrors
 
collectWarnings_Inh_FunctionBindings :: Warnings
 
counter_Inh_FunctionBindings :: Int
 
currentChunk_Inh_FunctionBindings :: Int
 
dictionaryEnvironment_Inh_FunctionBindings :: DictionaryEnvironment
 
importEnvironment_Inh_FunctionBindings :: ImportEnvironment
 
matchIO_Inh_FunctionBindings :: IO ()
 
monos_Inh_FunctionBindings :: Monos
 
namesInScope_Inh_FunctionBindings :: Names
 
orderedTypeSynonyms_Inh_FunctionBindings :: OrderedTypeSynonyms
 
parentTree_Inh_FunctionBindings :: InfoTree
 
patternMatchWarnings_Inh_FunctionBindings :: [Warning]
 
substitution_Inh_FunctionBindings :: FixpointSubstitution
 
typeschemeMap_Inh_FunctionBindings :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_FunctionBindings :: Int
 

data Syn_FunctionBindings Source

Constructors

Syn_FunctionBindings 

Fields

argcount_Syn_FunctionBindings :: Int
 
assumptions_Syn_FunctionBindings :: Assumptions
 
betaUnique_Syn_FunctionBindings :: Int
 
collectErrors_Syn_FunctionBindings :: TypeErrors
 
collectInstances_Syn_FunctionBindings :: [(Name, Instance)]
 
collectWarnings_Syn_FunctionBindings :: Warnings
 
constraintslist_Syn_FunctionBindings :: ConstraintSets
 
counter_Syn_FunctionBindings :: Int
 
dictionaryEnvironment_Syn_FunctionBindings :: DictionaryEnvironment
 
elementss_Syn_FunctionBindings :: [([PatternElement], Bool)]
 
infoTrees_Syn_FunctionBindings :: InfoTrees
 
matchIO_Syn_FunctionBindings :: IO ()
 
name_Syn_FunctionBindings :: Name
 
numberOfPatterns_Syn_FunctionBindings :: Int
 
patternMatchWarnings_Syn_FunctionBindings :: [Warning]
 
self_Syn_FunctionBindings :: FunctionBindings
 
unboundNames_Syn_FunctionBindings :: Names
 
uniqueChunk_Syn_FunctionBindings :: Int
 
unrwars_Syn_FunctionBindings :: [Warning]
 

wrap_FunctionBindings :: T_FunctionBindings -> Inh_FunctionBindings -> Syn_FunctionBindings Source

sem_FunctionBindings :: FunctionBindings -> T_FunctionBindings Source

newtype T_FunctionBindings Source

Constructors

T_FunctionBindings 

Fields

attach_T_FunctionBindings :: Identity T_FunctionBindings_s59
 

newtype T_FunctionBindings_s59 Source

Constructors

C_FunctionBindings_s59 

Fields

inv_FunctionBindings_s59 :: T_FunctionBindings_v58
 

data T_FunctionBindings_s60 Source

Constructors

C_FunctionBindings_s60 

type T_FunctionBindings_v58 = T_FunctionBindings_vIn58 -> T_FunctionBindings_vOut58 Source

data T_FunctionBindings_vIn58 Source

Constructors

T_FunctionBindings_vIn58 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Tp Int Tps ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_FunctionBindings_vOut58 Source

Constructors

T_FunctionBindings_vOut58 Int Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSets Int DictionaryEnvironment [([PatternElement], Bool)] InfoTrees (IO ()) Name Int [Warning] FunctionBindings Names Int [Warning] 

sem_FunctionBindings_Cons :: T_FunctionBinding -> T_FunctionBindings -> T_FunctionBindings Source

sem_FunctionBindings_Nil :: T_FunctionBindings Source

data Inh_GuardedExpression Source

Constructors

Inh_GuardedExpression 

Fields

allPatterns_Inh_GuardedExpression :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_GuardedExpression :: Map NameWithRange TpScheme
 
availablePredicates_Inh_GuardedExpression :: Predicates
 
betaRight_Inh_GuardedExpression :: Tp
 
betaUnique_Inh_GuardedExpression :: Int
 
classEnvironment_Inh_GuardedExpression :: ClassEnvironment
 
collectErrors_Inh_GuardedExpression :: TypeErrors
 
collectWarnings_Inh_GuardedExpression :: Warnings
 
counter_Inh_GuardedExpression :: Int
 
currentChunk_Inh_GuardedExpression :: Int
 
dictionaryEnvironment_Inh_GuardedExpression :: DictionaryEnvironment
 
importEnvironment_Inh_GuardedExpression :: ImportEnvironment
 
matchIO_Inh_GuardedExpression :: IO ()
 
monos_Inh_GuardedExpression :: Monos
 
namesInScope_Inh_GuardedExpression :: Names
 
numberOfGuards_Inh_GuardedExpression :: Int
 
orderedTypeSynonyms_Inh_GuardedExpression :: OrderedTypeSynonyms
 
parentTree_Inh_GuardedExpression :: InfoTree
 
patternMatchWarnings_Inh_GuardedExpression :: [Warning]
 
substitution_Inh_GuardedExpression :: FixpointSubstitution
 
typeschemeMap_Inh_GuardedExpression :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_GuardedExpression :: Int
 
uniqueSecondRound_Inh_GuardedExpression :: Int
 

data Syn_GuardedExpression Source

Constructors

Syn_GuardedExpression 

Fields

assumptions_Syn_GuardedExpression :: Assumptions
 
betaUnique_Syn_GuardedExpression :: Int
 
collectErrors_Syn_GuardedExpression :: TypeErrors
 
collectInstances_Syn_GuardedExpression :: [(Name, Instance)]
 
collectWarnings_Syn_GuardedExpression :: Warnings
 
constraints_Syn_GuardedExpression :: ConstraintSet
 
counter_Syn_GuardedExpression :: Int
 
dictionaryEnvironment_Syn_GuardedExpression :: DictionaryEnvironment
 
fallthrough_Syn_GuardedExpression :: Bool
 
infoTrees_Syn_GuardedExpression :: InfoTrees
 
matchIO_Syn_GuardedExpression :: IO ()
 
patternMatchWarnings_Syn_GuardedExpression :: [Warning]
 
range_Syn_GuardedExpression :: Range
 
self_Syn_GuardedExpression :: GuardedExpression
 
unboundNames_Syn_GuardedExpression :: Names
 
uniqueChunk_Syn_GuardedExpression :: Int
 
uniqueSecondRound_Syn_GuardedExpression :: Int
 
unrwar_Syn_GuardedExpression :: Warning
 

wrap_GuardedExpression :: T_GuardedExpression -> Inh_GuardedExpression -> Syn_GuardedExpression Source

sem_GuardedExpression :: GuardedExpression -> T_GuardedExpression Source

newtype T_GuardedExpression Source

Constructors

T_GuardedExpression 

Fields

attach_T_GuardedExpression :: Identity T_GuardedExpression_s62
 

newtype T_GuardedExpression_s62 Source

Constructors

C_GuardedExpression_s62 

Fields

inv_GuardedExpression_s62 :: T_GuardedExpression_v61
 

data T_GuardedExpression_s63 Source

Constructors

C_GuardedExpression_s63 

type T_GuardedExpression_v61 = T_GuardedExpression_vIn61 -> T_GuardedExpression_vOut61 Source

data T_GuardedExpression_vIn61 Source

Constructors

T_GuardedExpression_vIn61 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Tp Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names Int OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int Int 

data T_GuardedExpression_vOut61 Source

Constructors

T_GuardedExpression_vOut61 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment Bool InfoTrees (IO ()) [Warning] Range GuardedExpression Names Int Int Warning 

sem_GuardedExpression_GuardedExpression :: T_Range -> T_Expression -> T_Expression -> T_GuardedExpression Source

data Inh_GuardedExpressions Source

Constructors

Inh_GuardedExpressions 

Fields

allPatterns_Inh_GuardedExpressions :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_GuardedExpressions :: Map NameWithRange TpScheme
 
availablePredicates_Inh_GuardedExpressions :: Predicates
 
betaRight_Inh_GuardedExpressions :: Tp
 
betaUnique_Inh_GuardedExpressions :: Int
 
classEnvironment_Inh_GuardedExpressions :: ClassEnvironment
 
collectErrors_Inh_GuardedExpressions :: TypeErrors
 
collectWarnings_Inh_GuardedExpressions :: Warnings
 
counter_Inh_GuardedExpressions :: Int
 
currentChunk_Inh_GuardedExpressions :: Int
 
dictionaryEnvironment_Inh_GuardedExpressions :: DictionaryEnvironment
 
importEnvironment_Inh_GuardedExpressions :: ImportEnvironment
 
matchIO_Inh_GuardedExpressions :: IO ()
 
monos_Inh_GuardedExpressions :: Monos
 
namesInScope_Inh_GuardedExpressions :: Names
 
numberOfGuards_Inh_GuardedExpressions :: Int
 
open_Inh_GuardedExpressions :: Bool
 
orderedTypeSynonyms_Inh_GuardedExpressions :: OrderedTypeSynonyms
 
parentTree_Inh_GuardedExpressions :: InfoTree
 
patternMatchWarnings_Inh_GuardedExpressions :: [Warning]
 
substitution_Inh_GuardedExpressions :: FixpointSubstitution
 
typeschemeMap_Inh_GuardedExpressions :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_GuardedExpressions :: Int
 
uniqueSecondRound_Inh_GuardedExpressions :: Int
 

data Syn_GuardedExpressions Source

Constructors

Syn_GuardedExpressions 

Fields

assumptions_Syn_GuardedExpressions :: Assumptions
 
betaUnique_Syn_GuardedExpressions :: Int
 
collectErrors_Syn_GuardedExpressions :: TypeErrors
 
collectInstances_Syn_GuardedExpressions :: [(Name, Instance)]
 
collectWarnings_Syn_GuardedExpressions :: Warnings
 
constraintslist_Syn_GuardedExpressions :: ConstraintSets
 
counter_Syn_GuardedExpressions :: Int
 
dictionaryEnvironment_Syn_GuardedExpressions :: DictionaryEnvironment
 
fallthrough_Syn_GuardedExpressions :: Bool
 
infoTrees_Syn_GuardedExpressions :: InfoTrees
 
matchIO_Syn_GuardedExpressions :: IO ()
 
patternMatchWarnings_Syn_GuardedExpressions :: [Warning]
 
self_Syn_GuardedExpressions :: GuardedExpressions
 
unboundNames_Syn_GuardedExpressions :: Names
 
uniqueChunk_Syn_GuardedExpressions :: Int
 
uniqueSecondRound_Syn_GuardedExpressions :: Int
 

wrap_GuardedExpressions :: T_GuardedExpressions -> Inh_GuardedExpressions -> Syn_GuardedExpressions Source

sem_GuardedExpressions :: GuardedExpressions -> T_GuardedExpressions Source

newtype T_GuardedExpressions Source

Constructors

T_GuardedExpressions 

Fields

attach_T_GuardedExpressions :: Identity T_GuardedExpressions_s65
 

newtype T_GuardedExpressions_s65 Source

Constructors

C_GuardedExpressions_s65 

Fields

inv_GuardedExpressions_s65 :: T_GuardedExpressions_v64
 

data T_GuardedExpressions_s66 Source

Constructors

C_GuardedExpressions_s66 

type T_GuardedExpressions_v64 = T_GuardedExpressions_vIn64 -> T_GuardedExpressions_vOut64 Source

data T_GuardedExpressions_vIn64 Source

Constructors

T_GuardedExpressions_vIn64 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Tp Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names Int Bool OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int Int 

data T_GuardedExpressions_vOut64 Source

Constructors

T_GuardedExpressions_vOut64 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSets Int DictionaryEnvironment Bool InfoTrees (IO ()) [Warning] GuardedExpressions Names Int Int 

sem_GuardedExpressions_Cons :: T_GuardedExpression -> T_GuardedExpressions -> T_GuardedExpressions Source

sem_GuardedExpressions_Nil :: T_GuardedExpressions Source

data Inh_Import Source

Constructors

Inh_Import 

data Syn_Import Source

Constructors

Syn_Import 

Fields

self_Syn_Import :: Import
 

wrap_Import :: T_Import -> Inh_Import -> Syn_Import Source

sem_Import :: Import -> T_Import Source

newtype T_Import Source

Constructors

T_Import 

Fields

attach_T_Import :: Identity T_Import_s68
 

newtype T_Import_s68 Source

Constructors

C_Import_s68 

Fields

inv_Import_s68 :: T_Import_v67
 

data T_Import_s69 Source

Constructors

C_Import_s69 

type T_Import_v67 = T_Import_vIn67 -> T_Import_vOut67 Source

data T_Import_vIn67 Source

Constructors

T_Import_vIn67 

data T_Import_vOut67 Source

Constructors

T_Import_vOut67 Import 

sem_Import_Variable :: T_Range -> T_Name -> T_Import Source

sem_Import_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_Import Source

sem_Import_TypeOrClassComplete :: T_Range -> T_Name -> T_Import Source

data Inh_ImportDeclaration Source

Constructors

Inh_ImportDeclaration 

data Syn_ImportDeclaration Source

Constructors

Syn_ImportDeclaration 

Fields

self_Syn_ImportDeclaration :: ImportDeclaration
 

wrap_ImportDeclaration :: T_ImportDeclaration -> Inh_ImportDeclaration -> Syn_ImportDeclaration Source

sem_ImportDeclaration :: ImportDeclaration -> T_ImportDeclaration Source

newtype T_ImportDeclaration Source

Constructors

T_ImportDeclaration 

Fields

attach_T_ImportDeclaration :: Identity T_ImportDeclaration_s71
 

newtype T_ImportDeclaration_s71 Source

Constructors

C_ImportDeclaration_s71 

Fields

inv_ImportDeclaration_s71 :: T_ImportDeclaration_v70
 

data T_ImportDeclaration_s72 Source

Constructors

C_ImportDeclaration_s72 

type T_ImportDeclaration_v70 = T_ImportDeclaration_vIn70 -> T_ImportDeclaration_vOut70 Source

data T_ImportDeclaration_vIn70 Source

Constructors

T_ImportDeclaration_vIn70 

data T_ImportDeclaration_vOut70 Source

Constructors

T_ImportDeclaration_vOut70 ImportDeclaration 

sem_ImportDeclaration_Import :: T_Range -> Bool -> T_Name -> T_MaybeName -> T_MaybeImportSpecification -> T_ImportDeclaration Source

sem_ImportDeclaration_Empty :: T_Range -> T_ImportDeclaration Source

data Inh_ImportDeclarations Source

Constructors

Inh_ImportDeclarations 

data Syn_ImportDeclarations Source

Constructors

Syn_ImportDeclarations 

Fields

self_Syn_ImportDeclarations :: ImportDeclarations
 

wrap_ImportDeclarations :: T_ImportDeclarations -> Inh_ImportDeclarations -> Syn_ImportDeclarations Source

sem_ImportDeclarations :: ImportDeclarations -> T_ImportDeclarations Source

newtype T_ImportDeclarations Source

Constructors

T_ImportDeclarations 

Fields

attach_T_ImportDeclarations :: Identity T_ImportDeclarations_s74
 

newtype T_ImportDeclarations_s74 Source

Constructors

C_ImportDeclarations_s74 

Fields

inv_ImportDeclarations_s74 :: T_ImportDeclarations_v73
 

data T_ImportDeclarations_s75 Source

Constructors

C_ImportDeclarations_s75 

type T_ImportDeclarations_v73 = T_ImportDeclarations_vIn73 -> T_ImportDeclarations_vOut73 Source

data T_ImportDeclarations_vIn73 Source

Constructors

T_ImportDeclarations_vIn73 

data T_ImportDeclarations_vOut73 Source

Constructors

T_ImportDeclarations_vOut73 ImportDeclarations 

sem_ImportDeclarations_Cons :: T_ImportDeclaration -> T_ImportDeclarations -> T_ImportDeclarations Source

sem_ImportDeclarations_Nil :: T_ImportDeclarations Source

data Inh_ImportSpecification Source

Constructors

Inh_ImportSpecification 

data Syn_ImportSpecification Source

Constructors

Syn_ImportSpecification 

Fields

self_Syn_ImportSpecification :: ImportSpecification
 

wrap_ImportSpecification :: T_ImportSpecification -> Inh_ImportSpecification -> Syn_ImportSpecification Source

sem_ImportSpecification :: ImportSpecification -> T_ImportSpecification Source

newtype T_ImportSpecification Source

Constructors

T_ImportSpecification 

Fields

attach_T_ImportSpecification :: Identity T_ImportSpecification_s77
 

newtype T_ImportSpecification_s77 Source

Constructors

C_ImportSpecification_s77 

Fields

inv_ImportSpecification_s77 :: T_ImportSpecification_v76
 

data T_ImportSpecification_s78 Source

Constructors

C_ImportSpecification_s78 

type T_ImportSpecification_v76 = T_ImportSpecification_vIn76 -> T_ImportSpecification_vOut76 Source

data T_ImportSpecification_vIn76 Source

Constructors

T_ImportSpecification_vIn76 

data T_ImportSpecification_vOut76 Source

Constructors

T_ImportSpecification_vOut76 ImportSpecification 

sem_ImportSpecification_Import :: T_Range -> Bool -> T_Imports -> T_ImportSpecification Source

data Inh_Imports Source

Constructors

Inh_Imports 

data Syn_Imports Source

Constructors

Syn_Imports 

Fields

self_Syn_Imports :: Imports
 

wrap_Imports :: T_Imports -> Inh_Imports -> Syn_Imports Source

sem_Imports :: Imports -> T_Imports Source

newtype T_Imports Source

Constructors

T_Imports 

Fields

attach_T_Imports :: Identity T_Imports_s80
 

newtype T_Imports_s80 Source

Constructors

C_Imports_s80 

Fields

inv_Imports_s80 :: T_Imports_v79
 

data T_Imports_s81 Source

Constructors

C_Imports_s81 

type T_Imports_v79 = T_Imports_vIn79 -> T_Imports_vOut79 Source

data T_Imports_vIn79 Source

Constructors

T_Imports_vIn79 

data T_Imports_vOut79 Source

Constructors

T_Imports_vOut79 Imports 

sem_Imports_Cons :: T_Import -> T_Imports -> T_Imports Source

sem_Imports_Nil :: T_Imports Source

data Inh_LeftHandSide Source

Constructors

Inh_LeftHandSide 

Fields

betaUnique_Inh_LeftHandSide :: Int
 
counter_Inh_LeftHandSide :: Int
 
importEnvironment_Inh_LeftHandSide :: ImportEnvironment
 
monos_Inh_LeftHandSide :: Monos
 
namesInScope_Inh_LeftHandSide :: Names
 
parentTree_Inh_LeftHandSide :: InfoTree
 
patternMatchWarnings_Inh_LeftHandSide :: [Warning]
 

data Syn_LeftHandSide Source

Constructors

Syn_LeftHandSide 

Fields

argcount_Syn_LeftHandSide :: Int
 
betaUnique_Syn_LeftHandSide :: Int
 
betas_Syn_LeftHandSide :: Tps
 
constraints_Syn_LeftHandSide :: ConstraintSet
 
counter_Syn_LeftHandSide :: Int
 
elements_Syn_LeftHandSide :: [PatternElement]
 
environment_Syn_LeftHandSide :: PatternAssumptions
 
infoTrees_Syn_LeftHandSide :: InfoTrees
 
name_Syn_LeftHandSide :: Name
 
numberOfPatterns_Syn_LeftHandSide :: Int
 
patVarNames_Syn_LeftHandSide :: Names
 
patternMatchWarnings_Syn_LeftHandSide :: [Warning]
 
self_Syn_LeftHandSide :: LeftHandSide
 
unboundNames_Syn_LeftHandSide :: Names
 

wrap_LeftHandSide :: T_LeftHandSide -> Inh_LeftHandSide -> Syn_LeftHandSide Source

sem_LeftHandSide :: LeftHandSide -> T_LeftHandSide Source

newtype T_LeftHandSide Source

Constructors

T_LeftHandSide 

Fields

attach_T_LeftHandSide :: Identity T_LeftHandSide_s83
 

newtype T_LeftHandSide_s83 Source

Constructors

C_LeftHandSide_s83 

Fields

inv_LeftHandSide_s83 :: T_LeftHandSide_v82
 

data T_LeftHandSide_s84 Source

Constructors

C_LeftHandSide_s84 

type T_LeftHandSide_v82 = T_LeftHandSide_vIn82 -> T_LeftHandSide_vOut82 Source

data T_LeftHandSide_vIn82 Source

Constructors

T_LeftHandSide_vIn82 Int Int ImportEnvironment Monos Names InfoTree [Warning] 

data T_LeftHandSide_vOut82 Source

Constructors

T_LeftHandSide_vOut82 Int Int Tps ConstraintSet Int [PatternElement] PatternAssumptions InfoTrees Name Int Names [Warning] LeftHandSide Names 

sem_LeftHandSide_Function :: T_Range -> T_Name -> T_Patterns -> T_LeftHandSide Source

sem_LeftHandSide_Infix :: T_Range -> T_Pattern -> T_Name -> T_Pattern -> T_LeftHandSide Source

sem_LeftHandSide_Parenthesized :: T_Range -> T_LeftHandSide -> T_Patterns -> T_LeftHandSide Source

data Inh_Literal Source

Constructors

Inh_Literal 

data Syn_Literal Source

Constructors

Syn_Literal 

Fields

elements_Syn_Literal :: [PatternElement]
 
literalType_Syn_Literal :: Tp
 
self_Syn_Literal :: Literal
 

wrap_Literal :: T_Literal -> Inh_Literal -> Syn_Literal Source

sem_Literal :: Literal -> T_Literal Source

newtype T_Literal Source

Constructors

T_Literal 

Fields

attach_T_Literal :: Identity T_Literal_s86
 

newtype T_Literal_s86 Source

Constructors

C_Literal_s86 

Fields

inv_Literal_s86 :: T_Literal_v85
 

data T_Literal_s87 Source

Constructors

C_Literal_s87 

type T_Literal_v85 = T_Literal_vIn85 -> T_Literal_vOut85 Source

data T_Literal_vIn85 Source

Constructors

T_Literal_vIn85 

data T_Literal_vOut85 Source

Constructors

T_Literal_vOut85 [PatternElement] Tp Literal 

sem_Literal_Int :: T_Range -> String -> T_Literal Source

sem_Literal_Char :: T_Range -> String -> T_Literal Source

sem_Literal_Float :: T_Range -> String -> T_Literal Source

sem_Literal_String :: T_Range -> String -> T_Literal Source

data Inh_MaybeDeclarations Source

Constructors

Inh_MaybeDeclarations 

Fields

allPatterns_Inh_MaybeDeclarations :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_MaybeDeclarations :: Map NameWithRange TpScheme
 
assumptions_Inh_MaybeDeclarations :: Assumptions
 
availablePredicates_Inh_MaybeDeclarations :: Predicates
 
betaUnique_Inh_MaybeDeclarations :: Int
 
classEnvironment_Inh_MaybeDeclarations :: ClassEnvironment
 
collectErrors_Inh_MaybeDeclarations :: TypeErrors
 
collectWarnings_Inh_MaybeDeclarations :: Warnings
 
constraints_Inh_MaybeDeclarations :: ConstraintSet
 
counter_Inh_MaybeDeclarations :: Int
 
currentChunk_Inh_MaybeDeclarations :: Int
 
dictionaryEnvironment_Inh_MaybeDeclarations :: DictionaryEnvironment
 
importEnvironment_Inh_MaybeDeclarations :: ImportEnvironment
 
matchIO_Inh_MaybeDeclarations :: IO ()
 
monos_Inh_MaybeDeclarations :: Monos
 
namesInScope_Inh_MaybeDeclarations :: Names
 
orderedTypeSynonyms_Inh_MaybeDeclarations :: OrderedTypeSynonyms
 
parentTree_Inh_MaybeDeclarations :: InfoTree
 
patternMatchWarnings_Inh_MaybeDeclarations :: [Warning]
 
substitution_Inh_MaybeDeclarations :: FixpointSubstitution
 
typeschemeMap_Inh_MaybeDeclarations :: Map Int (Scheme Predicates)
 
unboundNames_Inh_MaybeDeclarations :: Names
 
uniqueChunk_Inh_MaybeDeclarations :: Int
 

data Syn_MaybeDeclarations Source

Constructors

Syn_MaybeDeclarations 

Fields

assumptions_Syn_MaybeDeclarations :: Assumptions
 
betaUnique_Syn_MaybeDeclarations :: Int
 
collectErrors_Syn_MaybeDeclarations :: TypeErrors
 
collectInstances_Syn_MaybeDeclarations :: [(Name, Instance)]
 
collectWarnings_Syn_MaybeDeclarations :: Warnings
 
constraints_Syn_MaybeDeclarations :: ConstraintSet
 
counter_Syn_MaybeDeclarations :: Int
 
dictionaryEnvironment_Syn_MaybeDeclarations :: DictionaryEnvironment
 
infoTrees_Syn_MaybeDeclarations :: InfoTrees
 
localTypes_Syn_MaybeDeclarations :: Map NameWithRange TpScheme
 
matchIO_Syn_MaybeDeclarations :: IO ()
 
namesInScope_Syn_MaybeDeclarations :: Names
 
patternMatchWarnings_Syn_MaybeDeclarations :: [Warning]
 
self_Syn_MaybeDeclarations :: MaybeDeclarations
 
unboundNames_Syn_MaybeDeclarations :: Names
 
uniqueChunk_Syn_MaybeDeclarations :: Int
 

wrap_MaybeDeclarations :: T_MaybeDeclarations -> Inh_MaybeDeclarations -> Syn_MaybeDeclarations Source

sem_MaybeDeclarations :: MaybeDeclarations -> T_MaybeDeclarations Source

newtype T_MaybeDeclarations Source

Constructors

T_MaybeDeclarations 

Fields

attach_T_MaybeDeclarations :: Identity T_MaybeDeclarations_s89
 

newtype T_MaybeDeclarations_s89 Source

Constructors

C_MaybeDeclarations_s89 

Fields

inv_MaybeDeclarations_s89 :: T_MaybeDeclarations_v88
 

data T_MaybeDeclarations_s90 Source

Constructors

C_MaybeDeclarations_s90 

type T_MaybeDeclarations_v88 = T_MaybeDeclarations_vIn88 -> T_MaybeDeclarations_vOut88 Source

data T_MaybeDeclarations_vIn88 Source

Constructors

T_MaybeDeclarations_vIn88 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Assumptions Predicates Int ClassEnvironment TypeErrors Warnings ConstraintSet Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Names Int 

data T_MaybeDeclarations_vOut88 Source

Constructors

T_MaybeDeclarations_vOut88 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment InfoTrees (Map NameWithRange TpScheme) (IO ()) Names [Warning] MaybeDeclarations Names Int 

sem_MaybeDeclarations_Nothing :: T_MaybeDeclarations Source

sem_MaybeDeclarations_Just :: T_Declarations -> T_MaybeDeclarations Source

data Inh_MaybeExports Source

Constructors

Inh_MaybeExports 

data Syn_MaybeExports Source

Constructors

Syn_MaybeExports 

Fields

self_Syn_MaybeExports :: MaybeExports
 

wrap_MaybeExports :: T_MaybeExports -> Inh_MaybeExports -> Syn_MaybeExports Source

sem_MaybeExports :: MaybeExports -> T_MaybeExports Source

newtype T_MaybeExports Source

Constructors

T_MaybeExports 

Fields

attach_T_MaybeExports :: Identity T_MaybeExports_s92
 

newtype T_MaybeExports_s92 Source

Constructors

C_MaybeExports_s92 

Fields

inv_MaybeExports_s92 :: T_MaybeExports_v91
 

data T_MaybeExports_s93 Source

Constructors

C_MaybeExports_s93 

type T_MaybeExports_v91 = T_MaybeExports_vIn91 -> T_MaybeExports_vOut91 Source

data T_MaybeExports_vIn91 Source

Constructors

T_MaybeExports_vIn91 

data T_MaybeExports_vOut91 Source

Constructors

T_MaybeExports_vOut91 MaybeExports 

sem_MaybeExports_Nothing :: T_MaybeExports Source

sem_MaybeExports_Just :: T_Exports -> T_MaybeExports Source

data Inh_MaybeExpression Source

Constructors

Inh_MaybeExpression 

Fields

allPatterns_Inh_MaybeExpression :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_MaybeExpression :: Map NameWithRange TpScheme
 
availablePredicates_Inh_MaybeExpression :: Predicates
 
betaUnique_Inh_MaybeExpression :: Int
 
classEnvironment_Inh_MaybeExpression :: ClassEnvironment
 
collectErrors_Inh_MaybeExpression :: TypeErrors
 
collectWarnings_Inh_MaybeExpression :: Warnings
 
counter_Inh_MaybeExpression :: Int
 
currentChunk_Inh_MaybeExpression :: Int
 
dictionaryEnvironment_Inh_MaybeExpression :: DictionaryEnvironment
 
importEnvironment_Inh_MaybeExpression :: ImportEnvironment
 
matchIO_Inh_MaybeExpression :: IO ()
 
monos_Inh_MaybeExpression :: Monos
 
namesInScope_Inh_MaybeExpression :: Names
 
orderedTypeSynonyms_Inh_MaybeExpression :: OrderedTypeSynonyms
 
parentTree_Inh_MaybeExpression :: InfoTree
 
patternMatchWarnings_Inh_MaybeExpression :: [Warning]
 
substitution_Inh_MaybeExpression :: FixpointSubstitution
 
tryPatterns_Inh_MaybeExpression :: [(MaybeExpression, [String])]
 
typeschemeMap_Inh_MaybeExpression :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_MaybeExpression :: Int
 
uniqueSecondRound_Inh_MaybeExpression :: Int
 

data Syn_MaybeExpression Source

Constructors

Syn_MaybeExpression 

Fields

assumptions_Syn_MaybeExpression :: Assumptions
 
beta_Syn_MaybeExpression :: Tp
 
betaUnique_Syn_MaybeExpression :: Int
 
collectErrors_Syn_MaybeExpression :: TypeErrors
 
collectInstances_Syn_MaybeExpression :: [(Name, Instance)]
 
collectWarnings_Syn_MaybeExpression :: Warnings
 
constraints_Syn_MaybeExpression :: ConstraintSet
 
counter_Syn_MaybeExpression :: Int
 
dictionaryEnvironment_Syn_MaybeExpression :: DictionaryEnvironment
 
infoTrees_Syn_MaybeExpression :: InfoTrees
 
matchIO_Syn_MaybeExpression :: IO ()
 
matches_Syn_MaybeExpression :: [Maybe MetaVariableTable]
 
patternMatchWarnings_Syn_MaybeExpression :: [Warning]
 
section_Syn_MaybeExpression :: Bool
 
self_Syn_MaybeExpression :: MaybeExpression
 
unboundNames_Syn_MaybeExpression :: Names
 
uniqueChunk_Syn_MaybeExpression :: Int
 
uniqueSecondRound_Syn_MaybeExpression :: Int
 

wrap_MaybeExpression :: T_MaybeExpression -> Inh_MaybeExpression -> Syn_MaybeExpression Source

sem_MaybeExpression :: MaybeExpression -> T_MaybeExpression Source

newtype T_MaybeExpression Source

Constructors

T_MaybeExpression 

Fields

attach_T_MaybeExpression :: Identity T_MaybeExpression_s95
 

newtype T_MaybeExpression_s95 Source

Constructors

C_MaybeExpression_s95 

Fields

inv_MaybeExpression_s95 :: T_MaybeExpression_v94
 

data T_MaybeExpression_s96 Source

Constructors

C_MaybeExpression_s96 

type T_MaybeExpression_v94 = T_MaybeExpression_vIn94 -> T_MaybeExpression_vOut94 Source

data T_MaybeExpression_vIn94 Source

Constructors

T_MaybeExpression_vIn94 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution [(MaybeExpression, [String])] (Map Int (Scheme Predicates)) Int Int 

data T_MaybeExpression_vOut94 Source

Constructors

T_MaybeExpression_vOut94 Assumptions Tp Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment InfoTrees (IO ()) [Maybe MetaVariableTable] [Warning] Bool MaybeExpression Names Int Int 

sem_MaybeExpression_Nothing :: T_MaybeExpression Source

sem_MaybeExpression_Just :: T_Expression -> T_MaybeExpression Source

data Inh_MaybeImportSpecification Source

Constructors

Inh_MaybeImportSpecification 

data Syn_MaybeImportSpecification Source

Constructors

Syn_MaybeImportSpecification 

Fields

self_Syn_MaybeImportSpecification :: MaybeImportSpecification
 

wrap_MaybeImportSpecification :: T_MaybeImportSpecification -> Inh_MaybeImportSpecification -> Syn_MaybeImportSpecification Source

sem_MaybeImportSpecification :: MaybeImportSpecification -> T_MaybeImportSpecification Source

newtype T_MaybeImportSpecification Source

Constructors

T_MaybeImportSpecification 

Fields

attach_T_MaybeImportSpecification :: Identity T_MaybeImportSpecification_s98
 

newtype T_MaybeImportSpecification_s98 Source

Constructors

C_MaybeImportSpecification_s98 

Fields

inv_MaybeImportSpecification_s98 :: T_MaybeImportSpecification_v97
 

data T_MaybeImportSpecification_s99 Source

Constructors

C_MaybeImportSpecification_s99 

type T_MaybeImportSpecification_v97 = T_MaybeImportSpecification_vIn97 -> T_MaybeImportSpecification_vOut97 Source

data T_MaybeImportSpecification_vIn97 Source

Constructors

T_MaybeImportSpecification_vIn97 

data T_MaybeImportSpecification_vOut97 Source

Constructors

T_MaybeImportSpecification_vOut97 MaybeImportSpecification 

sem_MaybeImportSpecification_Nothing :: T_MaybeImportSpecification Source

sem_MaybeImportSpecification_Just :: T_ImportSpecification -> T_MaybeImportSpecification Source

data Inh_MaybeInt Source

Constructors

Inh_MaybeInt 

data Syn_MaybeInt Source

Constructors

Syn_MaybeInt 

Fields

self_Syn_MaybeInt :: MaybeInt
 

wrap_MaybeInt :: T_MaybeInt -> Inh_MaybeInt -> Syn_MaybeInt Source

sem_MaybeInt :: MaybeInt -> T_MaybeInt Source

newtype T_MaybeInt Source

Constructors

T_MaybeInt 

Fields

attach_T_MaybeInt :: Identity T_MaybeInt_s101
 

newtype T_MaybeInt_s101 Source

Constructors

C_MaybeInt_s101 

Fields

inv_MaybeInt_s101 :: T_MaybeInt_v100
 

data T_MaybeInt_s102 Source

Constructors

C_MaybeInt_s102 

type T_MaybeInt_v100 = T_MaybeInt_vIn100 -> T_MaybeInt_vOut100 Source

data T_MaybeInt_vIn100 Source

Constructors

T_MaybeInt_vIn100 

data T_MaybeInt_vOut100 Source

Constructors

T_MaybeInt_vOut100 MaybeInt 

sem_MaybeInt_Nothing :: T_MaybeInt Source

sem_MaybeInt_Just :: Int -> T_MaybeInt Source

data Inh_MaybeName Source

Constructors

Inh_MaybeName 

data Syn_MaybeName Source

Constructors

Syn_MaybeName 

Fields

self_Syn_MaybeName :: MaybeName
 

wrap_MaybeName :: T_MaybeName -> Inh_MaybeName -> Syn_MaybeName Source

sem_MaybeName :: MaybeName -> T_MaybeName Source

newtype T_MaybeName Source

Constructors

T_MaybeName 

Fields

attach_T_MaybeName :: Identity T_MaybeName_s104
 

newtype T_MaybeName_s104 Source

Constructors

C_MaybeName_s104 

Fields

inv_MaybeName_s104 :: T_MaybeName_v103
 

data T_MaybeName_s105 Source

Constructors

C_MaybeName_s105 

type T_MaybeName_v103 = T_MaybeName_vIn103 -> T_MaybeName_vOut103 Source

data T_MaybeName_vIn103 Source

Constructors

T_MaybeName_vIn103 

data T_MaybeName_vOut103 Source

Constructors

T_MaybeName_vOut103 MaybeName 

sem_MaybeName_Nothing :: T_MaybeName Source

sem_MaybeName_Just :: T_Name -> T_MaybeName Source

data Inh_MaybeNames Source

Constructors

Inh_MaybeNames 

data Syn_MaybeNames Source

Constructors

Syn_MaybeNames 

Fields

self_Syn_MaybeNames :: MaybeNames
 

wrap_MaybeNames :: T_MaybeNames -> Inh_MaybeNames -> Syn_MaybeNames Source

sem_MaybeNames :: MaybeNames -> T_MaybeNames Source

newtype T_MaybeNames Source

Constructors

T_MaybeNames 

Fields

attach_T_MaybeNames :: Identity T_MaybeNames_s107
 

newtype T_MaybeNames_s107 Source

Constructors

C_MaybeNames_s107 

Fields

inv_MaybeNames_s107 :: T_MaybeNames_v106
 

data T_MaybeNames_s108 Source

Constructors

C_MaybeNames_s108 

type T_MaybeNames_v106 = T_MaybeNames_vIn106 -> T_MaybeNames_vOut106 Source

data T_MaybeNames_vIn106 Source

Constructors

T_MaybeNames_vIn106 

data T_MaybeNames_vOut106 Source

Constructors

T_MaybeNames_vOut106 MaybeNames 

sem_MaybeNames_Nothing :: T_MaybeNames Source

sem_MaybeNames_Just :: T_Names -> T_MaybeNames Source

data Inh_Module Source

Constructors

Inh_Module 

Fields

importEnvironment_Inh_Module :: ImportEnvironment
 
options_Inh_Module :: [Option]
 

data Syn_Module Source

Constructors

Syn_Module 

Fields

assumptions_Syn_Module :: Assumptions
 
dictionaryEnvironment_Syn_Module :: DictionaryEnvironment
 
infoTree_Syn_Module :: InfoTree
 
logEntries_Syn_Module :: LogEntries
 
self_Syn_Module :: Module
 
solveResult_Syn_Module :: SolveResult ConstraintInfo
 
toplevelTypes_Syn_Module :: TypeEnvironment
 
typeErrors_Syn_Module :: TypeErrors
 
warnings_Syn_Module :: Warnings
 

wrap_Module :: T_Module -> Inh_Module -> Syn_Module Source

sem_Module :: Module -> T_Module Source

newtype T_Module Source

Constructors

T_Module 

Fields

attach_T_Module :: Identity T_Module_s110
 

newtype T_Module_s110 Source

Constructors

C_Module_s110 

Fields

inv_Module_s110 :: T_Module_v109
 

data T_Module_s111 Source

Constructors

C_Module_s111 

type T_Module_v109 = T_Module_vIn109 -> T_Module_vOut109 Source

data T_Module_vIn109 Source

Constructors

T_Module_vIn109 ImportEnvironment [Option] 

data T_Module_vOut109 Source

Constructors

T_Module_vOut109 Assumptions DictionaryEnvironment InfoTree LogEntries Module (SolveResult ConstraintInfo) TypeEnvironment TypeErrors Warnings 

sem_Module_Module :: T_Range -> T_MaybeName -> T_MaybeExports -> T_Body -> T_Module Source

data Inh_Name Source

Constructors

Inh_Name 

data Syn_Name Source

Constructors

Syn_Name 

Fields

self_Syn_Name :: Name
 

wrap_Name :: T_Name -> Inh_Name -> Syn_Name Source

sem_Name :: Name -> T_Name Source

newtype T_Name Source

Constructors

T_Name 

Fields

attach_T_Name :: Identity T_Name_s113
 

newtype T_Name_s113 Source

Constructors

C_Name_s113 

Fields

inv_Name_s113 :: T_Name_v112
 

data T_Name_s114 Source

Constructors

C_Name_s114 

type T_Name_v112 = T_Name_vIn112 -> T_Name_vOut112 Source

data T_Name_vIn112 Source

Constructors

T_Name_vIn112 

data T_Name_vOut112 Source

Constructors

T_Name_vOut112 Name 

sem_Name_Identifier :: T_Range -> T_Strings -> String -> T_Name Source

sem_Name_Operator :: T_Range -> T_Strings -> String -> T_Name Source

sem_Name_Special :: T_Range -> T_Strings -> String -> T_Name Source

data Inh_Names Source

Constructors

Inh_Names 

data Syn_Names Source

Constructors

Syn_Names 

Fields

self_Syn_Names :: Names
 

wrap_Names :: T_Names -> Inh_Names -> Syn_Names Source

sem_Names :: Names -> T_Names Source

newtype T_Names Source

Constructors

T_Names 

Fields

attach_T_Names :: Identity T_Names_s116
 

newtype T_Names_s116 Source

Constructors

C_Names_s116 

Fields

inv_Names_s116 :: T_Names_v115
 

data T_Names_s117 Source

Constructors

C_Names_s117 

type T_Names_v115 = T_Names_vIn115 -> T_Names_vOut115 Source

data T_Names_vIn115 Source

Constructors

T_Names_vIn115 

data T_Names_vOut115 Source

Constructors

T_Names_vOut115 Names 

sem_Names_Cons :: T_Name -> T_Names -> T_Names Source

sem_Names_Nil :: T_Names Source

data Inh_Pattern Source

Constructors

Inh_Pattern 

Fields

betaUnique_Inh_Pattern :: Int
 
counter_Inh_Pattern :: Int
 
importEnvironment_Inh_Pattern :: ImportEnvironment
 
monos_Inh_Pattern :: Monos
 
namesInScope_Inh_Pattern :: Names
 
parentTree_Inh_Pattern :: InfoTree
 
patternMatchWarnings_Inh_Pattern :: [Warning]
 

data Syn_Pattern Source

Constructors

Syn_Pattern 

Fields

beta_Syn_Pattern :: Tp
 
betaUnique_Syn_Pattern :: Int
 
constraints_Syn_Pattern :: ConstraintSet
 
counter_Syn_Pattern :: Int
 
elements_Syn_Pattern :: [PatternElement]
 
environment_Syn_Pattern :: PatternAssumptions
 
infoTree_Syn_Pattern :: InfoTree
 
patVarNames_Syn_Pattern :: Names
 
patternMatchWarnings_Syn_Pattern :: [Warning]
 
self_Syn_Pattern :: Pattern
 
unboundNames_Syn_Pattern :: Names
 

wrap_Pattern :: T_Pattern -> Inh_Pattern -> Syn_Pattern Source

sem_Pattern :: Pattern -> T_Pattern Source

newtype T_Pattern Source

Constructors

T_Pattern 

Fields

attach_T_Pattern :: Identity T_Pattern_s119
 

newtype T_Pattern_s119 Source

Constructors

C_Pattern_s119 

Fields

inv_Pattern_s119 :: T_Pattern_v118
 

data T_Pattern_s120 Source

Constructors

C_Pattern_s120 

type T_Pattern_v118 = T_Pattern_vIn118 -> T_Pattern_vOut118 Source

data T_Pattern_vIn118 Source

Constructors

T_Pattern_vIn118 Int Int ImportEnvironment Monos Names InfoTree [Warning] 

data T_Pattern_vOut118 Source

Constructors

T_Pattern_vOut118 Tp Int ConstraintSet Int [PatternElement] PatternAssumptions InfoTree Names [Warning] Pattern Names 

sem_Pattern_Hole :: T_Range -> Integer -> T_Pattern Source

sem_Pattern_Literal :: T_Range -> T_Literal -> T_Pattern Source

sem_Pattern_Variable :: T_Range -> T_Name -> T_Pattern Source

sem_Pattern_Constructor :: T_Range -> T_Name -> T_Patterns -> T_Pattern Source

sem_Pattern_Parenthesized :: T_Range -> T_Pattern -> T_Pattern Source

sem_Pattern_InfixConstructor :: T_Range -> T_Pattern -> T_Name -> T_Pattern -> T_Pattern Source

sem_Pattern_List :: T_Range -> T_Patterns -> T_Pattern Source

sem_Pattern_Tuple :: T_Range -> T_Patterns -> T_Pattern Source

sem_Pattern_Record :: T_Range -> T_Name -> T_RecordPatternBindings -> T_Pattern Source

sem_Pattern_Negate :: T_Range -> T_Literal -> T_Pattern Source

sem_Pattern_As :: T_Range -> T_Name -> T_Pattern -> T_Pattern Source

sem_Pattern_Wildcard :: T_Range -> T_Pattern Source

sem_Pattern_Irrefutable :: T_Range -> T_Pattern -> T_Pattern Source

sem_Pattern_Successor :: T_Range -> T_Name -> T_Literal -> T_Pattern Source

sem_Pattern_NegateFloat :: T_Range -> T_Literal -> T_Pattern Source

data Inh_Patterns Source

Constructors

Inh_Patterns 

Fields

betaUnique_Inh_Patterns :: Int
 
counter_Inh_Patterns :: Int
 
importEnvironment_Inh_Patterns :: ImportEnvironment
 
monos_Inh_Patterns :: Monos
 
namesInScope_Inh_Patterns :: Names
 
parentTree_Inh_Patterns :: InfoTree
 
patternMatchWarnings_Inh_Patterns :: [Warning]
 

data Syn_Patterns Source

Constructors

Syn_Patterns 

Fields

betaUnique_Syn_Patterns :: Int
 
betas_Syn_Patterns :: Tps
 
constraintslist_Syn_Patterns :: ConstraintSets
 
counter_Syn_Patterns :: Int
 
elementss_Syn_Patterns :: [[PatternElement]]
 
environment_Syn_Patterns :: PatternAssumptions
 
infoTrees_Syn_Patterns :: InfoTrees
 
numberOfPatterns_Syn_Patterns :: Int
 
patVarNames_Syn_Patterns :: Names
 
patternMatchWarnings_Syn_Patterns :: [Warning]
 
self_Syn_Patterns :: Patterns
 
unboundNames_Syn_Patterns :: Names
 

wrap_Patterns :: T_Patterns -> Inh_Patterns -> Syn_Patterns Source

sem_Patterns :: Patterns -> T_Patterns Source

newtype T_Patterns Source

Constructors

T_Patterns 

Fields

attach_T_Patterns :: Identity T_Patterns_s122
 

newtype T_Patterns_s122 Source

Constructors

C_Patterns_s122 

Fields

inv_Patterns_s122 :: T_Patterns_v121
 

data T_Patterns_s123 Source

Constructors

C_Patterns_s123 

type T_Patterns_v121 = T_Patterns_vIn121 -> T_Patterns_vOut121 Source

data T_Patterns_vIn121 Source

Constructors

T_Patterns_vIn121 Int Int ImportEnvironment Monos Names InfoTree [Warning] 

data T_Patterns_vOut121 Source

Constructors

T_Patterns_vOut121 Int Tps ConstraintSets Int [[PatternElement]] PatternAssumptions InfoTrees Int Names [Warning] Patterns Names 

sem_Patterns_Cons :: T_Pattern -> T_Patterns -> T_Patterns Source

sem_Patterns_Nil :: T_Patterns Source

data Inh_Position Source

Constructors

Inh_Position 

data Syn_Position Source

Constructors

Syn_Position 

Fields

self_Syn_Position :: Position
 

wrap_Position :: T_Position -> Inh_Position -> Syn_Position Source

sem_Position :: Position -> T_Position Source

newtype T_Position Source

Constructors

T_Position 

Fields

attach_T_Position :: Identity T_Position_s125
 

newtype T_Position_s125 Source

Constructors

C_Position_s125 

Fields

inv_Position_s125 :: T_Position_v124
 

data T_Position_s126 Source

Constructors

C_Position_s126 

type T_Position_v124 = T_Position_vIn124 -> T_Position_vOut124 Source

data T_Position_vIn124 Source

Constructors

T_Position_vIn124 

data T_Position_vOut124 Source

Constructors

T_Position_vOut124 Position 

sem_Position_Position :: String -> Int -> Int -> T_Position Source

sem_Position_Unknown :: T_Position Source

data Inh_Qualifier Source

Constructors

Inh_Qualifier 

Fields

allPatterns_Inh_Qualifier :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Qualifier :: Map NameWithRange TpScheme
 
assumptions_Inh_Qualifier :: Assumptions
 
availablePredicates_Inh_Qualifier :: Predicates
 
betaUnique_Inh_Qualifier :: Int
 
classEnvironment_Inh_Qualifier :: ClassEnvironment
 
collectErrors_Inh_Qualifier :: TypeErrors
 
collectWarnings_Inh_Qualifier :: Warnings
 
constraints_Inh_Qualifier :: ConstraintSet
 
counter_Inh_Qualifier :: Int
 
currentChunk_Inh_Qualifier :: Int
 
dictionaryEnvironment_Inh_Qualifier :: DictionaryEnvironment
 
importEnvironment_Inh_Qualifier :: ImportEnvironment
 
matchIO_Inh_Qualifier :: IO ()
 
monos_Inh_Qualifier :: Monos
 
namesInScope_Inh_Qualifier :: Names
 
orderedTypeSynonyms_Inh_Qualifier :: OrderedTypeSynonyms
 
parentTree_Inh_Qualifier :: InfoTree
 
patternMatchWarnings_Inh_Qualifier :: [Warning]
 
substitution_Inh_Qualifier :: FixpointSubstitution
 
typeschemeMap_Inh_Qualifier :: Map Int (Scheme Predicates)
 
unboundNames_Inh_Qualifier :: Names
 
uniqueChunk_Inh_Qualifier :: Int
 
uniqueSecondRound_Inh_Qualifier :: Int
 

data Syn_Qualifier Source

Constructors

Syn_Qualifier 

Fields

assumptions_Syn_Qualifier :: Assumptions
 
betaUnique_Syn_Qualifier :: Int
 
collectErrors_Syn_Qualifier :: TypeErrors
 
collectInstances_Syn_Qualifier :: [(Name, Instance)]
 
collectWarnings_Syn_Qualifier :: Warnings
 
constraints_Syn_Qualifier :: ConstraintSet
 
counter_Syn_Qualifier :: Int
 
dictionaryEnvironment_Syn_Qualifier :: DictionaryEnvironment
 
infoTree_Syn_Qualifier :: InfoTree
 
matchIO_Syn_Qualifier :: IO ()
 
monos_Syn_Qualifier :: Monos
 
namesInScope_Syn_Qualifier :: Names
 
patternMatchWarnings_Syn_Qualifier :: [Warning]
 
self_Syn_Qualifier :: Qualifier
 
unboundNames_Syn_Qualifier :: Names
 
uniqueChunk_Syn_Qualifier :: Int
 
uniqueSecondRound_Syn_Qualifier :: Int
 

wrap_Qualifier :: T_Qualifier -> Inh_Qualifier -> Syn_Qualifier Source

sem_Qualifier :: Qualifier -> T_Qualifier Source

newtype T_Qualifier Source

Constructors

T_Qualifier 

Fields

attach_T_Qualifier :: Identity T_Qualifier_s128
 

newtype T_Qualifier_s128 Source

Constructors

C_Qualifier_s128 

Fields

inv_Qualifier_s128 :: T_Qualifier_v127
 

data T_Qualifier_s129 Source

Constructors

C_Qualifier_s129 

type T_Qualifier_v127 = T_Qualifier_vIn127 -> T_Qualifier_vOut127 Source

data T_Qualifier_vIn127 Source

Constructors

T_Qualifier_vIn127 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Assumptions Predicates Int ClassEnvironment TypeErrors Warnings ConstraintSet Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Names Int Int 

data T_Qualifier_vOut127 Source

Constructors

T_Qualifier_vOut127 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment InfoTree (IO ()) Monos Names [Warning] Qualifier Names Int Int 

sem_Qualifier_Guard :: T_Range -> T_Expression -> T_Qualifier Source

sem_Qualifier_Let :: T_Range -> T_Declarations -> T_Qualifier Source

sem_Qualifier_Generator :: T_Range -> T_Pattern -> T_Expression -> T_Qualifier Source

sem_Qualifier_Empty :: T_Range -> T_Qualifier Source

data Inh_Qualifiers Source

Constructors

Inh_Qualifiers 

Fields

allPatterns_Inh_Qualifiers :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Qualifiers :: Map NameWithRange TpScheme
 
assumptions_Inh_Qualifiers :: Assumptions
 
availablePredicates_Inh_Qualifiers :: Predicates
 
betaUnique_Inh_Qualifiers :: Int
 
classEnvironment_Inh_Qualifiers :: ClassEnvironment
 
collectErrors_Inh_Qualifiers :: TypeErrors
 
collectWarnings_Inh_Qualifiers :: Warnings
 
constraints_Inh_Qualifiers :: ConstraintSet
 
counter_Inh_Qualifiers :: Int
 
currentChunk_Inh_Qualifiers :: Int
 
dictionaryEnvironment_Inh_Qualifiers :: DictionaryEnvironment
 
importEnvironment_Inh_Qualifiers :: ImportEnvironment
 
matchIO_Inh_Qualifiers :: IO ()
 
monos_Inh_Qualifiers :: Monos
 
namesInScope_Inh_Qualifiers :: Names
 
orderedTypeSynonyms_Inh_Qualifiers :: OrderedTypeSynonyms
 
parentTree_Inh_Qualifiers :: InfoTree
 
patternMatchWarnings_Inh_Qualifiers :: [Warning]
 
substitution_Inh_Qualifiers :: FixpointSubstitution
 
typeschemeMap_Inh_Qualifiers :: Map Int (Scheme Predicates)
 
unboundNames_Inh_Qualifiers :: Names
 
uniqueChunk_Inh_Qualifiers :: Int
 
uniqueSecondRound_Inh_Qualifiers :: Int
 

data Syn_Qualifiers Source

Constructors

Syn_Qualifiers 

Fields

assumptions_Syn_Qualifiers :: Assumptions
 
betaUnique_Syn_Qualifiers :: Int
 
collectErrors_Syn_Qualifiers :: TypeErrors
 
collectInstances_Syn_Qualifiers :: [(Name, Instance)]
 
collectWarnings_Syn_Qualifiers :: Warnings
 
constraints_Syn_Qualifiers :: ConstraintSet
 
counter_Syn_Qualifiers :: Int
 
dictionaryEnvironment_Syn_Qualifiers :: DictionaryEnvironment
 
infoTrees_Syn_Qualifiers :: InfoTrees
 
matchIO_Syn_Qualifiers :: IO ()
 
monos_Syn_Qualifiers :: Monos
 
namesInScope_Syn_Qualifiers :: Names
 
patternMatchWarnings_Syn_Qualifiers :: [Warning]
 
self_Syn_Qualifiers :: Qualifiers
 
unboundNames_Syn_Qualifiers :: Names
 
uniqueChunk_Syn_Qualifiers :: Int
 
uniqueSecondRound_Syn_Qualifiers :: Int
 

wrap_Qualifiers :: T_Qualifiers -> Inh_Qualifiers -> Syn_Qualifiers Source

sem_Qualifiers :: Qualifiers -> T_Qualifiers Source

newtype T_Qualifiers Source

Constructors

T_Qualifiers 

Fields

attach_T_Qualifiers :: Identity T_Qualifiers_s131
 

newtype T_Qualifiers_s131 Source

Constructors

C_Qualifiers_s131 

Fields

inv_Qualifiers_s131 :: T_Qualifiers_v130
 

data T_Qualifiers_s132 Source

Constructors

C_Qualifiers_s132 

type T_Qualifiers_v130 = T_Qualifiers_vIn130 -> T_Qualifiers_vOut130 Source

data T_Qualifiers_vIn130 Source

Constructors

T_Qualifiers_vIn130 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Assumptions Predicates Int ClassEnvironment TypeErrors Warnings ConstraintSet Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Names Int Int 

data T_Qualifiers_vOut130 Source

Constructors

T_Qualifiers_vOut130 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment InfoTrees (IO ()) Monos Names [Warning] Qualifiers Names Int Int 

sem_Qualifiers_Cons :: T_Qualifier -> T_Qualifiers -> T_Qualifiers Source

sem_Qualifiers_Nil :: T_Qualifiers Source

data Inh_Range Source

Constructors

Inh_Range 

data Syn_Range Source

Constructors

Syn_Range 

Fields

self_Syn_Range :: Range
 

wrap_Range :: T_Range -> Inh_Range -> Syn_Range Source

sem_Range :: Range -> T_Range Source

newtype T_Range Source

Constructors

T_Range 

Fields

attach_T_Range :: Identity T_Range_s134
 

newtype T_Range_s134 Source

Constructors

C_Range_s134 

Fields

inv_Range_s134 :: T_Range_v133
 

data T_Range_s135 Source

Constructors

C_Range_s135 

type T_Range_v133 = T_Range_vIn133 -> T_Range_vOut133 Source

data T_Range_vIn133 Source

Constructors

T_Range_vIn133 

data T_Range_vOut133 Source

Constructors

T_Range_vOut133 Range 

sem_Range_Range :: T_Position -> T_Position -> T_Range Source

data Inh_RecordExpressionBinding Source

Constructors

Inh_RecordExpressionBinding 

Fields

allTypeSchemes_Inh_RecordExpressionBinding :: Map NameWithRange TpScheme
 
availablePredicates_Inh_RecordExpressionBinding :: Predicates
 
classEnvironment_Inh_RecordExpressionBinding :: ClassEnvironment
 
collectErrors_Inh_RecordExpressionBinding :: TypeErrors
 
collectWarnings_Inh_RecordExpressionBinding :: Warnings
 
counter_Inh_RecordExpressionBinding :: Int
 
currentChunk_Inh_RecordExpressionBinding :: Int
 
dictionaryEnvironment_Inh_RecordExpressionBinding :: DictionaryEnvironment
 
importEnvironment_Inh_RecordExpressionBinding :: ImportEnvironment
 
namesInScope_Inh_RecordExpressionBinding :: Names
 
orderedTypeSynonyms_Inh_RecordExpressionBinding :: OrderedTypeSynonyms
 
patternMatchWarnings_Inh_RecordExpressionBinding :: [Warning]
 
substitution_Inh_RecordExpressionBinding :: FixpointSubstitution
 
typeschemeMap_Inh_RecordExpressionBinding :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_RecordExpressionBinding :: Int
 

data Syn_RecordExpressionBinding Source

Constructors

Syn_RecordExpressionBinding 

Fields

collectErrors_Syn_RecordExpressionBinding :: TypeErrors
 
collectInstances_Syn_RecordExpressionBinding :: [(Name, Instance)]
 
collectWarnings_Syn_RecordExpressionBinding :: Warnings
 
counter_Syn_RecordExpressionBinding :: Int
 
dictionaryEnvironment_Syn_RecordExpressionBinding :: DictionaryEnvironment
 
patternMatchWarnings_Syn_RecordExpressionBinding :: [Warning]
 
self_Syn_RecordExpressionBinding :: RecordExpressionBinding
 
unboundNames_Syn_RecordExpressionBinding :: Names
 
uniqueChunk_Syn_RecordExpressionBinding :: Int
 

wrap_RecordExpressionBinding :: T_RecordExpressionBinding -> Inh_RecordExpressionBinding -> Syn_RecordExpressionBinding Source

sem_RecordExpressionBinding :: RecordExpressionBinding -> T_RecordExpressionBinding Source

newtype T_RecordExpressionBinding Source

Constructors

T_RecordExpressionBinding 

Fields

attach_T_RecordExpressionBinding :: Identity T_RecordExpressionBinding_s137
 

newtype T_RecordExpressionBinding_s137 Source

Constructors

C_RecordExpressionBinding_s137 

Fields

inv_RecordExpressionBinding_s137 :: T_RecordExpressionBinding_v136
 

data T_RecordExpressionBinding_s138 Source

Constructors

C_RecordExpressionBinding_s138 

type T_RecordExpressionBinding_v136 = T_RecordExpressionBinding_vIn136 -> T_RecordExpressionBinding_vOut136 Source

data T_RecordExpressionBinding_vIn136 Source

Constructors

T_RecordExpressionBinding_vIn136 (Map NameWithRange TpScheme) Predicates ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment Names OrderedTypeSynonyms [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_RecordExpressionBinding_vOut136 Source

Constructors

T_RecordExpressionBinding_vOut136 TypeErrors [(Name, Instance)] Warnings Int DictionaryEnvironment [Warning] RecordExpressionBinding Names Int 

sem_RecordExpressionBinding_RecordExpressionBinding :: T_Range -> T_Name -> T_Expression -> T_RecordExpressionBinding Source

data Inh_RecordExpressionBindings Source

Constructors

Inh_RecordExpressionBindings 

Fields

allTypeSchemes_Inh_RecordExpressionBindings :: Map NameWithRange TpScheme
 
availablePredicates_Inh_RecordExpressionBindings :: Predicates
 
classEnvironment_Inh_RecordExpressionBindings :: ClassEnvironment
 
collectErrors_Inh_RecordExpressionBindings :: TypeErrors
 
collectWarnings_Inh_RecordExpressionBindings :: Warnings
 
counter_Inh_RecordExpressionBindings :: Int
 
currentChunk_Inh_RecordExpressionBindings :: Int
 
dictionaryEnvironment_Inh_RecordExpressionBindings :: DictionaryEnvironment
 
importEnvironment_Inh_RecordExpressionBindings :: ImportEnvironment
 
namesInScope_Inh_RecordExpressionBindings :: Names
 
orderedTypeSynonyms_Inh_RecordExpressionBindings :: OrderedTypeSynonyms
 
patternMatchWarnings_Inh_RecordExpressionBindings :: [Warning]
 
substitution_Inh_RecordExpressionBindings :: FixpointSubstitution
 
typeschemeMap_Inh_RecordExpressionBindings :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_RecordExpressionBindings :: Int
 

data Syn_RecordExpressionBindings Source

Constructors

Syn_RecordExpressionBindings 

Fields

collectErrors_Syn_RecordExpressionBindings :: TypeErrors
 
collectInstances_Syn_RecordExpressionBindings :: [(Name, Instance)]
 
collectWarnings_Syn_RecordExpressionBindings :: Warnings
 
counter_Syn_RecordExpressionBindings :: Int
 
dictionaryEnvironment_Syn_RecordExpressionBindings :: DictionaryEnvironment
 
patternMatchWarnings_Syn_RecordExpressionBindings :: [Warning]
 
self_Syn_RecordExpressionBindings :: RecordExpressionBindings
 
unboundNames_Syn_RecordExpressionBindings :: Names
 
uniqueChunk_Syn_RecordExpressionBindings :: Int
 

wrap_RecordExpressionBindings :: T_RecordExpressionBindings -> Inh_RecordExpressionBindings -> Syn_RecordExpressionBindings Source

sem_RecordExpressionBindings :: RecordExpressionBindings -> T_RecordExpressionBindings Source

newtype T_RecordExpressionBindings Source

Constructors

T_RecordExpressionBindings 

Fields

attach_T_RecordExpressionBindings :: Identity T_RecordExpressionBindings_s140
 

newtype T_RecordExpressionBindings_s140 Source

Constructors

C_RecordExpressionBindings_s140 

Fields

inv_RecordExpressionBindings_s140 :: T_RecordExpressionBindings_v139
 

data T_RecordExpressionBindings_s141 Source

Constructors

C_RecordExpressionBindings_s141 

type T_RecordExpressionBindings_v139 = T_RecordExpressionBindings_vIn139 -> T_RecordExpressionBindings_vOut139 Source

data T_RecordExpressionBindings_vIn139 Source

Constructors

T_RecordExpressionBindings_vIn139 (Map NameWithRange TpScheme) Predicates ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment Names OrderedTypeSynonyms [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_RecordExpressionBindings_vOut139 Source

Constructors

T_RecordExpressionBindings_vOut139 TypeErrors [(Name, Instance)] Warnings Int DictionaryEnvironment [Warning] RecordExpressionBindings Names Int 

sem_RecordExpressionBindings_Cons :: T_RecordExpressionBinding -> T_RecordExpressionBindings -> T_RecordExpressionBindings Source

sem_RecordExpressionBindings_Nil :: T_RecordExpressionBindings Source

data Inh_RecordPatternBinding Source

Constructors

Inh_RecordPatternBinding 

Fields

counter_Inh_RecordPatternBinding :: Int
 
namesInScope_Inh_RecordPatternBinding :: Names
 
patternMatchWarnings_Inh_RecordPatternBinding :: [Warning]
 

data Syn_RecordPatternBinding Source

Constructors

Syn_RecordPatternBinding 

Fields

counter_Syn_RecordPatternBinding :: Int
 
patternMatchWarnings_Syn_RecordPatternBinding :: [Warning]
 
self_Syn_RecordPatternBinding :: RecordPatternBinding
 
unboundNames_Syn_RecordPatternBinding :: Names
 

wrap_RecordPatternBinding :: T_RecordPatternBinding -> Inh_RecordPatternBinding -> Syn_RecordPatternBinding Source

sem_RecordPatternBinding :: RecordPatternBinding -> T_RecordPatternBinding Source

newtype T_RecordPatternBinding Source

Constructors

T_RecordPatternBinding 

Fields

attach_T_RecordPatternBinding :: Identity T_RecordPatternBinding_s143
 

newtype T_RecordPatternBinding_s143 Source

Constructors

C_RecordPatternBinding_s143 

Fields

inv_RecordPatternBinding_s143 :: T_RecordPatternBinding_v142
 

data T_RecordPatternBinding_s144 Source

Constructors

C_RecordPatternBinding_s144 

type T_RecordPatternBinding_v142 = T_RecordPatternBinding_vIn142 -> T_RecordPatternBinding_vOut142 Source

data T_RecordPatternBinding_vIn142 Source

Constructors

T_RecordPatternBinding_vIn142 Int Names [Warning] 

data T_RecordPatternBinding_vOut142 Source

Constructors

T_RecordPatternBinding_vOut142 Int [Warning] RecordPatternBinding Names 

sem_RecordPatternBinding_RecordPatternBinding :: T_Range -> T_Name -> T_Pattern -> T_RecordPatternBinding Source

data Inh_RecordPatternBindings Source

Constructors

Inh_RecordPatternBindings 

Fields

counter_Inh_RecordPatternBindings :: Int
 
namesInScope_Inh_RecordPatternBindings :: Names
 
patternMatchWarnings_Inh_RecordPatternBindings :: [Warning]
 

data Syn_RecordPatternBindings Source

Constructors

Syn_RecordPatternBindings 

Fields

counter_Syn_RecordPatternBindings :: Int
 
patternMatchWarnings_Syn_RecordPatternBindings :: [Warning]
 
self_Syn_RecordPatternBindings :: RecordPatternBindings
 
unboundNames_Syn_RecordPatternBindings :: Names
 

wrap_RecordPatternBindings :: T_RecordPatternBindings -> Inh_RecordPatternBindings -> Syn_RecordPatternBindings Source

sem_RecordPatternBindings :: RecordPatternBindings -> T_RecordPatternBindings Source

newtype T_RecordPatternBindings Source

Constructors

T_RecordPatternBindings 

Fields

attach_T_RecordPatternBindings :: Identity T_RecordPatternBindings_s146
 

newtype T_RecordPatternBindings_s146 Source

Constructors

C_RecordPatternBindings_s146 

Fields

inv_RecordPatternBindings_s146 :: T_RecordPatternBindings_v145
 

data T_RecordPatternBindings_s147 Source

Constructors

C_RecordPatternBindings_s147 

type T_RecordPatternBindings_v145 = T_RecordPatternBindings_vIn145 -> T_RecordPatternBindings_vOut145 Source

data T_RecordPatternBindings_vIn145 Source

Constructors

T_RecordPatternBindings_vIn145 Int Names [Warning] 

data T_RecordPatternBindings_vOut145 Source

Constructors

T_RecordPatternBindings_vOut145 Int [Warning] RecordPatternBindings Names 

sem_RecordPatternBindings_Cons :: T_RecordPatternBinding -> T_RecordPatternBindings -> T_RecordPatternBindings Source

sem_RecordPatternBindings_Nil :: T_RecordPatternBindings Source

data Inh_RightHandSide Source

Constructors

Inh_RightHandSide 

Fields

allPatterns_Inh_RightHandSide :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_RightHandSide :: Map NameWithRange TpScheme
 
availablePredicates_Inh_RightHandSide :: Predicates
 
betaRight_Inh_RightHandSide :: Tp
 
betaUnique_Inh_RightHandSide :: Int
 
classEnvironment_Inh_RightHandSide :: ClassEnvironment
 
collectErrors_Inh_RightHandSide :: TypeErrors
 
collectWarnings_Inh_RightHandSide :: Warnings
 
counter_Inh_RightHandSide :: Int
 
currentChunk_Inh_RightHandSide :: Int
 
dictionaryEnvironment_Inh_RightHandSide :: DictionaryEnvironment
 
importEnvironment_Inh_RightHandSide :: ImportEnvironment
 
matchIO_Inh_RightHandSide :: IO ()
 
monos_Inh_RightHandSide :: Monos
 
namesInScope_Inh_RightHandSide :: Names
 
orderedTypeSynonyms_Inh_RightHandSide :: OrderedTypeSynonyms
 
parentTree_Inh_RightHandSide :: InfoTree
 
patternMatchWarnings_Inh_RightHandSide :: [Warning]
 
substitution_Inh_RightHandSide :: FixpointSubstitution
 
typeschemeMap_Inh_RightHandSide :: Map Int (Scheme Predicates)
 
uniqueChunk_Inh_RightHandSide :: Int
 

data Syn_RightHandSide Source

Constructors

Syn_RightHandSide 

Fields

assumptions_Syn_RightHandSide :: Assumptions
 
betaUnique_Syn_RightHandSide :: Int
 
collectErrors_Syn_RightHandSide :: TypeErrors
 
collectInstances_Syn_RightHandSide :: [(Name, Instance)]
 
collectWarnings_Syn_RightHandSide :: Warnings
 
constraints_Syn_RightHandSide :: ConstraintSet
 
counter_Syn_RightHandSide :: Int
 
dictionaryEnvironment_Syn_RightHandSide :: DictionaryEnvironment
 
fallthrough_Syn_RightHandSide :: Bool
 
infoTree_Syn_RightHandSide :: InfoTree
 
matchIO_Syn_RightHandSide :: IO ()
 
patternMatchWarnings_Syn_RightHandSide :: [Warning]
 
self_Syn_RightHandSide :: RightHandSide
 
unboundNames_Syn_RightHandSide :: Names
 
uniqueChunk_Syn_RightHandSide :: Int
 

wrap_RightHandSide :: T_RightHandSide -> Inh_RightHandSide -> Syn_RightHandSide Source

sem_RightHandSide :: RightHandSide -> T_RightHandSide Source

newtype T_RightHandSide Source

Constructors

T_RightHandSide 

Fields

attach_T_RightHandSide :: Identity T_RightHandSide_s149
 

newtype T_RightHandSide_s149 Source

Constructors

C_RightHandSide_s149 

Fields

inv_RightHandSide_s149 :: T_RightHandSide_v148
 

data T_RightHandSide_s150 Source

Constructors

C_RightHandSide_s150 

type T_RightHandSide_v148 = T_RightHandSide_vIn148 -> T_RightHandSide_vOut148 Source

data T_RightHandSide_vIn148 Source

Constructors

T_RightHandSide_vIn148 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Predicates Tp Int ClassEnvironment TypeErrors Warnings Int Int DictionaryEnvironment ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Int 

data T_RightHandSide_vOut148 Source

Constructors

T_RightHandSide_vOut148 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment Bool InfoTree (IO ()) [Warning] RightHandSide Names Int 

sem_RightHandSide_Expression :: T_Range -> T_Expression -> T_MaybeDeclarations -> T_RightHandSide Source

sem_RightHandSide_Guarded :: T_Range -> T_GuardedExpressions -> T_MaybeDeclarations -> T_RightHandSide Source

data Inh_SimpleType Source

Constructors

Inh_SimpleType 

data Syn_SimpleType Source

Constructors

Syn_SimpleType 

Fields

name_Syn_SimpleType :: Name
 
self_Syn_SimpleType :: SimpleType
 
typevariables_Syn_SimpleType :: Names
 

wrap_SimpleType :: T_SimpleType -> Inh_SimpleType -> Syn_SimpleType Source

sem_SimpleType :: SimpleType -> T_SimpleType Source

newtype T_SimpleType Source

Constructors

T_SimpleType 

Fields

attach_T_SimpleType :: Identity T_SimpleType_s152
 

newtype T_SimpleType_s152 Source

Constructors

C_SimpleType_s152 

Fields

inv_SimpleType_s152 :: T_SimpleType_v151
 

data T_SimpleType_s153 Source

Constructors

C_SimpleType_s153 

type T_SimpleType_v151 = T_SimpleType_vIn151 -> T_SimpleType_vOut151 Source

data T_SimpleType_vIn151 Source

Constructors

T_SimpleType_vIn151 

data T_SimpleType_vOut151 Source

Constructors

T_SimpleType_vOut151 Name SimpleType Names 

sem_SimpleType_SimpleType :: T_Range -> T_Name -> T_Names -> T_SimpleType Source

data Inh_Statement Source

Constructors

Inh_Statement 

Fields

allPatterns_Inh_Statement :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Statement :: Map NameWithRange TpScheme
 
assumptions_Inh_Statement :: Assumptions
 
availablePredicates_Inh_Statement :: Predicates
 
betaUnique_Inh_Statement :: Int
 
classEnvironment_Inh_Statement :: ClassEnvironment
 
collectErrors_Inh_Statement :: TypeErrors
 
collectWarnings_Inh_Statement :: Warnings
 
constraints_Inh_Statement :: ConstraintSet
 
counter_Inh_Statement :: Int
 
currentChunk_Inh_Statement :: Int
 
dictionaryEnvironment_Inh_Statement :: DictionaryEnvironment
 
generatorBeta_Inh_Statement :: Maybe Tp
 
importEnvironment_Inh_Statement :: ImportEnvironment
 
matchIO_Inh_Statement :: IO ()
 
monos_Inh_Statement :: Monos
 
namesInScope_Inh_Statement :: Names
 
orderedTypeSynonyms_Inh_Statement :: OrderedTypeSynonyms
 
parentTree_Inh_Statement :: InfoTree
 
patternMatchWarnings_Inh_Statement :: [Warning]
 
substitution_Inh_Statement :: FixpointSubstitution
 
typeschemeMap_Inh_Statement :: Map Int (Scheme Predicates)
 
unboundNames_Inh_Statement :: Names
 
uniqueChunk_Inh_Statement :: Int
 
uniqueSecondRound_Inh_Statement :: Int
 

data Syn_Statement Source

Constructors

Syn_Statement 

Fields

assumptions_Syn_Statement :: Assumptions
 
betaUnique_Syn_Statement :: Int
 
collectErrors_Syn_Statement :: TypeErrors
 
collectInstances_Syn_Statement :: [(Name, Instance)]
 
collectWarnings_Syn_Statement :: Warnings
 
constraints_Syn_Statement :: ConstraintSet
 
counter_Syn_Statement :: Int
 
dictionaryEnvironment_Syn_Statement :: DictionaryEnvironment
 
generatorBeta_Syn_Statement :: Maybe Tp
 
infoTree_Syn_Statement :: InfoTree
 
matchIO_Syn_Statement :: IO ()
 
monos_Syn_Statement :: Monos
 
namesInScope_Syn_Statement :: Names
 
patternMatchWarnings_Syn_Statement :: [Warning]
 
self_Syn_Statement :: Statement
 
unboundNames_Syn_Statement :: Names
 
uniqueChunk_Syn_Statement :: Int
 
uniqueSecondRound_Syn_Statement :: Int
 

wrap_Statement :: T_Statement -> Inh_Statement -> Syn_Statement Source

sem_Statement :: Statement -> T_Statement Source

newtype T_Statement Source

Constructors

T_Statement 

Fields

attach_T_Statement :: Identity T_Statement_s155
 

newtype T_Statement_s155 Source

Constructors

C_Statement_s155 

Fields

inv_Statement_s155 :: T_Statement_v154
 

data T_Statement_s156 Source

Constructors

C_Statement_s156 

type T_Statement_v154 = T_Statement_vIn154 -> T_Statement_vOut154 Source

data T_Statement_vIn154 Source

Constructors

T_Statement_vIn154 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Assumptions Predicates Int ClassEnvironment TypeErrors Warnings ConstraintSet Int Int DictionaryEnvironment (Maybe Tp) ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Names Int Int 

data T_Statement_vOut154 Source

Constructors

T_Statement_vOut154 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment (Maybe Tp) InfoTree (IO ()) Monos Names [Warning] Statement Names Int Int 

sem_Statement_Expression :: T_Range -> T_Expression -> T_Statement Source

sem_Statement_Let :: T_Range -> T_Declarations -> T_Statement Source

sem_Statement_Generator :: T_Range -> T_Pattern -> T_Expression -> T_Statement Source

sem_Statement_Empty :: T_Range -> T_Statement Source

data Inh_Statements Source

Constructors

Inh_Statements 

Fields

allPatterns_Inh_Statements :: [((Expression, [String]), Core_TypingStrategy)]
 
allTypeSchemes_Inh_Statements :: Map NameWithRange TpScheme
 
assumptions_Inh_Statements :: Assumptions
 
availablePredicates_Inh_Statements :: Predicates
 
betaUnique_Inh_Statements :: Int
 
classEnvironment_Inh_Statements :: ClassEnvironment
 
collectErrors_Inh_Statements :: TypeErrors
 
collectWarnings_Inh_Statements :: Warnings
 
constraints_Inh_Statements :: ConstraintSet
 
counter_Inh_Statements :: Int
 
currentChunk_Inh_Statements :: Int
 
dictionaryEnvironment_Inh_Statements :: DictionaryEnvironment
 
generatorBeta_Inh_Statements :: Maybe Tp
 
importEnvironment_Inh_Statements :: ImportEnvironment
 
matchIO_Inh_Statements :: IO ()
 
monos_Inh_Statements :: Monos
 
namesInScope_Inh_Statements :: Names
 
orderedTypeSynonyms_Inh_Statements :: OrderedTypeSynonyms
 
parentTree_Inh_Statements :: InfoTree
 
patternMatchWarnings_Inh_Statements :: [Warning]
 
substitution_Inh_Statements :: FixpointSubstitution
 
typeschemeMap_Inh_Statements :: Map Int (Scheme Predicates)
 
unboundNames_Inh_Statements :: Names
 
uniqueChunk_Inh_Statements :: Int
 
uniqueSecondRound_Inh_Statements :: Int
 

data Syn_Statements Source

Constructors

Syn_Statements 

Fields

assumptions_Syn_Statements :: Assumptions
 
betaUnique_Syn_Statements :: Int
 
collectErrors_Syn_Statements :: TypeErrors
 
collectInstances_Syn_Statements :: [(Name, Instance)]
 
collectWarnings_Syn_Statements :: Warnings
 
constraints_Syn_Statements :: ConstraintSet
 
counter_Syn_Statements :: Int
 
dictionaryEnvironment_Syn_Statements :: DictionaryEnvironment
 
generatorBeta_Syn_Statements :: Maybe Tp
 
infoTrees_Syn_Statements :: InfoTrees
 
matchIO_Syn_Statements :: IO ()
 
namesInScope_Syn_Statements :: Names
 
patternMatchWarnings_Syn_Statements :: [Warning]
 
self_Syn_Statements :: Statements
 
unboundNames_Syn_Statements :: Names
 
uniqueChunk_Syn_Statements :: Int
 
uniqueSecondRound_Syn_Statements :: Int
 

wrap_Statements :: T_Statements -> Inh_Statements -> Syn_Statements Source

sem_Statements :: Statements -> T_Statements Source

newtype T_Statements Source

Constructors

T_Statements 

Fields

attach_T_Statements :: Identity T_Statements_s158
 

newtype T_Statements_s158 Source

Constructors

C_Statements_s158 

Fields

inv_Statements_s158 :: T_Statements_v157
 

data T_Statements_s159 Source

Constructors

C_Statements_s159 

type T_Statements_v157 = T_Statements_vIn157 -> T_Statements_vOut157 Source

data T_Statements_vIn157 Source

Constructors

T_Statements_vIn157 [((Expression, [String]), Core_TypingStrategy)] (Map NameWithRange TpScheme) Assumptions Predicates Int ClassEnvironment TypeErrors Warnings ConstraintSet Int Int DictionaryEnvironment (Maybe Tp) ImportEnvironment (IO ()) Monos Names OrderedTypeSynonyms InfoTree [Warning] FixpointSubstitution (Map Int (Scheme Predicates)) Names Int Int 

data T_Statements_vOut157 Source

Constructors

T_Statements_vOut157 Assumptions Int TypeErrors [(Name, Instance)] Warnings ConstraintSet Int DictionaryEnvironment (Maybe Tp) InfoTrees (IO ()) Names [Warning] Statements Names Int Int 

sem_Statements_Cons :: T_Statement -> T_Statements -> T_Statements Source

sem_Statements_Nil :: T_Statements Source

data Inh_Strings Source

Constructors

Inh_Strings 

data Syn_Strings Source

Constructors

Syn_Strings 

Fields

self_Syn_Strings :: Strings
 

wrap_Strings :: T_Strings -> Inh_Strings -> Syn_Strings Source

sem_Strings :: Strings -> T_Strings Source

newtype T_Strings Source

Constructors

T_Strings 

Fields

attach_T_Strings :: Identity T_Strings_s161
 

newtype T_Strings_s161 Source

Constructors

C_Strings_s161 

Fields

inv_Strings_s161 :: T_Strings_v160
 

data T_Strings_s162 Source

Constructors

C_Strings_s162 

type T_Strings_v160 = T_Strings_vIn160 -> T_Strings_vOut160 Source

data T_Strings_vIn160 Source

Constructors

T_Strings_vIn160 

data T_Strings_vOut160 Source

Constructors

T_Strings_vOut160 Strings 

sem_Strings_Cons :: String -> T_Strings -> T_Strings Source

sem_Strings_Nil :: T_Strings Source

data Inh_Type Source

Constructors

Inh_Type 

data Syn_Type Source

Constructors

Syn_Type 

Fields

self_Syn_Type :: Type
 

wrap_Type :: T_Type -> Inh_Type -> Syn_Type Source

sem_Type :: Type -> T_Type Source

newtype T_Type Source

Constructors

T_Type 

Fields

attach_T_Type :: Identity T_Type_s164
 

newtype T_Type_s164 Source

Constructors

C_Type_s164 

Fields

inv_Type_s164 :: T_Type_v163
 

data T_Type_s165 Source

Constructors

C_Type_s165 

type T_Type_v163 = T_Type_vIn163 -> T_Type_vOut163 Source

data T_Type_vIn163 Source

Constructors

T_Type_vIn163 

data T_Type_vOut163 Source

Constructors

T_Type_vOut163 Type 

sem_Type_Application :: T_Range -> Bool -> T_Type -> T_Types -> T_Type Source

sem_Type_Variable :: T_Range -> T_Name -> T_Type Source

sem_Type_Constructor :: T_Range -> T_Name -> T_Type Source

sem_Type_Qualified :: T_Range -> T_ContextItems -> T_Type -> T_Type Source

sem_Type_Forall :: T_Range -> T_Names -> T_Type -> T_Type Source

sem_Type_Exists :: T_Range -> T_Names -> T_Type -> T_Type Source

sem_Type_Parenthesized :: T_Range -> T_Type -> T_Type Source

data Inh_Types Source

Constructors

Inh_Types 

data Syn_Types Source

Constructors

Syn_Types 

Fields

self_Syn_Types :: Types
 

wrap_Types :: T_Types -> Inh_Types -> Syn_Types Source

sem_Types :: Types -> T_Types Source

newtype T_Types Source

Constructors

T_Types 

Fields

attach_T_Types :: Identity T_Types_s167
 

newtype T_Types_s167 Source

Constructors

C_Types_s167 

Fields

inv_Types_s167 :: T_Types_v166
 

data T_Types_s168 Source

Constructors

C_Types_s168 

type T_Types_v166 = T_Types_vIn166 -> T_Types_vOut166 Source

data T_Types_vIn166 Source

Constructors

T_Types_vIn166 

data T_Types_vOut166 Source

Constructors

T_Types_vOut166 Types 

sem_Types_Cons :: T_Type -> T_Types -> T_Types Source

sem_Types_Nil :: T_Types Source