Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. levityType_maybe :: LevityType -> Maybe Levity

   ghc-lib	GHC.Plugins

   levityType_maybe takes a Type of kind Levity, and returns its levity May not be possible for a type variable or type family application

2. lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExpr

   ghc-lib	GHC.Plugins

   No documentation available.

3. mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv b

   ghc-lib	GHC.Plugins

   mapMaybe for b OccEnv.

4. mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv b

   ghc-lib	GHC.Plugins

   mapMaybe for b OccEnv.

5. mkBoxedRepApp_maybe :: LevityType -> Maybe Type

   ghc-lib	GHC.Plugins

   Given a Levity, apply BoxedRep to it On the fly, rewrite BoxedRep Lifted --> liftedRepTy (a synonym) BoxedRep Unlifted --> unliftedRepTy (ditto) See Note [TYPE and CONSTRAINT] in GHC.Builtin.Types.Prim. See Note [Using synonyms to compress types] in GHC.Core.Type

6. mkCONSTRAINTapp_maybe :: RuntimeRepType -> Maybe Type

   ghc-lib	GHC.Plugins

   Just like mkTYPEapp_maybe

7. mkTYPEapp_maybe :: RuntimeRepType -> Maybe Type

   ghc-lib	GHC.Plugins

   Given a RuntimeRep, applies TYPE to it. On the fly it rewrites TYPE LiftedRep --> liftedTypeKind (a synonym) TYPE UnliftedRep --> unliftedTypeKind (ditto) TYPE ZeroBitRep --> zeroBitTypeKind (ditto) NB: no need to check for TYPE (BoxedRep Lifted), TYPE (BoxedRep Unlifted) because those inner types should already have been rewritten to LiftedRep and UnliftedRep respectively, by mkTyConApp see Note [TYPE and CONSTRAINT] in GHC.Builtin.Types.Prim. See Note [Using synonyms to compress types] in GHC.Core.Type

8. mkTupleRepApp_maybe :: Type -> Maybe Type

   ghc-lib	GHC.Plugins

   Given a `[RuntimeRep]`, apply TupleRep to it On the fly, rewrite TupleRep [] -> zeroBitRepTy (a synonym) See Note [TYPE and CONSTRAINT] in GHC.Builtin.Types.Prim. See Note [Using synonyms to compress types] in GHC.Core.Type

9. nameModule_maybe :: Name -> Maybe Module

   ghc-lib	GHC.Plugins

   No documentation available.

10. namePun_maybe :: Name -> Maybe FastString

    ghc-lib	GHC.Plugins

    No documentation available.

Page 296 of many | Previous | Next