| Safe Haskell | None | 
|---|---|
| Language | Haskell2010 | 
TcFlatten
Documentation
data FlattenMode #
Constructors
| FM_FlattenAll | |
| FM_SubstOnly | 
Instances
| Outputable FlattenMode # | |
| Defined in TcFlatten | |
flatten :: FlattenMode -> CtEvidence -> TcType -> TcS (Xi, TcCoercion) #
flattenKind :: CtLoc -> CtFlavour -> TcType -> TcS (Xi, TcCoercionN) #
flattenArgsNom :: CtEvidence -> TyCon -> [TcType] -> TcS ([Xi], [TcCoercion], TcCoercionN) #