Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. idLFInfo_maybe :: Id -> Maybe LambdaFormInfo

   ghc	GHC.Plugins

   No documentation available.

2. idTagSig_maybe :: Id -> Maybe TagSig

   ghc	GHC.Plugins

   No documentation available.

3. instNewTyCon_maybe :: TyCon -> [Type] -> Maybe (Type, Coercion)

   ghc	GHC.Plugins

   If `instNewTyCon_maybe T ts = Just (rep_ty, co)` then `co :: T ts ~R# rep_ty` Checks for a newtype, and for being saturated

4. isClassOpId_maybe :: Id -> Maybe Class

   ghc	GHC.Plugins

   No documentation available.

5. isCoercionTy_maybe :: Type -> Maybe Coercion

   ghc	GHC.Plugins

   No documentation available.

6. isDataConId_maybe :: Id -> Maybe DataCon

   ghc	GHC.Plugins

   No documentation available.

7. isDataConWorkId_maybe :: Id -> Maybe DataCon

   ghc	GHC.Plugins

   No documentation available.

8. isDataConWrapId_maybe :: Id -> Maybe DataCon

   ghc	GHC.Plugins

   No documentation available.

9. isFCallId_maybe :: Id -> Maybe ForeignCall

   ghc	GHC.Plugins

   No documentation available.

10. isGReflCo_maybe :: Coercion -> Maybe (Type, Role)

    ghc	GHC.Plugins

    Returns the type coerced if this coercion is a generalized reflexive coercion. Guaranteed to work very quickly.

Page 139 of many | Previous | Next