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