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.

  1. type BoundedLattice a = (BoundedMeetSemiLattice a, BoundedJoinSemiLattice a)

    lattices Algebra.Lattice

    No documentation available.

  2. class Lattice a => BoundedMeetSemiLattice a

    lattices Algebra.Lattice

    A meet-semilattice with an identity element top for /\. Laws 

    x /\ top ≡ x
    Corollary 
    x \/ top
≡⟨ identity ⟩
(x \/ top) /\ top
≡⟨ absorption ⟩
top

  3. class BoundedStream (i :: Type -> Type) (o :: Type -> Type) | i -> o

    stm-conduit Data.Conduit.Utils

    Class for structures that can handle bounded stream of values i.e. there is exists Int value that sets an upper limit on the number of values that can be handled by structure. Exact meaning of this limit may depend on the carrier type.

  4. module Control.Concurrent.Classy.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 consistency: This version enforces that if thread Alice writes e1 followed by e2 then e1 will be returned by readBoundedChan before e2. Conversely, if thead Bob reads e1 followed by e2 then it was true that writeBoundedChan e1 preceded writeBoundedChan e2. Previous versions did not enforce this consistency: if writeBoundedChan were preempted between putMVars or killThread arrived between putMVars then it can fail. Similarly it might fail if readBoundedChan 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.

  5. data BoundedChan (m :: Type -> Type) a

    concurrency Control.Concurrent.Classy.BoundedChan

    A BoundedChan is an abstract data type representing a bounded channel.

  6. BoundedGrowingBuffer :: {-# UNPACK #-} !ForeignPtr Word8 -> Int -> DynamicSink

    fast-builder Data.ByteString.FastBuilder.Internal

    Bytes are accumulated in a contiguous buffer until the size limit is reached. After that, the destination switches to a ThreadedSink.

  7. BoundedCV :: CV -> ExtCV

    sbv Data.SBV

    No documentation available.

  8. BoundedCV :: CV -> ExtCV

    sbv Data.SBV.Internals

    No documentation available.

  9. BoundedCV :: CV -> ExtCV

    sbv Data.SBV.Trans

    No documentation available.

  10. module Documentation.SBV.Examples.Lists.BoundedMutex

    Proves a simple mutex algorithm correct up to a given bound.

Page 7 of many | Previous | Next