Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. topNormaliseNewType_maybe :: Type -> Maybe (Coercion, Type)

   ghc-lib	GHC.Plugins

   Sometimes we want to look through a newtype and get its associated coercion. This function strips off newtype layers enough to reveal something that isn't a newtype. Specifically, here's the invariant:

   topNormaliseNewType_maybe rec_nts ty = Just (co, ty')
   

   then (a) co : ty ~R ty'. (b) ty' is not a newtype. The function returns Nothing for non-newtypes, or unsaturated applications This function does *not* look through type families, because it has no access to the type family environment. If you do have that at hand, consider to use topNormaliseType_maybe, which should be a drop-in replacement for topNormaliseNewType_maybe If topNormliseNewType_maybe ty = Just (co, ty'), then co : ty ~R ty'

2. tyConAppArgs_maybe :: Type -> Maybe [Type]

   ghc-lib	GHC.Plugins

   The same as snd . splitTyConApp

3. tyConAppFunCo_maybe :: HasDebugCallStack => Role -> TyCon -> [Coercion] -> Maybe Coercion

   ghc-lib	GHC.Plugins

   Return Just if this TyConAppCo should be represented as a FunCo

4. tyConAppFunTy_maybe :: HasDebugCallStack => TyCon -> [Type] -> Maybe Type

   ghc-lib	GHC.Plugins

   Return Just if this TyConApp should be represented as a FunTy

5. tyConAppTyConPicky_maybe :: Type -> Maybe TyCon

   ghc-lib	GHC.Plugins

   Retrieve the tycon heading this type, if there is one. Does not look through synonyms.

6. tyConAppTyCon_maybe :: Type -> Maybe TyCon

   ghc-lib	GHC.Plugins

   The same as fst . splitTyConApp We can short-cut the FunTy case

7. typeLevity_maybe :: HasDebugCallStack => Type -> Maybe Levity

   ghc-lib	GHC.Plugins

   Tries to compute the Levity of the given type. Returns either a definite Levity, or Nothing if we aren't sure (e.g. the type is representation-polymorphic). Panics if the kind does not have the shape TYPE r.

8. userTypeError_maybe :: Type -> Maybe ErrorMsgType

   ghc-lib	GHC.Plugins

   Is this type a custom user error? If so, give us the error message.

9. wiredInNameTyThing_maybe :: Name -> Maybe TyThing

   ghc-lib	GHC.Plugins

   No documentation available.

10. lookupGlobalOccRn_maybe :: WhichGREs GREInfo -> RdrName -> RnM (Maybe GlobalRdrElt)

    ghc-lib	GHC.Rename.Env

    No documentation available.

Page 304 of many | Previous | Next