module Control.Monad.Queue.QueueT where
import Data.Queue
import Control.Monad.Queue.Class
import Control.Monad.Trans.Operations
import Control.Monad.State.Strict
import Control.Monad.Reader.Class
import Control.Monad.Writer.Class
import Control.Monad.Fix
import Control.Monad.Trans
import Control.Monad
import Data.Maybe
newtype QueueT q m a = QueueT {runQT :: StateT q m a} deriving (MonadReader r, MonadWriter w, MonadIO, MonadFix, Monad, MonadTrans)
newtype QueueM q a = QueueM {runQM :: State q a} deriving (MonadFix, Monad)
type PQueueT e = QueueT (PQueue e)
type PQueueM e = QueueM (PQueue e)
type FibQueueT e = QueueT (FQueue e)
type FibQueueM e = QueueM (FQueue e)
type SkewQueueT e = QueueT (SkewQueue e)
type SkewQueueM e = QueueM (SkewQueue e)
type IntQueueT = QueueT IntQueue
type IntQueueM = QueueM IntQueue
runQueueT :: (Monad m, Queuelike q) => QueueT q m a -> m a
runQueueT m = evalStateT (runQT m) empty
runQueueTOn :: (Monad m, Queuelike q) => QueueT q m a -> [QueueKey q] -> m a
runQueueTOn m xs = evalStateT (runQT m) (fromList xs)
runQueueM :: Queuelike q => QueueM q a -> a
runQueueM m = evalState (runQM m) empty
runQueueMOn :: Queuelike q => QueueM q a -> [QueueKey q] -> a
runQueueMOn m xs = evalState (runQM m) (fromList xs)
instance MonadState s m => MonadState s (QueueT q m) where
get = lift get
put = lift . put
instance (Monad m, Queuelike q) => MonadQueue (QueueT q m) where
type QKey (QueueT q m) = QueueKey q
queueInsert x = QueueT $ modify (insert x)
queueInsertAll xs = QueueT $ modify (insertAll xs)
queueExtract = QueueT $ statefully (\ q -> maybe (Nothing, q) (\ (x, q') -> (Just x, q')) (extract q))
queueEmpty = QueueT $ gets isEmpty
queueDelete = QueueT $ modify (\ q -> fromMaybe empty (delete q))
queuePeek = QueueT $ gets peek
queueSize = QueueT $ gets size
instance Queuelike q => MonadQueue (QueueM q) where
type QKey (QueueM q) = QueueKey q
queueInsert x = QueueM $ modify (insert x)
queueInsertAll xs = QueueM $ modify (insertAll xs)
queueExtract = QueueM $ statefully (\ q -> maybe (Nothing, q) (\ (x, q') -> (Just x, q')) (extract q))
queueEmpty = QueueM $ gets isEmpty
queueDelete = QueueM $ modify (\ q -> fromMaybe empty (delete q))
queuePeek = QueueM $ gets peek
queueSize = QueueM $ gets size