ghc-7.10.3: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcFlatten

Synopsis

Documentation

type CtFlavourRole = (CtFlavour, EqRel) Source

Whether or not one Ct can rewrite another is determined by its flavour and its equality relation

ctEvFlavourRole :: CtEvidence -> CtFlavourRole Source

Extract the flavour and role from a CtEvidence

ctFlavourRole :: Ct -> CtFlavourRole Source

Extract the flavour and role from a Ct