Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. boundedMul :: SaturatingNum a => a -> a -> a

   clash-prelude	Clash.Class.Num

   Multiplication that clips to maxBound on overflow, and minBound on underflow

2. boundedSub :: SaturatingNum a => a -> a -> a

   clash-prelude	Clash.Class.Num

   Subtraction that clips to maxBound on overflow, and minBound on underflow

3. boundedCountMaybeNext :: (Eq a, Bounded a, Enum a) => Maybe a -> Maybe a

   countable	Data.Countable

   No documentation available.

4. boundedCountPrevious :: (Eq a, Bounded a, Enum a) => a -> Maybe a

   countable	Data.Countable

   No documentation available.

5. bounded' :: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ) => μ Sign -> s -> μ α

   data-textual	Data.Textual.Integral

   Parse a number written in the specified positional numeral system, failing on overflow. The supplied parser is used to determine the sign of the number.

6. boundedEnumLaws :: (Bounded a, Enum a, Eq a, Show a) => Gen a -> Laws

   hedgehog-classes	Hedgehog.Classes

   Tests the same laws as enumLaws, but uses the Bounded constraint to ensure that succ and pred behave as though they are total. This should always be preferred if your type has a Bounded instance.

7. boundedIntegerScalar :: (Integral a, FiniteBits a) => Signed -> NumeralSystem -> Scalar a

   yaml-unscrambler	YamlUnscrambler

   Numeric scalar parser into a bounded integer value. E.g., Int, Int64, Word, but not Integer.

8. boundedSizeMetaHook :: (MonadConstraint m, MonadTCEnv m, ReadTCState m, MonadAddContext m, HasOptions m, HasBuiltins m) => Term -> Telescope -> Type -> m ()

   Agda	Agda.TypeChecking.SizedTypes

   Whenever we create a bounded size meta, add a constraint expressing the bound. First argument is the new meta and must be a MetaV{}. In boundedSizeMetaHook v tel a, tel includes the current context.

9. package bounded-queue

   A strict, immutable, thread-safe, single-ended, bounded queue. A strict, immutable, thread-safe, single-ended, bounded queue which automatically forgets old values instead of blocking.

10. boundedBuilderUtf8BytesIso8601 :: OffsetDatetime -> Builder 50

    chronos	Chronos

    No documentation available.

Page 15 of many | Previous | Next