| |||||||
| |||||||
| Synopsis | |||||||
| |||||||
| Documentation | |||||||
| tcNormaliseFamInst :: TcType -> TcM (CoercionI, TcType) | |||||||
| 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) | |||||||
| misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc) | |||||||
| failWithMisMatch :: TcType -> TcType -> TcM a | |||||||
| Produced by Haddock version 2.7.2 |