Control.Concurrent.STMOrIO

Unifying functions of TVar's and TChans in STM and IO via atomically.

Documentation

class (Functor m, Monad m) => STMOrIO m where

uniforming class for STM or IO

Methods

stmorio :: STM a -> m a

Instances

STMOrIO IO

STMOrIO STM

class RW m z where

class to uniform reading and writing

Methods

rd :: z a -> m a

read a z

wr :: z a -> a -> m ()

modify a z

Instances

STMOrIO t => RW t TChan

STMOrIO t => RW t TVar

md :: (Monad m, RW m z) => z a -> (a -> a) -> m ()

modify a cell z under STM or IO

var

Arguments

:: STMOrIO m

=> a

initial value

-> m (TVar a)

new TVar

chan

Arguments

:: forall m a . STMOrIO m

=> a

type proxy value

-> m (TChan a)

new TChan