/usr/share/doc/libghc-netwire-doc/html/Control-Wire-Prefab-Event.html is in libghc-netwire-doc 3.1.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Control.Wire.Prefab.Event</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Control-Wire-Prefab-Event.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Wire-Prefab-Event.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">netwire-3.1.0: Fast generic automaton arrow transformer for AFRP</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Maintainer</th><td>Ertugrul Soeylemez <es@ertes.de></td></tr><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">Control.Wire.Prefab.Event</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Event generation
</a><ul><li><a href="#g:2">Timed
</a></li><li><a href="#g:3">Unconditional inhibition
</a></li><li><a href="#g:4">Predicate-based
</a></li><li><a href="#g:5">Instant-based
</a></li></ul></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Wires for generating and manipulating events.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a href="#t:WAfter">WAfter</a> t (>~) | >~ -> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:after">after</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ t <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li></ul></li><li class="src short"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a href="#t:WAt">WAt</a> t (>~) | >~ -> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:at">at</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ t <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li></ul></li><li class="src short"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a href="#t:WDelayEvents">WDelayEvents</a> t (>~) | >~ -> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:delayEvents">delayEvents</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ ([b], t) b</li><li><a href="#v:delayEventsSafe">delayEventsSafe</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ (([b], t), <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>) b</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a href="#t:WPeriodically">WPeriodically</a> t (>~) | >~ -> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:periodically">periodically</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ t <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li></ul></li><li class="src short"><a href="#v:inhibit">inhibit</a> :: <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~ => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ e b</li><li class="src short"><a href="#v:never">never</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ a b</li><li class="src short"><a href="#v:asSoonAs">asSoonAs</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:edge">edge</a> :: <span class="keyword">forall</span> e (>~). (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:require">require</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:forbid">forbid</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:while">while</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:notYet">notYet</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ b b</li><li class="src short"><a href="#v:once">once</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ b b</li></ul></div><div id="interface"><h1 id="g:1">Event generation
</h1><h2 id="g:2">Timed
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a name="t:WAfter" class="def">WAfter</a> t (>~) | >~ -> t <span class="keyword">where</span><a href="src/Control-Wire-Prefab-Event.html#WAfter" class="link">Source</a></p><div class="doc"><p>Produces once after the input time interval has passed.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: Always except at the target instant.
</li></ul></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:after" class="def">after</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ t <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#after" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:WAfter" class="caption collapser" onclick="toggleSection('i:WAfter')">Instances</p><div id="section.i:WAfter" class="show"><table><tr><td class="src">(<a href="/usr/share/doc/libghc-vector-space-doc/html/Data-AdditiveGroup.html#t:AdditiveGroup">AdditiveGroup</a> t, <a href="Control-Wire-Classes.html#t:MonadClock">MonadClock</a> t m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> t) => <a href="Control-Wire-Prefab-Event.html#t:WAfter">WAfter</a> t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a name="t:WAt" class="def">WAt</a> t (>~) | >~ -> t <span class="keyword">where</span><a href="src/Control-Wire-Prefab-Event.html#WAt" class="link">Source</a></p><div class="doc"><p>Produces once as soon as the current global time is later than or
equal to the input global time and never again.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: Always except at the target instant.
</li></ul></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:at" class="def">at</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ t <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#at" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:WAt" class="caption collapser" onclick="toggleSection('i:WAt')">Instances</p><div id="section.i:WAt" class="show"><table><tr><td class="src">(<a href="Control-Wire-Classes.html#t:MonadClock">MonadClock</a> t m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> t) => <a href="Control-Wire-Prefab-Event.html#t:WAt">WAt</a> t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a name="t:WDelayEvents" class="def">WDelayEvents</a> t (>~) | >~ -> t <span class="keyword">where</span><a href="src/Control-Wire-Prefab-Event.html#WDelayEvents" class="link">Source</a></p><div class="doc"><p>Delay incoming events.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:delayEvents" class="def">delayEvents</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ ([b], t) b<a href="src/Control-Wire-Prefab-Event.html#delayEvents" class="link">Source</a></p><div class="doc"><p>Delays each incoming event (left signal) by the given time
delta (right signal). The time delta at the instant the event
happened is significant.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: When no delayed event happened.
</li></ul></div><p class="src"><a name="v:delayEventsSafe" class="def">delayEventsSafe</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ (([b], t), <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>) b<a href="src/Control-Wire-Prefab-Event.html#delayEventsSafe" class="link">Source</a></p><div class="doc"><p>Delays each incoming event (left signal) by the given time
delta (middle signal). The time delta at the instant the event
happened is significant. The right signal gives a maximum number
of events queued. When exceeded, new events are dropped, until
there is enough room.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: When no delayed event happened.
</li></ul></div></div><div class="subs instances"><p id="control.i:WDelayEvents" class="caption collapser" onclick="toggleSection('i:WDelayEvents')">Instances</p><div id="section.i:WDelayEvents" class="show"><table><tr><td class="src">(<a href="/usr/share/doc/libghc-vector-space-doc/html/Data-AdditiveGroup.html#t:AdditiveGroup">AdditiveGroup</a> t, <a href="Control-Wire-Classes.html#t:MonadClock">MonadClock</a> t m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> t) => <a href="Control-Wire-Prefab-Event.html#t:WDelayEvents">WDelayEvents</a> t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Arrow">Arrow</a> >~ => <a name="t:WPeriodically" class="def">WPeriodically</a> t (>~) | >~ -> t <span class="keyword">where</span><a href="src/Control-Wire-Prefab-Event.html#WPeriodically" class="link">Source</a></p><div class="doc"><p>Periodically produces an event. The period is given by the input
time delta and can change over time. The current time delta with
respect to the last production is significant. Does not produce at
the first instant, unless the first delta is nonpositive.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: Always except at the periodic ticks.
</li></ul></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:periodically" class="def">periodically</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ t <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#periodically" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:WPeriodically" class="caption collapser" onclick="toggleSection('i:WPeriodically')">Instances</p><div id="section.i:WPeriodically" class="show"><table><tr><td class="src">(<a href="/usr/share/doc/libghc-vector-space-doc/html/Data-AdditiveGroup.html#t:AdditiveGroup">AdditiveGroup</a> t, <a href="Control-Wire-Classes.html#t:MonadClock">MonadClock</a> t m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> t) => <a href="Control-Wire-Prefab-Event.html#t:WPeriodically">WPeriodically</a> t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m)</td><td class="doc empty"> </td></tr></table></div></div></div><h2 id="g:3">Unconditional inhibition
</h2><div class="top"><p class="src"><a name="v:inhibit" class="def">inhibit</a> :: <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~ => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ e b<a href="src/Control-Wire-Prefab-Event.html#inhibit" class="link">Source</a></p><div class="doc"><p>Never produces. Always inhibits with the current input signal.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: Always.
</li></ul></div></div><div class="top"><p class="src"><a name="v:never" class="def">never</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ a b<a href="src/Control-Wire-Prefab-Event.html#never" class="link">Source</a></p><div class="doc"><p>Never produces. Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Arrow.html#v:zeroArrow">zeroArrow</a></code>.
</p><ul><li> Inhibits: Always.
</li></ul></div></div><h2 id="g:4">Predicate-based
</h2><div class="top"><p class="src"><a name="v:asSoonAs" class="def">asSoonAs</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#asSoonAs" class="link">Source</a></p><div class="doc"><p>Inhibits as long as the input signal is <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:False">False</a></code>. Once it switches
to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:True">True</a></code>, it produces forever.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: As long as input signal is <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:False">False</a></code>, then never again.
</li></ul></div></div><div class="top"><p class="src"><a name="v:edge" class="def">edge</a> :: <span class="keyword">forall</span> e (>~). (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#edge" class="link">Source</a></p><div class="doc"><p>Produces once whenever the input signal switches from <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:False">False</a></code> to
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:True">True</a></code>.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: Always except at the above mentioned instants.
</li></ul></div></div><div class="top"><p class="src"><a name="v:require" class="def">require</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#require" class="link">Source</a></p><div class="doc"><p>Produces, whenever the current input signal is <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:True">True</a></code>.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: When input is <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:False">False</a></code>.
</li></ul></div></div><div class="top"><p class="src"><a name="v:forbid" class="def">forbid</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#forbid" class="link">Source</a></p><div class="doc"><p>Produces, whenever the current input signal is <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:False">False</a></code>.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: When input is <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:True">True</a></code>.
</li></ul></div></div><div class="top"><p class="src"><a name="v:while" class="def">while</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Control-Wire-Prefab-Event.html#while" class="link">Source</a></p><div class="doc"><p>Produce as long as the input signal is <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:True">True</a></code>. Once it switches to
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:False">False</a></code>, never produce again. Corresponds to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-List.html#v:takeWhile">takeWhile</a></code> for lists.
</p><ul><li> Depends: Current instant.
</li><li> Inhibits: As soon as input becomes <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#v:False">False</a></code>.
</li></ul></div></div><h2 id="g:5">Instant-based
</h2><div class="top"><p class="src"><a name="v:notYet" class="def">notYet</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ b b<a href="src/Control-Wire-Prefab-Event.html#notYet" class="link">Source</a></p><div class="doc"><p>Inhibit at the first instant. Then produce forever.
</p><ul><li> Inhibits: At the first instant.
</li></ul></div></div><div class="top"><p class="src"><a name="v:once" class="def">once</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> e, <a href="Control-Wire-Types.html#t:WirePure">WirePure</a> >~) => <a href="Control-Wire-Types.html#t:Wire">Wire</a> e >~ b b<a href="src/Control-Wire-Prefab-Event.html#once" class="link">Source</a></p><div class="doc"><p>Acts like the identity function once and never again.
</p><ul><li> Inhibits: After the first instant.
</li></ul></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
|