Documentation

reportUnsolved :: WantedConstraints -> TcM ()

warnDefaulting :: [Ct] -> Type -> TcM ()

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

flattenForAllErrorTcS :: CtFlavor -> TcType -> TcS a

solverDepthErrorTcS :: Int -> [Ct] -> TcS a