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.
-
scalpel-core Text.HTML.Scalpel.Core A selector which will match any node (including tags and bare text).
-
web-routes Web.Routes.PathInfo match on any string
-
xmonad XMonad No documentation available.
anyEllipsisVar :: QName -> SpineClause -> [Name] -> TCM BoolAgda Agda.Interaction.MakeCase No documentation available.
anyAbstract :: AnyAbstract a => a -> BoolAgda Agda.Syntax.Abstract No documentation available.
anyIsAbstract :: AnyIsAbstract a => a -> IsAbstractAgda Agda.Syntax.Common No documentation available.
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.
anyRigid :: (AnyRigid a, PureTCM tcm) => (Nat -> tcm Bool) -> a -> tcm BoolAgda Agda.TypeChecking.MetaVars.Occurs No documentation available.
anyListT :: Monad m => ListT m a -> (a -> m Bool) -> m BoolAgda Agda.Utils.ListT Lazy monadic disjunction of lazy monadic list, effects left-to-right
anyM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m BoolAgda Agda.Utils.Monad No documentation available.