| 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) #