Top-1.7: Constraint solving framework employed by the Helium Compiler.

Index - S

scEntailTop.Types.Classes, Top.Types
SchemeTop.Types.Schemes, Top.Types
schemeMapTop.Implementation.TypeInference
Select 
1 (Type/Class)Top.Monad.Select
2 (Data Constructor)Top.Monad.Select
selectTop.Monad.Select
selectConstraintNumbersTop.Implementation.TypeGraph.DefaultHeuristics
SelectFix 
1 (Type/Class)Top.Monad.Select
2 (Data Constructor)Top.Monad.Select
selectFixTop.Monad.Select
Selector 
1 (Type/Class)Top.Implementation.TypeGraph.Heuristic
2 (Data Constructor)Top.Implementation.TypeGraph.Heuristic
SelectorListTop.Implementation.TypeGraph.Heuristic
seqListTop.Implementation.TypeGraph.Path
seqList1Top.Implementation.TypeGraph.Path
sequenceTop.Monad.StateFix, Top.Monad.Select, Top.Solver
sequence_Top.Monad.StateFix, Top.Monad.Select, Top.Solver
setCheckConditionsTop.Solver
setClassEnvironmentTop.Interface.Qualification
setETop.Util.Embedding
setOptionTop.Util.Option
setPossibleInconsistentGroupsTop.Implementation.TypeGraph.Standard
setSkolemsTop.Interface.TypeInference
setStopAfterFirstErrorTop.Solver
setTypeSynonymsTop.Interface.TypeInference
setUniqueTop.Interface.TypeInference
showAllTheSameTop.Types.Quantification, Top.Types
showContextTop.Types.Qualification, Top.Types
showContextSimpleTop.Types.Qualification, Top.Types
showKindTop.Types.Kinds, Top.Types
showKindSchemeTop.Types.Kinds, Top.Types
ShowQualifiersTop.Types.Qualification, Top.Types
showQualifiersTop.Types.Qualification, Top.Types
showQuantorTop.Types.Quantification, Top.Types
ShowQuantorOptions 
1 (Type/Class)Top.Types.Quantification, Top.Types
2 (Data Constructor)Top.Types.Quantification, Top.Types
ShowQuantorsTop.Types.Quantification, Top.Types
showQuantorsTop.Types.Quantification, Top.Types
showQuantorsWithoutTop.Types.Quantification, Top.Types
showStateTop.Implementation.General
showTopLevelQuantorsTop.Types.Quantification, Top.Types
SigmaTop.Types.Schemes, Top.Types
SigmaPredsTop.Types.Schemes, Top.Types
SigmaSchemeTop.Types.Schemes, Top.Types
SigmaVar 
1 (Type/Class)Top.Types.Schemes, Top.Types
2 (Data Constructor)Top.Types.Schemes, Top.Types
Simple 
1 (Type/Class)Top.Implementation.General
2 (Data Constructor)Top.Implementation.General
SimpleState 
1 (Type/Class)Top.Implementation.SimpleSubstitution
2 (Data Constructor)Top.Implementation.SimpleSubstitution
simplifyTop.Implementation.Overloading
simplifyPathTop.Implementation.TypeGraph.Path
simplifyQualifiersTop.Interface.Qualification
singleEntryTop.Solver
singleSubstitutionTop.Types.Substitution, Top.Types
SkolemizeTop.Constraint.Polymorphism
skolemizeTop.Types.Quantification, Top.Types
skolemizedTypeSchemeTop.Constraint.Information
skolemizeFakedTop.Interface.TypeInference
skolemizeFTVTop.Types.Quantification, Top.Types
skolemizeTrulyTop.Interface.TypeInference
skolemPrefixTop.Types.Quantification, Top.Types
skolemsTop.Implementation.TypeInference
skolemVersusConstantLabelTop.Interface.TypeInference
skolemVersusSkolemLabelTop.Interface.TypeInference
sndETop.Util.Embedding
SolvableTop.Constraint
solveTop.Solver
solveChunkConstraintsTop.Solver.PartitionCombinator
solveConstraintTop.Constraint
solveConstraintsTop.Solver
solveGreedyTop.Solver.Greedy
SolveOptionsTop.Solver
solveOptionsTop.Solver
SolveOptions_Top.Solver
SolveResult 
1 (Type/Class)Top.Solver
2 (Data Constructor)Top.Solver
solveResultTop.Solver
solveSimpleTop.Solver.Greedy
SolveStateTop.Implementation.General
solveTypeGraphTop.Solver.TypeGraph
splitTop.Types.Qualification, Top.Types
splitClassTop.Implementation.TypeGraph.Standard
splitGroupTop.Implementation.TypeGraph.EquivalenceGroup
SpreadTop.Ordering.Tree
SpreadedTop.Ordering.Tree
spreadTreeTop.Ordering.Tree
standardClassesTop.Types.Classes, Top.Types
StandardTypeGraphTop.Implementation.TypeGraph.Standard
starTop.Types.Kinds, Top.Types
startSolvingTop.Interface.Basic
StateTop.Monad.StateFix, Top.Monad.Select
stateTop.Monad.StateFix, Top.Monad.Select
StateFixTop.Monad.StateFix
StateFixTTop.Monad.StateFix
stateNameTop.Implementation.General
stateOptionsTop.Implementation.General
StateT 
1 (Type/Class)Top.Monad.StateFix, Top.Monad.Select
2 (Data Constructor)Top.Monad.StateFix, Top.Monad.Select
StepTop.Implementation.TypeGraph.Path
stepsTop.Implementation.TypeGraph.Path
STGTop.Implementation.TypeGraph.Standard
stopAfterFirstErrorTop.Interface.Basic
stopOptionTop.Interface.Basic
storeTypeSchemeTop.Interface.TypeInference
StrictOrderTop.Ordering.Tree
stringAsTypeSynonymTop.Types.Synonym, Top.Types
stringTypeTop.Types.Primitive, Top.Types
SubstitutableTop.Types.Substitution, Top.Types
substituteType 
1 (Function)Top.Implementation.TypeGraph.Class
2 (Function)Top.Implementation.TypeGraph.ClassMonadic
substituteTypeSafe 
1 (Function)Top.Implementation.TypeGraph.Class
2 (Function)Top.Implementation.TypeGraph.ClassMonadic
substituteVariable 
1 (Function)Top.Implementation.TypeGraph.Class
2 (Function)Top.Implementation.TypeGraph.ClassMonadic
SubstitutionTop.Types.Substitution, Top.Types
substitutionFromResultTop.Solver
substPredicateTop.Implementation.Overloading
Sum 
1 (Data Constructor)Top.Solver
2 (Type/Class)Top.Solver
SumLeftTop.Constraint
SumRightTop.Constraint
superclassesTop.Types.Classes, Top.Types
superclassPathsTop.Types.Classes, Top.Types
synonymsTop.Implementation.TypeInference