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 |