Safe Haskell	None
Language	GHC2021

Test.Credit.Deque.Realtime

Synopsis

Documentation

Delay a computation, but do not consume any credits

Constructors

RDeque
Fields lenf :: !Int front :: Stream m a sf :: Stream m a lenr :: !Int rear :: Stream m a sr :: Stream m a

Instances details

BoundedDeque RDeque Source #
Instance details Defined in Test.Credit.Deque.Realtime Methods qcost :: Size -> DequeOp a -> Credit Source #
Deque RDeque Source #
Instance details Defined in Test.Credit.Deque.Realtime Methods empty :: MonadInherit m => m (RDeque a m) Source # cons :: MonadInherit m => a -> RDeque a m -> m (RDeque a m) Source # snoc :: MonadInherit m => RDeque a m -> a -> m (RDeque a m) Source # uncons :: MonadInherit m => RDeque a m -> m (Maybe (a, RDeque a m)) Source # unsnoc :: MonadInherit m => RDeque a m -> m (Maybe (RDeque a m, a)) Source # concat :: MonadInherit m => RDeque a m -> RDeque a m -> m (RDeque a m) Source #
(MonadMemory m, MemoryCell m a) => MemoryCell m (RDeque a m) Source #
Instance details Defined in Test.Credit.Deque.Realtime Methods prettyCell :: RDeque a m -> m Memory Source #
Pretty a => MemoryStructure (RDeque (PrettyCell a)) Source #
Instance details Defined in Test.Credit.Deque.Realtime Methods prettyStructure :: MonadMemory m => RDeque (PrettyCell a) m -> m Memory Source #