Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. PhiBotCt :: Id -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   PhiBotCt x encodes "x ~ ⊥", equating x to ⊥. by K.

2. PhiConCt :: Id -> PmAltCon -> [TyVar] -> [PredType] -> [Id] -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   PhiConCt x K tvs dicts ys encodes K @tvs dicts ys <- x, matching x against the PmAltCon application K @tvs dicts ys, binding tvs, dicts and possibly unlifted fields ys in the process. See Note [Strict fields and variables of unlifted type].

3. PhiCoreCt :: Id -> CoreExpr -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   PhiCoreCt x e encodes "x ~ e", equating x with the CoreExpr e.

4. data PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

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

5. type PhiCts = Bag PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   No documentation available.

6. PhiNotBotCt :: Id -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

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

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

   ghc	GHC.HsToCore.Pmc.Solver

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

8. PhiTyCt :: PredType -> PhiCt

   ghc	GHC.HsToCore.Pmc.Solver

   A type constraint "T ~ U".

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

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

10. data PmAltCon

    ghc	GHC.HsToCore.Pmc.Solver.Types

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

Page 128 of many | Previous | Next