module Control.Monad.Queue.Class where
import Control.Monad.Queue.Util
import qualified Control.Monad.Queue.Allison as Allison
import qualified Control.Monad.Queue.Corec as Corec
class Monad q => MonadQueue e q | q -> e where
enQ :: e -> q ()
deQ :: q (Maybe e)
deQs :: Integral maxlen => maxlen -> q [e]
peekQ :: q (Maybe e)
peekQs :: Integral maxlen => maxlen -> q [e]
peekQn :: Integral index => index -> q (Maybe e)
lenQ :: Integral len => q len
deQ = do
es <- deQs (1 :: LenType)
case es of
[] -> return Nothing
(e:_) -> return (Just e)
deQs n
| n <= 0 = return []
| otherwise = deQ >>= maybe (return [])
(\e -> do
es <- deQs (n1)
return (e:es))
instance MonadQueue e (Allison.Q e) where
enQ = Allison.enQ
peekQ = Allison.peekQ
peekQs = Allison.peekQs
peekQn = Allison.peekQn
deQ = Allison.deQ
deQs = Allison.deQs
lenQ = Allison.lenQ
instance MonadQueue e (Corec.Q w e) where
enQ = Corec.enQ
peekQ = Corec.peekQ
peekQs = Corec.peekQs
peekQn = Corec.peekQn
deQ = Corec.deQ
deQs = Corec.deQs
lenQ = Corec.lenQ