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