Documentation

reportUnsolved :: WantedConstraints -> TcM ()Source

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

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

flattenForAllErrorTcS :: CtFlavor -> TcType -> TcS aSource

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