Documentation

reportUnsolved :: (Bag WantedEvVar, Bag Implication) -> Bag FrozenError -> TcM ()Source

reportUnsolvedDeriv :: [PredType] -> WantedLoc -> TcM ()Source

reportUnsolvedWantedEvVars :: Bag WantedEvVar -> TcM ()Source

warnDefaulting :: [WantedEvVar] -> Type -> TcM ()Source

unifyCtxt :: EqOrigin -> TidyEnv -> TcM (TidyEnv, SDoc)Source

typeExtraInfoMsg :: TidyEnv -> Type -> (TidyEnv, SDoc)Source

flattenForAllErrorTcS :: CtFlavor -> TcType -> Bag CanonicalCt -> TcS aSource

solverDepthErrorTcS :: Int -> [CanonicalCt] -> TcS aSource