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.
-
cabal-debian Debian.Debianize The package is architecture independenct
-
cabal-debian Debian.Policy The package is architecture independenct
type family
All (xs :: [k -> Constraint]) (a :: k)capability Capability.Constraints Type family used used to express a conjunction of constraints over a single type. Examples:
All '[Num, Eq] Int -- Equivalent to: (Num Int, Eq Int) All '[HasReader "foo" Int, HasSink "bar" Float] m -- Equivalent to: (HasReader "foo" Int m, HasSink "bar" Float m)
-
cql-io Database.CQL.IO No documentation available.
-
debian-build Debian.Package.Build.Command No documentation available.
data
All (f :: Type -> Type) (a :: Predicate k) (b :: TyFun f k Type)decidable Data.Type.Predicate.Quantification An All f p is a predicate testing a collection as :: f a for the fact that all items in as satisfy p. Represents the "forall" quantifier over a given universe. This is mostly useful for its Decidable, Provable, and TFunctor instances, which lets you lift predicates on p to predicates on All f p.
data
All (f :: Type -> Type) (a :: Predicate k) (b :: TyFun f k Type)decidable Data.Type.Universe An All f p is a predicate testing a collection as :: f a for the fact that all items in as satisfy p. Represents the "forall" quantifier over a given universe. This is mostly useful for its Decidable, Provable, and TFunctor instances, which lets you lift predicates on p to predicates on All f p.
type family
All (cs :: [k -> Constraint]) (x :: k)flay Flay Ensure that x satisfies all of the constraints listed in cs.
-
gitlab-haskell GitLab.Types No documentation available.
-
hakyll Hakyll.Commands No documentation available.