Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Net.Wire
- type Wire m a = Interface m a a
- unbounded :: (ChannelIO c m, ChannelIO c m1) => () -> m1 (Interface m a a)
- newWire :: (ChannelIO c m1, ChannelIO c m, MVarIO v m, MVarIO v m1) => () -> m1 (Interface m o o)
- newWire' :: (ChannelIO c m1, ChannelIO c m, Num a, MVarIO v m1, MVarIO v m, Enum a, Ord a) => a -> m1 (Interface m o o)
- bounded :: (MVarIO v m1, MVarIO v m) => m1 (Interface m i o) -> m1 (Interface m i o)
- bounded' :: (Ord a, Enum a, MVarIO v m, MVarIO v m1, Num a) => a -> m1 (Interface m i o) -> m1 (Interface m i o)
- timedWire :: (RefIO r m, ForkIO m, DelayIO m, Eq (r ()), ChannelIO c m, ChannelIO c m1) => () -> m1 (TimedInterface m a a)
Documentation
unbounded :: (ChannelIO c m, ChannelIO c m1) => () -> m1 (Interface m a a) #
An unbounded buffer unbounded :: ChannelIO c m => m (Wire m a)
newWire' :: (ChannelIO c m1, ChannelIO c m, Num a, MVarIO v m1, MVarIO v m, Enum a, Ord a) => a -> m1 (Interface m o o) #