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

Index - P

parentTop.Implementation.TypeGraph.Basics
ParentChild 
1 (Type/Class)Top.Implementation.TypeGraph.Basics
2 (Data Constructor)Top.Implementation.TypeGraph.Basics
parentPredicateTop.Constraint.Information
participationMapTop.Implementation.TypeGraph.Path
passTop.Solver
PathTop.Implementation.TypeGraph.Path
PathHeuristicsTop.Implementation.TypeGraph.Heuristic
pathSizeTop.Implementation.TypeGraph.Path
PathStepTop.Implementation.TypeGraph.Basics
PhaseTop.Ordering.Tree
PhasedTop.Ordering.Tree
phaseTreeTop.Ordering.Tree
PolymorphismConstraintTop.Constraint.Polymorphism
PolyTypeConstraintInfoTop.Constraint.Information
popConstraintTop.Interface.Basic
possibleErrorsTop.Implementation.TypeGraph.Standard
Predicate 
1 (Type/Class)Top.Types.Classes, Top.Types
2 (Data Constructor)Top.Types.Classes, Top.Types
predicateArisingFromTop.Constraint.Information
PredicateMap 
1 (Type/Class)Top.Implementation.Overloading
2 (Data Constructor)Top.Implementation.Overloading
predicateMapTop.Implementation.Overloading
predicatePathTop.Implementation.TypeGraph.ApplyHeuristics
PredicatesTop.Types.Classes, Top.Types
priorityTop.Solver
priorityOfTypeTop.Types.Primitive, Top.Types
Product 
1 (Data Constructor)Top.Solver
2 (Type/Class)Top.Solver
propagateEqualityTop.Implementation.TypeGraph.Standard
propagateRemovalTop.Implementation.TypeGraph.Standard
ProveTop.Constraint.Qualifier
proveQsSubstTop.Implementation.Overloading
proveQualifierTop.Interface.Qualification
proveQualifiersTop.Interface.Qualification
pushConstraintTop.Interface.Basic
pushConstraintsTop.Interface.Basic
pushNamedOperationTop.Interface.Basic
pushOperationTop.Interface.Basic
putTop.Monad.StateFix, Top.Monad.Select