| Maintainer | Ertugrul Soeylemez <es@ertes.de> |
|---|
FRP.NetWire.Request
Description
Unique identifiers and context-sensitive wires.
- context :: forall a b ctx m. (Ord ctx, Monad m) => Wire m (ctx, a) b -> Wire m (ctx, a) b
- contextInt :: forall a b m. Monad m => Wire m (Int, a) b -> Wire m (Int, a) b
- contextLimited :: forall a b ctx m. (Ord ctx, Monad m) => Wire m (ctx, a) b -> Wire m (Int, Time, ctx, a) b
- contextLimitedInt :: forall a b m. Monad m => Wire m (Int, a) b -> Wire m (Int, Time, Int, a) b
- context_ :: (Ord ctx, Monad m) => Wire m ctx b -> Wire m ctx b
- contextInt_ :: Monad m => Wire m Int b -> Wire m Int b
- contextLimited_ :: (Ord ctx, Monad m) => Wire m ctx b -> Wire m (Int, Time, ctx) b
- contextLimitedInt_ :: Monad m => Wire m Int b -> Wire m (Int, Time, Int) b
- identifier :: MonadIO m => Wire m a Int
Context-sensitive mutation
context :: forall a b ctx m. (Ord ctx, Monad m) => Wire m (ctx, a) b -> Wire m (ctx, a) bSource
Make the given wire context-sensitive. The left input signal is a context and the argument wire will mutate individually for each such context.
Inherits inhibition and feedback behaviour from the current context's wire.
contextLimited :: forall a b ctx m. (Ord ctx, Monad m) => Wire m (ctx, a) b -> Wire m (Int, Time, ctx, a) bSource
Same as context, but with a time limit. The first signal
specifies a threshold and the second signal specifies a maximum age.
If the current number of contexts exceeds the threshold, then all
contexts exceeding the maximum age are deleted.
Inherits inhibition and feedback behaviour from the current context's wire.
contextLimitedInt :: forall a b m. Monad m => Wire m (Int, a) b -> Wire m (Int, Time, Int, a) bSource
Specialized version of contextLimited. Use this one, if your
contexts are Ints and you have a lot of them.
Inherits inhibition and feedback behaviour from the current context's wire.
Simple variants
context_ :: (Ord ctx, Monad m) => Wire m ctx b -> Wire m ctx bSource
Simplified variant of context. Takes a context signal only.
contextInt_ :: Monad m => Wire m Int b -> Wire m Int bSource
Simplified variant of contextInt. Takes a context signal only.
contextLimited_ :: (Ord ctx, Monad m) => Wire m ctx b -> Wire m (Int, Time, ctx) bSource
Simplified variant of contextLimited. Takes a context signal
only.
contextLimitedInt_ :: Monad m => Wire m Int b -> Wire m (Int, Time, Int) bSource
Simplified variant of contextLimitedInt. Takes a context signal
only.
Identifiers.
identifier :: MonadIO m => Wire m a IntSource
Choose a unique identifier when switching in and keep it.
Never inhibits.