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