Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. anyTillText :: (MonadParsec e s m, s ~ Text) => m a -> m (Tokens s, a)

    replace-megaparsec Replace.Megaparsec.Internal.Text

    No documentation available.

  2. anyChar :: RegExp

    sbv Data.SBV.RegExp

    Match any character, i.e., strings of length 1 

    >>> prove $ \(s :: SString) -> s `match` anyChar .<=> length s .== 1
Q.E.D.

  3. anySelector :: Selector

    scalpel-core Text.HTML.Scalpel.Core

    A selector which will match any node (including tags and bare text).

  4. anySegment :: URLParser Text

    web-routes Web.Routes.PathInfo

    match on any string

  5. anyModifier :: Modifier

    xmonad XMonad

    No documentation available.

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

    Agda Agda.Interaction.MakeCase

    No documentation available.

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

    Agda Agda.Syntax.Abstract

    No documentation available.

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

    Agda Agda.Syntax.Common

    No documentation available.

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

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

    Agda Agda.TypeChecking.MetaVars.Occurs

    No documentation available.

Page 82 of many | Previous | Next