Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

  1. InstHeadTySynArgs :: IllegalInstanceHeadReason

    ghc GHC.Tc.Errors.Types

    Instance head was headed by a type synonym. Example: type MyInt = Int class C a where {..} instance C MyInt where {..} Test cases: drvfail015, mod42, TidyClassKinds, tcfail139

  2. InvalidTypeInstanceHeader :: Type -> ConversionFailReason

    ghc GHC.Tc.Errors.Types

    No documentation available.

  3. NFC_InstanceHead :: NestedForallsContextsIn

    ghc GHC.Tc.Errors.Types

    Nested forall in an instance head

  4. NFC_StandaloneDerivedInstanceHead :: NestedForallsContextsIn

    ghc GHC.Tc.Errors.Types

    Nested forall in a standalone deriving instance head

  5. SCD_HeadTyFam :: PredType -> SuperclassCycleDetail

    ghc GHC.Tc.Errors.Types

    No documentation available.

  6. SCD_HeadTyVar :: PredType -> SuperclassCycleDetail

    ghc GHC.Tc.Errors.Types

    No documentation available.

  7. TcRnBadQuantPredHead :: Type -> TcRnMessage

    ghc GHC.Tc.Errors.Types

    TcRnBadQuantPredHead is an error that occurs whenever a quantified predicate lacks a class or type variable head. Examples(s): class (forall a. A t a => A t [a]) => B t where type A t a :: Constraint Test cases: quantified-constraints/T16474

  8. addHeadCtxt :: AppCtxt -> TcM a -> TcM a

    ghc GHC.Tc.Gen.Head

    No documentation available.

  9. tcInferAppHead :: (HsExpr GhcRn, AppCtxt) -> TcM (HsExpr GhcTc, TcSigmaType)

    ghc GHC.Tc.Gen.Head

    No documentation available.

  10. tcInferAppHead_maybe :: HsExpr GhcRn -> TcM (Maybe (HsExpr GhcTc, TcSigmaType))

    ghc GHC.Tc.Gen.Head

    No documentation available.

Page 156 of many | Previous | Next