Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. allMatches :: Matches a -> [Match a]

   regex	Text.RE.TDFA.ByteString.Lazy

   all Match instances found, left to right

2. allMatches :: Matches a -> [Match a]

   regex	Text.RE.TDFA.Sequence

   all Match instances found, left to right

3. allMatches :: Matches a -> [Match a]

   regex	Text.RE.TDFA.String

   all Match instances found, left to right

4. allMatches :: Matches a -> [Match a]

   regex	Text.RE.TDFA.Text

   all Match instances found, left to right

5. allMatches :: Matches a -> [Match a]

   regex	Text.RE.TDFA.Text.Lazy

   all Match instances found, left to right

6. allValuesPaths :: Statistics -> Paths

   registry	Data.Registry.Internal.Statistics

   Return the list of distinct paths from the root of a value graph to leaves of that graph. This can be used to check if a given value was indeed used according to a given specialization

7. allTo :: forall (f :: Type -> Type) a b . ApplyVariadic f a b => a -> b

   registry	Data.Registry.Lift

   Lift a pure function to effectful arguments and results

8. allEqual :: EqSymbolic a => [a] -> SBool

   sbv	Data.SBV

   Returns (symbolic) sTrue if all the elements of the given list are the same.

9. allSat :: Satisfiable a => a -> IO AllSatResult

   sbv	Data.SBV

   Find all satisfying assignments, using the default solver. Equivalent to allSatWith defaultSMTCfg. See allSatWith for details. NB. For a version which generalizes over the underlying monad, see allSat

10. allSatMaxModelCount :: SMTConfig -> Maybe Int

    sbv	Data.SBV

    In a allSat call, return at most this many models. If nothing, return all.

Page 116 of many | Previous | Next