Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

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

   ghc-lib	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

2. isClassOpId_maybe :: Id -> Maybe Class

   ghc-lib	GHC.Plugins

   No documentation available.

3. isCoercionTy_maybe :: Type -> Maybe Coercion

   ghc-lib	GHC.Plugins

   No documentation available.

4. isDataConId_maybe :: Id -> Maybe DataCon

   ghc-lib	GHC.Plugins

   No documentation available.

5. isDataConWorkId_maybe :: Id -> Maybe DataCon

   ghc-lib	GHC.Plugins

   No documentation available.

6. isDataConWrapId_maybe :: Id -> Maybe DataCon

   ghc-lib	GHC.Plugins

   No documentation available.

7. isFCallId_maybe :: Id -> Maybe ForeignCall

   ghc-lib	GHC.Plugins

   No documentation available.

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

   ghc-lib	GHC.Plugins

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

9. isPrimOpId_maybe :: Id -> Maybe PrimOp

   ghc-lib	GHC.Plugins

   No documentation available.

10. isReflCoVar_maybe :: Var -> Maybe Coercion

    ghc-lib	GHC.Plugins

    No documentation available.

Page 299 of many | Previous | Next