ghc-6.12.2: The GHC API Source code Contents Index

TcTyFuns

Synopsis

tcNormaliseFamInst :: TcType -> TcM (CoercionI, TcType) tcReduceEqs :: [Inst] -> [Inst] -> TcM ([Inst], [Inst], TcTyVarBinds, TcDictBinds) misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc) failWithMisMatch :: TcType -> TcType -> TcM a

Documentation

tcNormaliseFamInst :: TcType -> TcM (CoercionI, TcType) Source

Normalise the given type as far as possible with toplevel equalities. This results in a coercion witnessing the type equality, in addition to the normalised type.

tcReduceEqs :: [Inst] -> [Inst] -> TcM ([Inst], [Inst], TcTyVarBinds, TcDictBinds) Source

misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc) Source

failWithMisMatch :: TcType -> TcType -> TcM a Source

Produced by Haddock version 2.6.1