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.
TooManyHeaderLines :: Int -> RequestParseExceptionwai-extra Network.Wai.Parse No documentation available.
Many :: [Capture ann] -> Capture anncmdargs System.Console.CmdArgs.Annotate many :: Data val => [val] -> valcmdargs System.Console.CmdArgs.Annotate Collapse multiple values in to one.
many_ :: [Annotate a] -> Annotate acmdargs System.Console.CmdArgs.Annotate Collapse many annotated values in to one.
trans_many :: Transition -> DFAregex-tdfa Text.Regex.TDFA.Common where to go (maximal), including respawning
PAny :: DoPa -> PatternSet -> Patternregex-tdfa Text.Regex.TDFA.Pattern Bracket expression [...].
PAnyNot :: DoPa -> PatternSet -> Patternregex-tdfa Text.Regex.TDFA.Pattern Inverted bracket expression [^...].
iany :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Boolindexed-traversable Data.Foldable.WithIndex Return whether or not any element in a container satisfies a predicate, with access to the index i. When you don't need access to the index then any is more flexible in what it accepts.
any ≡ iany . const
lawsCheckMany :: [(String, [Laws])] -> IO ()quickcheck-classes Test.QuickCheck.Classes A convenience function for checking multiple typeclass instances of multiple types. Consider the following Haskell source file:
import Data.Proxy (Proxy(..)) import Data.Map (Map) import Data.Set (Set) -- A Proxy for Set Int. setInt :: Proxy (Set Int) setInt = Proxy -- A Proxy for Map Int Int. mapInt :: Proxy (Map Int Int) mapInt = Proxy myLaws :: Proxy a -> [Laws] myLaws p = [eqLaws p, monoidLaws p] namedTests :: [(String, [Laws])] namedTests = [ ("Set Int", myLaws setInt) , ("Map Int Int", myLaws mapInt) ]
Now, in GHCi:>>> lawsCheckMany namedTests
Testing properties for common typeclasses ------------- -- Set Int -- ------------- Eq: Transitive +++ OK, passed 100 tests. Eq: Symmetric +++ OK, passed 100 tests. Eq: Reflexive +++ OK, passed 100 tests. Monoid: Associative +++ OK, passed 100 tests. Monoid: Left Identity +++ OK, passed 100 tests. Monoid: Right Identity +++ OK, passed 100 tests. Monoid: Concatenation +++ OK, passed 100 tests. ----------------- -- Map Int Int -- ----------------- Eq: Transitive +++ OK, passed 100 tests. Eq: Symmetric +++ OK, passed 100 tests. Eq: Reflexive +++ OK, passed 100 tests. Monoid: Associative +++ OK, passed 100 tests. Monoid: Left Identity +++ OK, passed 100 tests. Monoid: Right Identity +++ OK, passed 100 tests. Monoid: Concatenation +++ OK, passed 100 tests.
In the case of a failing test, the program terminates with exit code 1.DisposalAny :: GifDisposalMethodJuicyPixels Codec.Picture.Gif No documentation available.