Documentation

data Queue a Source #

new :: MonadIO m => Natural -> m (Queue a) Source #

tryPush :: MonadIO m => Queue a -> a -> m Bool Source #

pop :: MonadIO m => Queue a -> m a Source #

len :: MonadIO m => Queue a -> m Word Source #

interpretQueue :: Member (Embed IO) r => Queue a -> Sem (Queue a ': r) x -> Sem r x Source #