/usr/share/doc/libghc-netwire-doc/html/FRP-Netwire-Move.html is in libghc-netwire-doc 5.0.0-1build1.
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 | <!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>FRP.Netwire.Move</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_FRP-Netwire-Move.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/FRP-Netwire-Move.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-5.0.0: Functional reactive programming library</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>None</td></tr></table><p class="caption">FRP.Netwire.Move</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Calculus
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </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"><a href="#v:derivative">derivative</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:RealFloat">RealFloat</a> a, <a href="Control-Wire-Session.html#t:HasTime">HasTime</a> t s, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> e) => <a href="Control-Wire-Core.html#t:Wire">Wire</a> s e m a a</li><li class="src short"><a href="#v:integral">integral</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Fractional">Fractional</a> a, <a href="Control-Wire-Session.html#t:HasTime">HasTime</a> t s) => a -> <a href="Control-Wire-Core.html#t:Wire">Wire</a> s e m a a</li><li class="src short"><a href="#v:integralWith">integralWith</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Fractional">Fractional</a> a, <a href="Control-Wire-Session.html#t:HasTime">HasTime</a> t s) => (w -> a -> a) -> a -> <a href="Control-Wire-Core.html#t:Wire">Wire</a> s e m (a, w) a</li></ul></div><div id="interface"><h1 id="g:1">Calculus
</h1><div class="top"><p class="src"><a name="v:derivative" class="def">derivative</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:RealFloat">RealFloat</a> a, <a href="Control-Wire-Session.html#t:HasTime">HasTime</a> t s, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> e) => <a href="Control-Wire-Core.html#t:Wire">Wire</a> s e m a a<a href="src/FRP-Netwire-Move.html#derivative" class="link">Source</a></p><div class="doc"><p>Time derivative of the input signal.
</p><ul><li> Depends: now.
</li><li> Inhibits: at singularities.
</li></ul></div></div><div class="top"><p class="src"><a name="v:integral" class="def">integral</a><a href="src/FRP-Netwire-Move.html#integral" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Fractional">Fractional</a> a, <a href="Control-Wire-Session.html#t:HasTime">HasTime</a> t s)</td><td class="doc empty"> </td></tr><tr><td class="src">=> a</td><td class="doc"><p>Integration constant (aka start value).
</p></td></tr><tr><td class="src">-> <a href="Control-Wire-Core.html#t:Wire">Wire</a> s e m a a</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Integrate the input signal over time.
</p><ul><li> Depends: before now.
</li></ul></div></div><div class="top"><p class="src"><a name="v:integralWith" class="def">integralWith</a><a href="src/FRP-Netwire-Move.html#integralWith" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Fractional">Fractional</a> a, <a href="Control-Wire-Session.html#t:HasTime">HasTime</a> t s)</td><td class="doc empty"> </td></tr><tr><td class="src">=> (w -> a -> a)</td><td class="doc"><p>Correction function.
</p></td></tr><tr><td class="src">-> a</td><td class="doc"><p>Integration constant (aka start value).
</p></td></tr><tr><td class="src">-> <a href="Control-Wire-Core.html#t:Wire">Wire</a> s e m (a, w) a</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Integrate the left input signal over time, but apply the given
correction function to it. This can be used to implement collision
detection/reaction.
</p><p>The right signal of type <code>w</code> is the <em>world value</em>. It is just passed
to the correction function for reference and is not used otherwise.
</p><p>The correction function must be idempotent with respect to the world
value: <code>f w (f w x) = f w x</code>. This is necessary and sufficient to
protect time continuity.
</p><ul><li> Depends: before now.
</li></ul></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>
|