Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. tyConAppTyConPicky_maybe :: Type -> Maybe TyCon

    ghc GHC.Core.Type

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

  2. tyConAppTyCon_maybe :: Type -> Maybe TyCon

    ghc GHC.Core.Type

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

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

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

  4. userTypeError_maybe :: Type -> Maybe ErrorMsgType

    ghc GHC.Core.Type

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

  5. exprIsTickedString_maybe :: CoreExpr -> Maybe ByteString

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

  6. getIdFromTrivialExpr_maybe :: CoreExpr -> Maybe Id

    ghc GHC.Core.Utils

    No documentation available.

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

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

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

    ghc GHC.Data.Bag

    No documentation available.

  9. headMaybe :: Bag a -> Maybe a

    ghc GHC.Data.Bag

    No documentation available.

  10. mapMaybeBag :: (a -> Maybe b) -> Bag a -> Bag b

    ghc GHC.Data.Bag

    No documentation available.

Page 127 of many | Previous | Next