Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. anyModifier :: Modifier

    xmonad XMonad

    No documentation available.

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

    Agda Agda.Interaction.MakeCase

    No documentation available.

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

    Agda Agda.Syntax.Abstract

    No documentation available.

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

    Agda Agda.Syntax.Common

    No documentation available.

  5. 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.

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

    Agda Agda.TypeChecking.MetaVars.Occurs

    No documentation available.

  7. 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

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

    Agda Agda.Utils.Monad

    No documentation available.

  9. anyChar :: STR Char

    RefSerialize Data.RefSerialize.Parser

    No documentation available.

  10. 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.

Page 81 of many | Previous | Next