helium-1.8: The Helium Compiler.

Safe Haskell	None

Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics

Description

Documentation

class HasTrustFactor a whereSource

Methods

trustFactor :: a -> Float Source

Instances

HasTrustFactor ConstraintInfo

avoidTrustedConstraints :: HasTrustFactor info => Heuristic infoSource

class HasDirection a whereSource

Methods

isTopDown :: a -> Bool Source

Instances

HasDirection ConstraintInfo

avoidFolkloreConstraints :: HasDirection info => Heuristic infoSource

typeVariableInvolved :: HasTwoTypes info => Heuristic infoSource

changeTypeVariables :: Int -> Tp -> (Int, Tp)Source