PatternSynonymsChecker.hs

module Language.Haskell.Tools.Refactor.Builtin.ExtensionOrganizer.Checkers.PatternSynonymsChecker where

import Language.Haskell.Tools.Refactor (PatternSignature, PatternSynonym)
import Language.Haskell.Tools.Refactor.Builtin.ExtensionOrganizer.ExtMonad

-- NOTE: Here we implicitly constrained the type with ExtDomain.
--       but we don't really need any.

chkPatternSynonymsSyn :: CheckNode PatternSynonym
chkPatternSynonymsSyn = conditional chkPatternSynonymsSyn' PatternSynonyms

chkPatternSynonymsSyn' :: CheckNode PatternSynonym
chkPatternSynonymsSyn' = addEvidence PatternSynonyms

chkPatternSynonymsTypeSig :: CheckNode PatternSignature
chkPatternSynonymsTypeSig = conditional (addEvidence PatternSynonyms) PatternSynonyms