helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics

Description

 

Documentation

class HasTrustFactor a where Source

Methods

trustFactor :: a -> Float Source

Instances

avoidTrustedConstraints :: HasTrustFactor info => Heuristic info Source

class HasDirection a where Source

Methods

isTopDown :: a -> Bool Source

Instances

avoidFolkloreConstraints :: HasDirection info => Heuristic info Source

typeVariableInvolved :: HasTwoTypes info => Heuristic info Source

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