Control.Concurrent.CHS

Documentation

data CHS a

Instances

Monad CHS

Methods

(>>=) :: CHS a -> (a -> CHS b) -> CHS b

(>>) :: CHS a -> CHS b -> CHS b

return :: a -> CHS a

fail :: String -> CHS a

Functor CHS

Methods

fmap :: (a -> b) -> CHS a -> CHS b

(<$) :: a -> CHS b -> CHS a

Applicative CHS

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

Methods

empty :: CHS a

(<|>) :: CHS a -> CHS a -> CHS a

some :: CHS a -> CHS [a]

many :: CHS a -> CHS [a]

MonadPlus CHS

Methods

mzero :: CHS a

mplus :: CHS a -> CHS a -> CHS a

data Chan a

Instances

Eq (Chan a)

Methods

(==) :: Chan a -> Chan a -> Bool

(/=) :: Chan a -> Chan a -> Bool

Show (Chan a)

Methods

showsPrec :: Int -> Chan a -> ShowS

show :: Chan a -> String

showList :: [Chan a] -> ShowS

newChan :: IO (Chan a)

readChan :: Chan a -> CHS a

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

synchronize :: CHS a -> IO a

initChs :: IO ()

testCHS :: IO ()

test1 :: Chan Int -> CHS Int

test2 :: Chan Int -> CHS Int

test3 :: Chan Int -> CHS Int

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