Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. parseAnyString :: Parser String

   currycarbon	Currycarbon.ParserHelpers

   No documentation available.

2. data WitAny (f :: Type -> Type) (a :: k ~> Type) (b :: f k)

   decidable	Data.Type.Predicate.Quantification

   A WitAny p as is a witness that, for at least one item a in the type-level collection as, the predicate p a is true.

3. decideAny :: forall (f :: Type -> Type) k (p :: k ~> Type) . Universe f => Decide p -> Decide (Any f p)

   decidable	Data.Type.Predicate.Quantification

   Lifts a predicate p on an individual a into a predicate that on a collection as that is true if and only if any item in as satisfies the original predicate. That is, it turns a predicate of kind k ~> Type into a predicate of kind f k ~> Type. Essentially tests existential quantification.

4. idecideAny :: forall k (p :: k ~> Type) (as :: f k) . Universe f => (forall (a :: k) . () => Elem f as a -> Sing a -> Decision (p @@ a)) -> Sing as -> Decision (Any f p @@ as)

   decidable	Data.Type.Predicate.Quantification

   decideAny, but providing an Elem.

5. data WitAny (f :: Type -> Type) (a :: k ~> Type) (b :: f k)

   decidable	Data.Type.Universe

   A WitAny p as is a witness that, for at least one item a in the type-level collection as, the predicate p a is true.

6. decideAny :: forall (f :: Type -> Type) k (p :: k ~> Type) . Universe f => Decide p -> Decide (Any f p)

   decidable	Data.Type.Universe

   Lifts a predicate p on an individual a into a predicate that on a collection as that is true if and only if any item in as satisfies the original predicate. That is, it turns a predicate of kind k ~> Type into a predicate of kind f k ~> Type. Essentially tests existential quantification.

7. idecideAny :: forall k (p :: k ~> Type) (as :: f k) . Universe f => (forall (a :: k) . () => Elem f as a -> Sing a -> Decision (p @@ a)) -> Sing as -> Decision (Any f p @@ as)

   decidable	Data.Type.Universe

   decideAny, but providing an Elem.

8. manyEndBy1 :: Alternative m => m a -> m a -> m [a]

   ede	Text.EDE.Internal.Parser

   No documentation available.

9. manyTill1 :: Alternative m => m a -> m b -> m [a]

   ede	Text.EDE.Internal.Parser

   No documentation available.

10. EM_HUANY :: ElfMachine

    elf	Data.Elf

    Harvard University machine-independent object files

Page 219 of many | Previous | Next