Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

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

    countable Data.Countable

    No documentation available.

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

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

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

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

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

  7. boundedBuilderUtf8BytesIso8601 :: OffsetDatetime -> Builder 50

    chronos Chronos

    No documentation available.

  8. boundedBuilderUtf8BytesIso8601Zoneless :: Datetime -> Builder 44

    chronos Chronos

    Encode a datetime with ISO-8601. The result does not include any indication of a time zone. If the subsecond part is zero, it is suppressed. Examples of output: 

    2021-01-05T23:00:51
2021-01-05T23:00:52.123
2021-01-05T23:00:53.674094347

  9. boundedAdd :: SaturatingNum a => a -> a -> a

    clash-prelude Clash.Class.Num

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

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

    clash-prelude Clash.Class.Num

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

Page 15 of many | Previous | Next