Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

  1. newtype Maybe# (a :: TYPE r)

    unlifted Data.Unlifted

    Unboxed variant of Maybe.

  2. Maybe# :: forall (r :: RuntimeRep) (a :: TYPE r) . (# (# #) | a #) -> Maybe# a

    unlifted Data.Unlifted

    No documentation available.

  3. MaybeType :: String -> ParsedType

    yeshql-core Database.YeshQL.Parser

    No documentation available.

  4. type family MaybeToList (a :: Maybe Type) :: [Type]

    Spock-api Web.Spock.Api

    No documentation available.

  5. data Maybe' a

    folds Data.Fold.Internal

    Strict Maybe

  6. data MaybeValidated a

    ghc-lib GHC.Iface.Recomp

    No documentation available.

  7. data MaybeNew

    ghc-lib GHC.Tc.Solver.Monad

    No documentation available.

  8. Maybes :: [Either String (GroverOpt (Maybe Int))] -> Result

    multiarg Multiarg.Examples.Grover

    No documentation available.

  9. module Control.Monad.MaybeK

    A continuation-passing variant of Maybe for short-circuiting at failure. This is based largely on code from the Haskell Wiki (http://www.haskell.org/haskellwiki/Performance/Monads) which was released under a simple permissive license (http://www.haskell.org/haskellwiki/HaskellWiki:Copyrights). However, various changes and extensions have been made, which are subject to the BSD license of this package.

  10. data MaybeK a

    unification-fd Control.Monad.MaybeK

    A continuation-passing encoding of Maybe; also known as Codensity Maybe, if you're familiar with that terminology. N.B., this is not the 2-continuation implementation based on the Church encoding of Maybe. The latter tends to have worse performance than non-continuation based implementations. This is generally more efficient than using Maybe for two reasons. First is that it right associates all binds, ensuring that bad associativity doesn't artificially introduce midpoints in short-circuiting to the nearest handler. Second is that it removes the need for intermediate case expressions. N.B., the Alternative and MonadPlus instances are left-biased in a. Thus, they are not commutative.

Page 27 of many | Previous | Next