Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
sql-words Language.SQL.Keyword.Type No documentation available.
-
testing-feat Test.Feat.Enumerate 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} -
testing-feat Test.Feat.Enumerate No documentation available.
-
Hastructure Types No documentation available.
-
cabal-debian Debian.Debianize The package can be built for any architecture
-
cabal-debian Debian.Policy The package can be built for any architecture
-
cabal-gild CabalGild.Unstable.Type.VersionRange No documentation available.
-
cql-io Database.CQL.IO No documentation available.
data
Any (f :: Type -> Type) (a :: Predicate k) (b :: TyFun f k Type)decidable Data.Type.Predicate.Quantification An Any f p is a predicate testing a collection as :: f a for the fact that at least one item in as satisfies p. Represents the "exists" quantifier over a given universe. This is mostly useful for its Decidable and TFunctor instances, which lets you lift predicates on p to predicates on Any f p.
data
Any (f :: Type -> Type) (a :: Predicate k) (b :: TyFun f k Type)decidable Data.Type.Universe An Any f p is a predicate testing a collection as :: f a for the fact that at least one item in as satisfies p. Represents the "exists" quantifier over a given universe. This is mostly useful for its Decidable and TFunctor instances, which lets you lift predicates on p to predicates on Any f p.