| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Tc.Solver.Irred
Documentation
solveIrred :: IrredCt -> SolverStage Void Source #
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Tc.Solver.Irred
solveIrred :: IrredCt -> SolverStage Void Source #