Hoogle Search

Within LTS Haskell 24.56 (ghc-9.10.3)

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

Exact lookup

1. firstMaybe :: (a -> Maybe b) -> [a] -> Maybe b

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

2. exprSortMaybe :: Expr -> Maybe Sort

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

3. failMaybe :: Env -> ModName -> Either e r -> Either e (Maybe r)

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Types

   Handling failed resolution

4. synTyConRhs_maybe :: TyCon -> Maybe Type

   liquidhaskell-boot	Language.Haskell.Liquid.GHC.Misc

   No documentation available.

5. zipMaybe :: [a] -> [b] -> Maybe [(a, b)]

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

6. bndrIsJoin_maybe :: OutputableBndr a => a -> JoinPointHood

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. dataConWrapId_maybe :: DataCon -> Maybe Id

   liquidhaskell-boot	Liquid.GHC.API

   Get the Id of the DataCon wrapper: a function that wraps the "actual" constructor so it has the type visible in the source program: c.f. dataConWorkId. Returns Nothing if there is no wrapper, which occurs for an algebraic data constructor and also for a newtype (whose constructor is inlined compulsorily)

8. getClassPredTys_maybe :: PredType -> Maybe (Class, [Type])

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. isClassOpId_maybe :: Id -> Maybe Class

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

10. nameModule_maybe :: Name -> Maybe Module

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 250 of many | Previous | Next