Net.Wire

Documentation

type Wire m a = Interface m a a

unbounded :: (ChannelIO c m1, ChannelIO c m) => () -> m (Interface m1 o o)

An unbounded buffer unbounded :: ChannelIO c m => m (Wire m a)

newWire :: (ChannelIO c m1, ChannelIO c m, MVarIO v m1, MVarIO v m) => () -> m (Interface m1 o o)

newWire' :: (ChannelIO c m1, ChannelIO c m, MVarIO v m1, MVarIO v m, Ord a, Num a, Enum a) => a -> m (Interface m1 o o)

bounded :: (MVarIO v m1, MVarIO v m) => m (Interface m1 i o) -> m (Interface m1 i o)

bounded' :: (MVarIO v m1, MVarIO v m, Ord a, Num a, Enum a) => a -> m (Interface m1 i o) -> m (Interface m1 i o)

A bounded buffer that discards input when full

timedWire :: (ForkIO m1, DelayIO m1, ChannelIO c m1, ChannelIO c m, RefIO r m1, Eq (r ())) => () -> m (TimedInterface m1 o o)