Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. any :: Foldable t => (a -> Bool) -> t a -> Bool

    cabal-install-solver Distribution.Solver.Compat.Prelude

    Determines whether any element of the structure satisfies the predicate.

    Examples

    Basic usage: 
    >>> any (> 3) []
False

    >>> any (> 3) [1,2]
False

    >>> any (> 3) [1,2,3,4,5]
True

    >>> any (> 3) [1..]
True

    >>> any (> 3) [0, -1..]
* Hangs forever *

  2. any :: Foldable t => (a -> Bool) -> t a -> Bool

    ihaskell IHaskellPrelude

    Determines whether any element of the structure satisfies the predicate.

    Examples

    Basic usage: 
    >>> any (> 3) []
False

    >>> any (> 3) [1,2]
False

    >>> any (> 3) [1,2,3,4,5]
True

    >>> any (> 3) [1..]
True

    >>> any (> 3) [0, -1..]
* Hangs forever *

  3. any :: Foldable t => (a -> Bool) -> t a -> Bool

    incipit-base Incipit.Foldable

    Determines whether any element of the structure satisfies the predicate.

    Examples

    Basic usage: 
    >>> any (> 3) []
False

    >>> any (> 3) [1,2]
False

    >>> any (> 3) [1,2,3,4,5]
True

    >>> any (> 3) [1..]
True

    >>> any (> 3) [0, -1..]
* Hangs forever *

  4. any :: Generator c => (Elem c -> Bool) -> c -> Bool

    reducers Data.Generator.Combinators

    Efficiently mapReduce any Generator checking to see if any of its values match the supplied predicate 

    mapReduceWith getAny

  5. any :: SymVal a => (SBV a -> SBool) -> SList a -> SBool

    sbv Data.SBV.List

    Check some element satisfies the predicate. -- >>> let isEven x = x sMod 2 .== 0 >>> any (sNot . isEven) [2, 4, 6, 8, 10 :: Integer] False >>> any isEven [2, 4, 6, 1, 8, 10 :: Integer] True

  6. any :: forall (m :: Type -> Type) a . Monad m => (a -> Bool) -> Fold m a Bool

    streamly-core Streamly.Data.Fold

    Returns True if any element of the input satisfies the predicate. Definition: 

    >>> any p = Fold.lmap p Fold.or
    Example: 
    >>> Stream.fold (Fold.any (== 0)) $ Stream.fromList [1,0,1]
True

  7. any :: forall (m :: Type -> Type) a . Monad m => (a -> Bool) -> Fold m a Bool

    streamly-core Streamly.Internal.Data.Fold

    Returns True if any element of the input satisfies the predicate. Definition: 

    >>> any p = Fold.lmap p Fold.or
    Example: 
    >>> Stream.fold (Fold.any (== 0)) $ Stream.fromList [1,0,1]
True

  8. any :: Monad m => (a -> Bool) -> Stream m a -> m Bool

    streamly-core Streamly.Internal.Data.Stream

    No documentation available.

  9. any :: Monad m => (a -> Bool) -> StreamK m a -> m Bool

    streamly-core Streamly.Internal.Data.StreamK

    No documentation available.

  10. any :: forall (w :: Nat) . NatRepr w -> Domain w

    what4 What4.Utils.BVDomain.Bitwise

    Bitwise domain containing every bitvector value

Page 20 of many | Previous | Next