chp-spec-1.0.0: A mirror implementation of chp that generates a specification of the program

Control.Concurrent.CHPSpec.Channels.Synonyms

Documentation

type OneToOneChannel = Chan Chanin ChanoutSource

oneToOneChannel :: MonadCHP m => m (OneToOneChannel a)Source

oneToOneChannel' :: MonadCHP m => ChanOpts a -> m (OneToOneChannel a)Source

type OneToAnyChannel = Chan (Shared Chanin) ChanoutSource

oneToAnyChannel :: MonadCHP m => m (OneToAnyChannel a)Source

oneToAnyChannel' :: MonadCHP m => ChanOpts a -> m (OneToAnyChannel a)Source

type AnyToOneChannel = Chan Chanin (Shared Chanout)Source

anyToOneChannel :: MonadCHP m => m (AnyToOneChannel a)Source

anyToOneChannel' :: MonadCHP m => ChanOpts a -> m (AnyToOneChannel a)Source

type AnyToAnyChannel = Chan (Shared Chanin) (Shared Chanout)Source

anyToAnyChannel :: MonadCHP m => m (AnyToAnyChannel a)Source

anyToAnyChannel' :: MonadCHP m => ChanOpts a -> m (AnyToAnyChannel a)Source