transactional-events-0.1.0.0: Transactional events, based on Concurrent ML semantics

Safe Haskell	None
Language	Haskell98

Control.Concurrent.CHS

Documentation

data CHS a Source #

Instances

Monad CHS Source #
Methods (>>=) :: CHS a -> (a -> CHS b) -> CHS b # (>>) :: CHS a -> CHS b -> CHS b # return :: a -> CHS a # fail :: String -> CHS a #
Functor CHS Source #
Methods fmap :: (a -> b) -> CHS a -> CHS b # (<$) :: a -> CHS b -> CHS a #
Applicative CHS Source #
Methods pure :: a -> CHS a # (<>) :: CHS (a -> b) -> CHS a -> CHS b # (>) :: CHS a -> CHS b -> CHS b # (<*) :: CHS a -> CHS b -> CHS a #
Alternative CHS Source #
Methods empty :: CHS a # (<\|>) :: CHS a -> CHS a -> CHS a # some :: CHS a -> CHS [a] # many :: CHS a -> CHS [a] #
MonadPlus CHS Source #
Methods mzero :: CHS a # mplus :: CHS a -> CHS a -> CHS a #

data Chan a Source #

Instances

Eq (Chan a) Source #
Methods (==) :: Chan a -> Chan a -> Bool # (/=) :: Chan a -> Chan a -> Bool #
Show (Chan a) Source #
Methods showsPrec :: Int -> Chan a -> ShowS # show :: Chan a -> String # showList :: [Chan a] -> ShowS #

newChan :: IO (Chan a) Source #

readChan :: Chan a -> CHS a Source #

writeChan :: Chan a -> a -> CHS () Source #

synchronize :: CHS a -> IO a Source #

initChs :: IO () Source #

testCHS :: IO () Source #

test1 :: Chan Int -> CHS Int Source #

test2 :: Chan Int -> CHS Int Source #

test3 :: Chan Int -> CHS Int Source #

step :: [[CHSState a]] -> [[CHSState a]] Source #