Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. anyEllipsisVar :: QName -> SpineClause -> [Name] -> TCM Bool

   Agda	Agda.Interaction.MakeCase

   No documentation available.

2. anyAbstract :: AnyAbstract a => a -> Bool

   Agda	Agda.Syntax.Abstract

   No documentation available.

3. anyIsAbstract :: AnyIsAbstract a => a -> IsAbstract

   Agda	Agda.Syntax.Common

   No documentation available.

4. anyDefs :: GetDefs a => (QName -> Bool) -> a -> TCM (Set QName)

   Agda	Agda.Termination.RecCheck

   anysDef names a returns all definitions from names that are used in a.

5. anyRigid :: (AnyRigid a, PureTCM tcm) => (Nat -> tcm Bool) -> a -> tcm Bool

   Agda	Agda.TypeChecking.MetaVars.Occurs

   No documentation available.

6. anyListT :: Monad m => ListT m a -> (a -> m Bool) -> m Bool

   Agda	Agda.Utils.ListT

   Lazy monadic disjunction of lazy monadic list, effects left-to-right

7. anyM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m Bool

   Agda	Agda.Utils.Monad

   No documentation available.

8. anyChar :: STR Char

   RefSerialize	Data.RefSerialize.Parser

   No documentation available.

9. anyToken :: forall s (m :: Type -> Type) u . Stream s m Token => ParsecT s u m Token

   ace	ACE.Combinators

   The parser anyToken accepts any kind of token. It is for example used to implement eof. Returns the accepted token.

10. anyChar :: Input inp => MkParser inp Char

    appar	Text.Appar.ByteString

    This parser succeeds for any character. Returns the parsed character.

Page 81 of many | Previous | Next