helium-1.8: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

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

Methods

isPattern :: a -> Bool Source