Safe Haskell	None
Language	Haskell98

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 where Source

Methods

maybeNumberOfArguments :: a -> Maybe Int Source

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

Instances

MaybeApplication ConstraintInfo

class IsPattern a where Source

Methods

isPattern :: a -> Bool Source

Instances

IsPattern ConstraintInfo

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

class MaybeNegation a where Source

Methods

maybeNegation :: a -> Maybe Bool Source

Instances

MaybeNegation ConstraintInfo

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