Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. mkTyFamInstEqn :: SrcSpan -> HsOuterFamEqnTyVarBndrs GhcPs -> LHsType GhcPs -> LHsType GhcPs -> [AddEpAnn] -> P (LTyFamInstEqn GhcPs)

   ghc	GHC.Parser.PostProcess

   No documentation available.

2. requireExplicitNamespaces :: MonadP m => SrcSpan -> m ()

   ghc	GHC.Parser.PostProcess

   No documentation available.

3. requireLTPuns :: PsErrPunDetails -> Located a -> Located b -> P ()

   ghc	GHC.Parser.PostProcess

   Emit an error of type PsErrInvalidPun with a location from start to end if the extension ListTuplePuns is disabled. This is used in Parser.y to guard rules that require punning.

4. warnPrepositiveQualifiedModule :: SrcSpan -> P ()

   ghc	GHC.Parser.PostProcess

   No documentation available.

5. Required :: ForAllTyFlag

   ghc	GHC.Plugins

   No documentation available.

6. mkEqPredCoOcc :: OccName -> OccName

   ghc	GHC.Plugins

   No documentation available.

7. mkEqPredCoOcc :: OccName -> OccName

   ghc	GHC.Plugins

   No documentation available.

8. mkNomPrimEqPred :: Kind -> Type -> Type -> Type

   ghc	GHC.Plugins

   Creates a primitive nominal type equality predicate with an explicit (but homogeneous) kind: (~#) k k ty1 ty2

9. mkPrimEqPred :: Type -> Type -> Type

   ghc	GHC.Plugins

   Creates a primitive nominal type equality predicate. t1 ~# t2 Invariant: the types are not Coercions

10. mkPrimEqPredRole :: Role -> Type -> Type -> PredType

    ghc	GHC.Plugins

    Makes a lifted equality predicate at the given role

Page 208 of many | Previous | Next