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. tyConAppFunCo_maybe :: HasDebugCallStack => Role -> TyCon -> [Coercion] -> Maybe Coercion

   ghc-lib-parser	GHC.Core.Type

   Return Just if this TyConAppCo should be represented as a FunCo

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

   ghc-lib-parser	GHC.Core.Type

   Return Just if this TyConApp should be represented as a FunTy

3. tyConAppTyConPicky_maybe :: Type -> Maybe TyCon

   ghc-lib-parser	GHC.Core.Type

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

4. tyConAppTyCon_maybe :: Type -> Maybe TyCon

   ghc-lib-parser	GHC.Core.Type

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

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

   ghc-lib-parser	GHC.Core.Type

   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.

6. userTypeError_maybe :: Type -> Maybe ErrorMsgType

   ghc-lib-parser	GHC.Core.Type

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

7. exprIsTickedString_maybe :: CoreExpr -> Maybe ByteString

   ghc-lib-parser	GHC.Core.Utils

   Extract a literal string from an expression that is zero or more Ticks wrapped around a literal string. Returns Nothing if the expression has a different shape. Used to "look through" Ticks in places that need to handle literal strings.

8. getIdFromTrivialExpr_maybe :: CoreExpr -> Maybe Id

   ghc-lib-parser	GHC.Core.Utils

   No documentation available.

9. normSplitTyConApp_maybe :: FamInstEnvs -> Type -> Maybe (TyCon, [Type], Coercion)

   ghc-lib-parser	GHC.Core.Utils

   If normSplitTyConApp_maybe _ ty = Just (tc, tys, co) then ty |> co = tc tys. It's splitTyConApp_maybe, but looks through coercions via topNormaliseType_maybe. Hence the "norm" prefix.

10. catBagMaybes :: Bag (Maybe a) -> Bag a

    ghc-lib-parser	GHC.Data.Bag

    No documentation available.

Page 199 of many | Previous | Next