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. data Any (b :: a -> Exp Bool) (c :: t a) (d :: Bool)

    first-class-families Fcf.Class.Foldable

    Whether any element of the list satisfies a predicate. Note: this identifier conflicts with Any (from Fcf.Utils), Any (from Data.Monoid), and Any (from GHC.Exts).

    Example

    >>> :kind! Eval (Any (Flip (<) 5) [0,1,2,3,4,5])
Eval (Any (Flip (<) 5) [0,1,2,3,4,5]) :: Bool
= True

    >>> :kind! Eval (Any (Flip (<) 0) [0,1,2,3,4,5])
Eval (Any (Flip (<) 0) [0,1,2,3,4,5]) :: Bool
= False

  2. newtype Any

    base-compat-batteries Data.Monoid.Compat

    Boolean monoid under disjunction (||). 

    Any x <> Any y = Any (x || y)

    Examples

    >>> Any True <> mempty <> Any False
Any {getAny = True}

    >>> mconcat (map (\x -> Any (even x)) [2,4,6,7,8])
Any {getAny = True}

    >>> Any False <> mempty
Any {getAny = False}

  3. Any :: Bool -> Any

    base-compat-batteries Data.Monoid.Compat

    No documentation available.

  4. newtype Any

    base-compat-batteries Data.Semigroup.Compat

    Boolean monoid under disjunction (||). 

    Any x <> Any y = Any (x || y)

    Examples

    >>> Any True <> mempty <> Any False
Any {getAny = True}

    >>> mconcat (map (\x -> Any (even x)) [2,4,6,7,8])
Any {getAny = True}

    >>> Any False <> mempty
Any {getAny = False}

  5. Any :: Bool -> Any

    base-compat-batteries Data.Semigroup.Compat

    No documentation available.

  6. type family Any (a1 :: a ~> Bool) (a2 :: t a) :: Bool

    singletons-base Data.Foldable.Singletons

    No documentation available.

  7. type family Any (a1 :: a ~> Bool) (a2 :: t a) :: Bool

    singletons-base Data.List.Singletons

    No documentation available.

  8. type family Any (a1 :: a ~> Bool) (a2 :: t a) :: Bool

    singletons-base Prelude.Singletons

    No documentation available.

  9. module Data.Generics.Product.Any

    Derive a variety of lenses generically.

  10. module Data.Generics.Sum.Any

    Derive a variety of prisms generically.

Page 3 of many | Previous | Next