Safe Haskell	None
Language	GHC2021

Test.Credit.Queue.Realtime

Documentation

Constructors

RQueue
Fields front :: Stream m a rear :: Stream m a schedule :: Stream m a

Instances details

BoundedQueue RQueue Source #
Instance details Defined in Test.Credit.Queue.Realtime Methods qcost :: Size -> QueueOp a -> Credit Source #
Queue RQueue Source #
Instance details Defined in Test.Credit.Queue.Realtime Methods empty :: MonadLazy m => m (RQueue a m) Source # snoc :: MonadInherit m => RQueue a m -> a -> m (RQueue a m) Source # uncons :: MonadInherit m => RQueue a m -> m (Maybe (a, RQueue a m)) Source #
(MonadMemory m, MemoryCell m a) => MemoryCell m (RQueue a m) Source #
Instance details Defined in Test.Credit.Queue.Realtime Methods prettyCell :: RQueue a m -> m Memory Source #
Pretty a => MemoryStructure (RQueue (PrettyCell a)) Source #
Instance details Defined in Test.Credit.Queue.Realtime Methods prettyStructure :: MonadMemory m => RQueue (PrettyCell a) m -> m Memory Source #