ghc-7.6.2: The GHC API

Safe HaskellNone

TcCanonical

Documentation

canonicalize :: Ct -> TcS StopOrContinueSource

flatten :: SubGoalDepth -> FlattenMode -> CtEvidence -> TcType -> TcS (Xi, TcCoercion)Source

flattenMany :: SubGoalDepth -> FlattenMode -> CtEvidence -> [Type] -> TcS ([Xi], [TcCoercion])Source

occurCheckExpand :: TcTyVar -> Type -> Maybe TypeSource

data FlattenMode Source

Constructors

FMSubstOnly 
FMFullFlatten 

data StopOrContinue Source

Constructors

ContinueWith Ct 
Stop 

Instances