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.

  1. catMaybes :: [Maybe a] -> [a]

    github GitHub.Internal.Prelude

    The catMaybes function takes a list of Maybes and returns a list of all the Just values.

    Examples

    Basic usage:
    >>> catMaybes [Just 1, Nothing, Just 3]
    [1,3]
    
    When constructing a list of Maybe values, catMaybes can be used to return all of the "success" results (if the list is the result of a map, then mapMaybe would be more appropriate):
    >>> import GHC.Internal.Text.Read ( readMaybe )
    
    >>> [readMaybe x :: Maybe Int | x <- ["1", "Foo", "3"] ]
    [Just 1,Nothing,Just 3]
    
    >>> catMaybes $ [readMaybe x :: Maybe Int | x <- ["1", "Foo", "3"] ]
    [1,3]
    

  2. executeRequestMaybe :: forall am (mt :: MediaType Type) a . (AuthMethod am, ParseResponse mt a) => Maybe am -> GenRequest mt 'RO a -> IO (Either Error a)

    github GitHub.Request

    Helper for picking between executeRequest and executeRequest'. The use is discouraged.

  3. class EventHasMaybeSender eventKind

    github-webhooks GitHub.Data.Webhooks.Events

    Represents an event that may contain its sender information.

  4. extractSymMaybe :: forall (knd :: SymbolKind) . (ExtractSym a, IsSymbolKind knd) => a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    No documentation available.

  5. extractSymMaybe1 :: forall f a (knd :: SymbolKind) . (ExtractSym1 f, ExtractSym a, IsSymbolKind knd) => f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Lift the standard extractSymMaybe to unary type constructors.

  6. extractSymMaybe2 :: forall f a b (knd :: SymbolKind) . (ExtractSym2 f, ExtractSym a, ExtractSym b, IsSymbolKind knd) => f a b -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Lift the standard extractSymMaybe to binary type constructors.

  7. genericExtractSymMaybe :: forall a (knd :: SymbolKind) . (Generic a, GExtractSym Arity0 (Rep a), IsSymbolKind knd) => a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Generic extractSym function.

  8. genericLiftExtractSymMaybe :: forall f (knd :: SymbolKind) a . (Generic1 f, GExtractSym Arity1 (Rep1 f), IsSymbolKind knd) => (a -> Maybe (SymbolSet knd)) -> f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Generic liftExtractSymMaybe function.

  9. gextractSymMaybe :: forall (knd :: SymbolKind) a . (GExtractSym arity f, IsSymbolKind knd) => ExtractSymArgs arity knd a -> f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    No documentation available.

  10. liftExtractSymMaybe :: forall (knd :: SymbolKind) a . (ExtractSym1 f, IsSymbolKind knd) => (a -> Maybe (SymbolSet knd)) -> f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Lifts the extractSymMaybe function to unary type constructors.

Page 271 of many | Previous | Next