ghc-8.8.3: The GHC API
Safe HaskellNone
LanguageHaskell2010

TcFlatten

Documentation

data FlattenMode Source #

Constructors

FM_FlattenAll 
FM_SubstOnly 

Instances

Instances details
Outputable FlattenMode Source # 
Instance details

Defined in TcFlatten

Methods

ppr :: FlattenMode -> SDoc Source #

pprPrec :: Rational -> FlattenMode -> SDoc Source #

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

flattenKind :: CtLoc -> CtFlavour -> TcType -> TcS (Xi, TcCoercionN) Source #

flattenArgsNom :: CtEvidence -> TyCon -> [TcType] -> TcS ([Xi], [TcCoercion], TcCoercionN) Source #

unflattenWanteds :: Cts -> Cts -> TcS Cts Source #