Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
streamly-core Streamly.Internal.Data.MutByteArray A location inside a mutable byte array with the bound of the array. Is it cheaper to just get the bound using the size of the array whenever needed?
BoundedPtr :: MutByteArray -> Int -> Int -> BoundedPtrstreamly-core Streamly.Internal.Data.MutByteArray No documentation available.
BoundedIntegerScalar :: Signed -> NumeralSystem -> Scalaryaml-unscrambler YamlUnscrambler.Expectations No documentation available.
BoundedLt :: Term -> BoundedSizeAgda Agda.TypeChecking.Monad.SizedTypes yes i : Size< t
-
Agda Agda.TypeChecking.Monad.SizedTypes No documentation available.
-
Agda Agda.TypeChecking.Monad.SizedTypes Result of querying whether size variable i is bounded by another size.
-
Implementation of bounded channels. This library introduces BoundedChan. BoundedChans differ from Chans in that they are guaranteed to contain no more than a certain number of elements.
module Control.Concurrent.
BoundedChan Implements bounded channels. These channels differ from normal Chans in that they are guaranteed to contain no more than a certain number of elements. This is ideal when you may be writing to a channel faster than you are able to read from it. This module supports all the functions of Control.Concurrent.Chan except unGetChan and dupChan, which are not supported for bounded channels. Extra consitency: This version enforces that if thread Alice writes e1 followed by e2 then e1 will be returned by readChan before e2. Conversely, if thead Bob reads e1 followed by e2 then it was true that writeChan e1 preceded writeChan e2. Previous versions did not enforce this consistency: if writeChan were preempted between putMVars or killThread arrived between putMVars then it can fail. Similarly it might fail if readChan were stopped after putMVar and before the second takeMVar. An unlucky pattern of several such deaths might actually break the invariants of the array in an unrecoverable way causing all future reads and writes to block.
-
BoundedChan Control.Concurrent.BoundedChan BoundedChan is an abstract data type representing a bounded channel.
module Numeric.Decimal.
BoundedArithmetic No documentation available.