Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. NoSuggestUndecidableInstaces :: SuggestUndecidableInstances

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. NonCanonicalMonoid :: NonCanonical_Monoid -> NonCanonicalDefinition

   ghc	GHC.Tc.Errors.Types

   Related to (<>) and mappend.

3. data NonCanonical_Monoid

   ghc	GHC.Tc.Errors.Types

   Possible cases for the -Wnoncanonical-monoid-instances.

4. data PatSynInvalidRhsReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

5. data RoleValidationFailedReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. data SuggestUndecidableInstances

   ghc	GHC.Tc.Errors.Types

   No documentation available.

7. SynAbstractDataInvalidRHS :: !NonEmpty Type -> SynAbstractDataError

   ghc	GHC.Tc.Errors.Types

   The type synonym RHS contained invalid types, e.g. a type family or a forall.

8. TcRnExpectedValueId :: TcTyThing -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnExpectedValueId is an error occurring when something that is not a value identifier is used where one is expected. Example(s): none Test cases: none

9. TcRnExportHiddenComponents :: IE GhcPs -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnExportHiddenComponents is an error that occurs when an export contains constructor or class methods that are not visible. Example(s): None Test cases: None

10. TcRnFieldUpdateInvalidType :: [(FieldLabelString, TcType)] -> TcRnMessage

    ghc	GHC.Tc.Errors.Types

    TcRnFieldUpdateInvalidType is an error occurring when an updated field's type mentions something that is outside the universally quantified variables of the data constructor, such as an existentially quantified type. Example(s): data X = forall a. MkX { f :: a } x = (MkX ()) { f = False } Test cases: patsynshould_failrecords-exquant typecheckshould_failT3323

Page 549 of many | Previous | Next