Net.Wire

Documentation

type Wire m a = Interface m a a

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

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

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

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

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

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

A bounded buffer that discards input when full

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