ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcFlatten

Synopsis

Documentation

type CtFlavourRole = (CtFlavour, EqRel)

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

ctEvFlavourRole :: CtEvidence -> CtFlavourRole

Extract the flavour and role from a CtEvidence

ctFlavourRole :: Ct -> CtFlavourRole

Extract the flavour and role from a Ct