Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. isCoercionTy_maybe :: Type -> Maybe Coercion

   ghc	GHC.Plugins

   No documentation available.

2. isDataConId_maybe :: Id -> Maybe DataCon

   ghc	GHC.Plugins

   No documentation available.

3. isDataConWorkId_maybe :: Id -> Maybe DataCon

   ghc	GHC.Plugins

   No documentation available.

4. isDataConWrapId_maybe :: Id -> Maybe DataCon

   ghc	GHC.Plugins

   No documentation available.

5. isFCallId_maybe :: Id -> Maybe ForeignCall

   ghc	GHC.Plugins

   No documentation available.

6. 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.

7. isPrimOpId_maybe :: Id -> Maybe PrimOp

   ghc	GHC.Plugins

   No documentation available.

8. isReflCoVar_maybe :: Var -> Maybe Coercion

   ghc	GHC.Plugins

   No documentation available.

9. isReflCo_maybe :: Coercion -> Maybe (Type, Role)

   ghc	GHC.Plugins

   Returns the type coerced if this coercion is reflexive. Guaranteed to work very quickly. Sometimes a coercion can be reflexive, but not obviously so. c.f. isReflexiveCo_maybe

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

    ghc	GHC.Plugins

    Extracts the coerced type from a reflexive coercion. This potentially walks over the entire coercion, so avoid doing this in a loop.

Page 135 of many | Previous | Next