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