Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. funTyConAppTy_maybe :: FunTyFlag -> Type -> Type -> Type -> Maybe (TyCon, [Type])

   ghc-lib-parser	GHC.Core.Type

   Given the components of a FunTy figure out the corresponding TyConApp.

2. getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)

   ghc-lib-parser	GHC.Core.Type

   If the type is a tyvar, possibly under a cast, returns it, along with the coercion. Thus, the co is :: kind tv ~N kind ty

3. getTyVar_maybe :: Type -> Maybe TyVar

   ghc-lib-parser	GHC.Core.Type

   Attempts to obtain the type variable underlying a Type

4. isCoercionTy_maybe :: Type -> Maybe Coercion

   ghc-lib-parser	GHC.Core.Type

   No documentation available.

5. kindBoxedRepLevity_maybe :: Type -> Maybe Levity

   ghc-lib-parser	GHC.Core.Type

   Check whether a kind is of the form `TYPE (BoxedRep Lifted)` or `TYPE (BoxedRep Unlifted)`. Returns:

   • `Just Lifted` for `TYPE (BoxedRep Lifted)` and Type,
   • `Just Unlifted` for `TYPE (BoxedRep Unlifted)` and UnliftedType,
   • Nothing for anything else, e.g. `TYPE IntRep`, `TYPE (BoxedRep l)`, etc.

6. kindRep_maybe :: HasDebugCallStack => Kind -> Maybe RuntimeRepType

   ghc-lib-parser	GHC.Core.Type

   Given a kind (TYPE rr) or (CONSTRAINT rr), extract its RuntimeRep classifier rr. For example, kindRep_maybe * = Just LiftedRep Returns Nothing if the kind is not of form (TYPE rr)

7. levityType_maybe :: LevityType -> Maybe Levity

   ghc-lib-parser	GHC.Core.Type

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

8. mkBoxedRepApp_maybe :: LevityType -> Maybe Type

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

9. mkCONSTRAINTapp_maybe :: RuntimeRepType -> Maybe Type

   ghc-lib-parser	GHC.Core.Type

   Just like mkTYPEapp_maybe

10. mkTYPEapp_maybe :: RuntimeRepType -> Maybe Type

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

Page 196 of many | Previous | Next