agda-language-server-0.2.6.3.0: An implementation of language server protocal (LSP) for Agda 2.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Concurrent.SizedChan

Description

Chan with size

Synopsis

Documentation

newSizedChan :: IO (SizedChan a) Source #

Build and returns a new instance of SizedChan.

writeSizedChan :: SizedChan a -> a -> IO () Source #

Write a value to a SizedChan.

readSizedChan :: SizedChan a -> IO a Source #

Read the next value from the SizedChan. Blocks when the channel is empty.

tryReadSizedChan :: SizedChan a -> IO (Maybe a) Source #

A version of readSizedChan which does not block. Instead it returns Nothing if no value is available.

peekSizedChan :: SizedChan a -> IO a Source #

Peek the next value from the SizedChan without removing it. Blocks when the channel is empty.

tryPeekSizedChan :: SizedChan a -> IO (Maybe a) Source #

A version of peekSizedChan which does not block. Instead it returns Nothing if no value is available.