| Safe Haskell | None |
|---|
TcCanonical
Documentation
flatten :: SubGoalDepth -> FlattenMode -> CtEvidence -> TcType -> TcS (Xi, TcCoercion)Source
flattenMany :: SubGoalDepth -> FlattenMode -> CtEvidence -> [Type] -> TcS ([Xi], [TcCoercion])Source
data FlattenMode Source
Constructors
| FMSubstOnly | |
| FMFullFlatten |