Control.Concurrent.CHPSpec.Channels.Creation

Documentation

data Chan r w a

class Channel r w where

Methods

newChannel' :: MonadCHP m => ChanOpts a -> m (Chan r w a)

sameChannel :: r a -> w a -> Bool

Instances

Channel Chanin Chanout

Channel Chanin (Shared Chanout)

Channel (Shared Chanin) Chanout

Channel (Shared Chanin) (Shared Chanout)

newChannel :: (MonadCHP m, Channel r w) => m (Chan r w a)

data ChanOpts a

Options for channel creation. The first two will be ignored, but the label (if present) will be used to label the channel in the specification.

Constructors

ChanOpts

Fields

chanOptsPriority :: Int

chanOptsShow :: a -> String

chanOptsLabel :: Maybe String

defaultChanOpts :: ChanOpts a

chanLabel :: Show a => String -> ChanOpts a

newChannelWR :: (Channel r w, MonadCHP m) => m (w a, r a)

newChannelRW :: (Channel r w, MonadCHP m) => m (r a, w a)

newChannelList :: (Channel r w, MonadCHP m) => Int -> m [Chan r w a]

newChannelListWithLabels :: (Channel r w, MonadCHP m) => [String] -> m [Chan r w a]

newChannelListWithStem :: (Channel r w, MonadCHP m) => Int -> String -> m [Chan r w a]

labelChannel :: MonadCHP m => Chan r w a -> String -> m ()

Labels a channel in the traces. It is easiest to do this at creation. The effect of re-labelling channels after their first use is undefined.

This function does work as expected in chp-spec.