ghc-7.10.3: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcFlatten

Synopsis

Documentation

data FlattenEnv Source

Constructors

FE 

Fields

fe_mode :: FlattenMode
 
fe_loc :: CtLoc
 
fe_flavour :: CtFlavour
 
fe_eq_rel :: EqRel
 

data FlattenMode Source

Constructors

FM_FlattenAll 
FM_Avoid TcTyVar Bool 
FM_SubstOnly 

mkFlattenEnv :: FlattenMode -> CtEvidence -> FlattenEnv Source

flatten :: FlattenMode -> CtEvidence -> TcType -> TcS (Xi, TcCoercion) Source

flattenMany :: FlattenMode -> CtEvidence -> [Role] -> [TcType] -> TcS ([Xi], [TcCoercion]) Source

flatten_many :: FlattenEnv -> [Role] -> [Type] -> TcS ([Xi], [TcCoercion]) Source

flattenFamApp :: FlattenMode -> CtEvidence -> TyCon -> [TcType] -> TcS (Xi, TcCoercion) Source

flattenTyVarOuter :: FlattenEnv -> TcTyVar -> TcS (Either TyVar (TcType, TcCoercion)) Source

unflatten :: Cts -> Cts -> TcS Cts Source

eqCanRewrite :: CtEvidence -> CtEvidence -> Bool Source

eqCanRewriteFR :: CtFlavourRole -> CtFlavourRole -> Bool Source

canRewriteOrSame :: CtEvidence -> CtEvidence -> Bool Source

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