ghc-9.15: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.FunDeps

Description

Solving Class constraints CDictCan

Documentation

tryDictFunDeps :: DictCt -> SolverStage () Source #

tryEqFunDeps :: EqCt -> SolverStage () Source #