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. namedPiTyBinder_maybe :: PiTyBinder -> Maybe TyCoVar

   ghc-lib	GHC.Plugins

   No documentation available.

2. recordSelectorTyCon_maybe :: Id -> Maybe RecSelParent

   ghc-lib	GHC.Plugins

   No documentation available.

3. repGetTyVar_maybe :: Type -> Maybe TyVar

   ghc-lib	GHC.Plugins

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

4. runtimeRepLevity_maybe :: RuntimeRepType -> Maybe Levity

   ghc-lib	GHC.Plugins

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

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

   ghc-lib	GHC.Plugins

   No documentation available.

6. setNominalRole_maybe :: Role -> Coercion -> Maybe CoercionN

   ghc-lib	GHC.Plugins

   Converts a coercion to be nominal, if possible. See Note [Role twiddling functions]

7. splitAppCo_maybe :: Coercion -> Maybe (Coercion, Coercion)

   ghc-lib	GHC.Plugins

   Attempt to take a coercion application apart.

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

   ghc-lib	GHC.Plugins

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

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

   ghc-lib	GHC.Plugins

   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!

10. splitCastTy_maybe :: Type -> Maybe (Type, Coercion)

    ghc-lib	GHC.Plugins

    No documentation available.

Page 297 of many | Previous | Next