ghc-6.12.2: The GHC APISource codeContentsIndex
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 aSource
Produced by Haddock version 2.6.1