Safe Haskell	None
Language	GHC2021

Test.Credit.Queue.Bankers

Documentation

Constructors

BQueue
Fields front :: Stream m a flen :: !Int rear :: Stream m a rlen :: !Int

Instances details

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

isEmpty :: forall a (m :: Type -> Type). BQueue a m -> Bool Source #