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. isTupleTyOcc_maybe :: Module -> OccName -> Maybe Name

   ghc	GHC.Builtin.Types

   No documentation available.

2. mkMaybeTy :: Type -> Kind

   ghc	GHC.Builtin.Types

   No documentation available.

3. mkPromotedMaybeTy :: Kind -> Maybe Type -> Type

   ghc	GHC.Builtin.Types

   No documentation available.

4. getPicBaseMaybeNat :: NatM (Maybe Reg)

   ghc	GHC.CmmToAsm.Monad

   No documentation available.

5. collectNValBinders_maybe :: Arity -> CoreExpr -> Maybe ([Var], CoreExpr)

   ghc	GHC.Core

   Strip off exactly N leading value lambdas returning all the binders found up to that point Return Nothing if there aren't enough

6. expandUnfolding_maybe :: Unfolding -> Maybe CoreExpr

   ghc	GHC.Core

   No documentation available.

7. getCoVar_maybe :: Coercion -> Maybe CoVar

   ghc	GHC.Core.Coercion

   Extract a covar, if possible. This check is dirty. Be ashamed of yourself. (It's dirty because it cares about the structure of a coercion, which is morally reprehensible.)

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

   ghc	GHC.Core.Coercion

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

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

   ghc	GHC.Core.Coercion

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

10. isReflCoVar_maybe :: Var -> Maybe Coercion

    ghc	GHC.Core.Coercion

    No documentation available.

Page 117 of many | Previous | Next