Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. data PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   A high-level pattern-match constraint. Corresponds to φ from Figure 3 of the LYG paper.

2. type PhiCts = Bag PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   No documentation available.

3. PhiNotBotCt :: Id -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   PhiNotBotCt x y encodes "x ≁ ⊥", asserting that x can't be ⊥.

4. PhiNotConCt :: Id -> PmAltCon -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   PhiNotConCt x K encodes "x ≁ K", asserting that x can't be headed by K.

5. PhiTyCt :: PredType -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   A type constraint "T ~ U".

6. PACA :: PmAltCon -> [TyVar] -> [Id] -> PmAltConApp

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

7. data PmAltCon

   ghc	GHC.HsToCore.Pmc.Solver.Types

   Represents the head of a match against a ConLike or literal. Really similar to AltCon.

8. data PmAltConApp

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

9. PmAltConLike :: ConLike -> PmAltCon

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

10. data PmAltConSet

    ghc	GHC.HsToCore.Pmc.Solver.Types

    No documentation available.

Page 128 of many | Previous | Next