Hoogle Search

Within LTS Haskell 24.56 (ghc-9.10.3)

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

  1. anySegment :: URLParser Text

    web-routes Web.Routes.PathInfo

    match on any string

  2. anyModifier :: Modifier

    xmonad XMonad

    No documentation available.

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

    Agda Agda.Interaction.MakeCase

    No documentation available.

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

    Agda Agda.Syntax.Abstract

    No documentation available.

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

    Agda Agda.Syntax.Common

    No documentation available.

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

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

    Agda Agda.TypeChecking.MetaVars.Occurs

    No documentation available.

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

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

    Agda Agda.Utils.Monad

    No documentation available.

  10. anyChar :: STR Char

    RefSerialize Data.RefSerialize.Parser

    No documentation available.

Page 83 of many | Previous | Next