helium-1.8.1: The Helium Compiler.

Safe Haskell	None
Language	Haskell98

Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics

Description

Documentation

class HasTrustFactor a where Source

Methods

trustFactor :: a -> Float Source

Instances

HasTrustFactor ConstraintInfo

avoidTrustedConstraints :: HasTrustFactor info => Heuristic info Source

class HasDirection a where Source

Methods

isTopDown :: a -> Bool Source

Instances

HasDirection ConstraintInfo

avoidFolkloreConstraints :: HasDirection info => Heuristic info Source

typeVariableInvolved :: HasTwoTypes info => Heuristic info Source

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