Safe Haskell	None

Helium.StaticAnalysis.Heuristics.OnlyResultHeuristics

Description

Two (filter) heuristics that prevent an application or a negation to be reported as incorrect if only the result type is reponsible for non-unifiability.

Documentation

class MaybeApplication a whereSource

Methods

maybeNumberOfArguments :: a -> Maybe Int Source

maybeApplicationEdge :: a -> Maybe (Bool, [(UHA_Source, Tp)])Source

Instances

MaybeApplication ConstraintInfo

class IsPattern a whereSource

Methods

isPattern :: a -> Bool Source

Instances

IsPattern ConstraintInfo

avoidApplicationConstraints :: (HasTwoTypes info, MaybeApplication info) => Heuristic infoSource

class MaybeNegation a whereSource

Methods

maybeNegation :: a -> Maybe Bool Source

Instances

MaybeNegation ConstraintInfo

avoidNegationConstraints :: (HasTwoTypes info, MaybeNegation info) => Heuristic infoSource