{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE FlexibleContexts #-}
module Control.Concurrent.STM.TChan.Lifted
( TChan
, newTChan
, newTChanIO
, newBroadcastTChan
, newBroadcastTChanIO
, dupTChan
, cloneTChan
, readTChan
, tryReadTChan
, peekTChan
, tryPeekTChan
, writeTChan
, unGetTChan
, isEmptyTChan
) where
import Control.Monad.Base (MonadBase(..))
import Control.Monad.STM (STM)
import Control.Concurrent.STM.TChan (TChan)
import qualified Control.Concurrent.STM.TChan as STM
newTChan ∷ MonadBase STM μ ⇒ μ (TChan α)
newTChan = liftBase STM.newTChan
{-# INLINE newTChan #-}
newTChanIO ∷ MonadBase IO μ ⇒ μ (TChan α)
newTChanIO = liftBase STM.newTChanIO
{-# INLINE newTChanIO #-}
newBroadcastTChan ∷ MonadBase STM μ ⇒ μ (TChan α)
newBroadcastTChan = liftBase STM.newBroadcastTChan
{-# INLINE newBroadcastTChan #-}
newBroadcastTChanIO ∷ MonadBase IO μ ⇒ μ (TChan α)
newBroadcastTChanIO = liftBase STM.newBroadcastTChanIO
{-# INLINE newBroadcastTChanIO #-}
dupTChan ∷ MonadBase STM μ ⇒ TChan α → μ (TChan α)
dupTChan = liftBase . STM.dupTChan
{-# INLINE dupTChan #-}
cloneTChan ∷ MonadBase STM μ ⇒ TChan α → μ (TChan α)
cloneTChan = liftBase . STM.cloneTChan
{-# INLINE cloneTChan #-}
readTChan ∷ MonadBase STM μ ⇒ TChan α → μ α
readTChan = liftBase . STM.readTChan
{-# INLINE readTChan #-}
tryReadTChan ∷ MonadBase STM μ ⇒ TChan α → μ (Maybe α)
tryReadTChan = liftBase . STM.tryReadTChan
{-# INLINE tryReadTChan #-}
peekTChan ∷ MonadBase STM μ ⇒ TChan α → μ α
peekTChan = liftBase . STM.peekTChan
{-# INLINE peekTChan #-}
tryPeekTChan ∷ MonadBase STM μ ⇒ TChan α → μ (Maybe α)
tryPeekTChan = liftBase . STM.tryPeekTChan
{-# INLINE tryPeekTChan #-}
writeTChan ∷ MonadBase STM μ ⇒ TChan α → α → μ ()
writeTChan = (liftBase .) . STM.writeTChan
{-# INLINE writeTChan #-}
unGetTChan ∷ MonadBase STM μ ⇒ TChan α → α → μ ()
unGetTChan = (liftBase .) . STM.unGetTChan
{-# INLINE unGetTChan #-}
isEmptyTChan ∷ MonadBase STM μ ⇒ TChan α → μ Bool
isEmptyTChan = liftBase . STM.isEmptyTChan
{-# INLINE isEmptyTChan #-}