Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. mkBoxedRepApp_maybe :: LevityType -> Maybe Type

   ghc	GHC.Core.Type

   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

2. mkCONSTRAINTapp_maybe :: RuntimeRepType -> Maybe Type

   ghc	GHC.Core.Type

   Just like mkTYPEapp_maybe

3. mkTYPEapp_maybe :: RuntimeRepType -> Maybe Type

   ghc	GHC.Core.Type

   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

4. mkTupleRepApp_maybe :: Type -> Maybe Type

   ghc	GHC.Core.Type

   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

5. namedPiTyBinder_maybe :: PiTyBinder -> Maybe TyCoVar

   ghc	GHC.Core.Type

   No documentation available.

6. repGetTyVar_maybe :: Type -> Maybe TyVar

   ghc	GHC.Core.Type

   Attempts to obtain the type variable underlying a Type, without any expansion

7. runtimeRepLevity_maybe :: RuntimeRepType -> Maybe Levity

   ghc	GHC.Core.Type

   Check whether a type (usually of kind RuntimeRep) is lifted, unlifted, or unknown. Returns Nothing if the type isn't of kind RuntimeRep. `runtimeRepLevity_maybe rr` returns:

   • `Just Lifted` if rr is `LiftedRep :: RuntimeRep`
   • `Just Unlifted` if rr is definitely unlifted, e.g. IntRep
   • Nothing if not known (e.g. it's a type variable or a type family application).

8. sORTKind_maybe :: Kind -> Maybe (TypeOrConstraint, Type)

   ghc	GHC.Core.Type

   No documentation available.

9. splitAppTyNoView_maybe :: HasDebugCallStack => Type -> Maybe (Type, Type)

   ghc	GHC.Core.Type

   Does the AppTy split as in splitAppTy_maybe, but assumes that any coreView stuff is already done

10. splitAppTy_maybe :: Type -> Maybe (Type, Type)

    ghc	GHC.Core.Type

    Attempt to take a type application apart, whether it is a function, type constructor, or plain type application. Note that type family applications are NEVER unsaturated by this!

Page 129 of many | Previous | Next