/usr/share/doc/libghc-diagrams-lib-doc/html/Diagrams-Tangent.html is in libghc-diagrams-lib-doc 1.2.0.3-1.
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 | <!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>Diagrams.Tangent</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_Diagrams-Tangent.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Diagrams-Tangent.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">diagrams-lib-1.2.0.3: Embedded domain-specific language for declarative graphics</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Maintainer</th><td>diagrams-discuss@googlegroups.com</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Diagrams.Tangent</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Computing tangent and normal vectors for segments and trails.
</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"><a href="#v:tangentAtParam">tangentAtParam</a> :: <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) => t -> <a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t) -> <a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)</li><li class="src short"><a href="#v:tangentAtStart">tangentAtStart</a> :: <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) => t -> <a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)</li><li class="src short"><a href="#v:tangentAtEnd">tangentAtEnd</a> :: <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) => t -> <a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)</li><li class="src short"><a href="#v:normalAtParam">normalAtParam</a> :: (<a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) ~ <a href="Diagrams-TwoD-Types.html#t:R2">R2</a>, <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)) => t -> <a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t) -> <a href="Diagrams-TwoD-Types.html#t:R2">R2</a></li><li class="src short"><a href="#v:normalAtStart">normalAtStart</a> :: (<a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) ~ <a href="Diagrams-TwoD-Types.html#t:R2">R2</a>, <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)) => t -> <a href="Diagrams-TwoD-Types.html#t:R2">R2</a></li><li class="src short"><a href="#v:normalAtEnd">normalAtEnd</a> :: (<a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) ~ <a href="Diagrams-TwoD-Types.html#t:R2">R2</a>, <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)) => t -> <a href="Diagrams-TwoD-Types.html#t:R2">R2</a></li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Tangent">Tangent</a> t = <a href="#v:Tangent">Tangent</a> t</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:tangentAtParam" class="def">tangentAtParam</a> :: <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) => t -> <a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t) -> <a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)<a href="src/Diagrams-Tangent.html#tangentAtParam" class="link">Source</a></p><div class="doc"><p>Compute the tangent vector to a segment or trail at a particular
parameter.
</p><p>Examples of more specific types this function can have include
</p><ul><li><pre>Segment Closed R2 -> Double -> R2</pre></li><li><pre>Trail' Line R2 -> Double -> R2</pre></li><li><pre>Located (Trail R2) -> Double -> R2</pre></li></ul><p>See the instances listed for the <code><a href="Diagrams-Tangent.html#t:Tangent">Tangent</a></code> newtype for more.
</p></div></div><div class="top"><p class="src"><a name="v:tangentAtStart" class="def">tangentAtStart</a> :: <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) => t -> <a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)<a href="src/Diagrams-Tangent.html#tangentAtStart" class="link">Source</a></p><div class="doc"><p>Compute the tangent vector at the start of a segment or trail.
</p></div></div><div class="top"><p class="src"><a name="v:tangentAtEnd" class="def">tangentAtEnd</a> :: <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) => t -> <a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)<a href="src/Diagrams-Tangent.html#tangentAtEnd" class="link">Source</a></p><div class="doc"><p>Compute the tangent vector at the end of a segment or trail.
</p></div></div><div class="top"><p class="src"><a name="v:normalAtParam" class="def">normalAtParam</a> :: (<a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) ~ <a href="Diagrams-TwoD-Types.html#t:R2">R2</a>, <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)) => t -> <a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t) -> <a href="Diagrams-TwoD-Types.html#t:R2">R2</a><a href="src/Diagrams-Tangent.html#normalAtParam" class="link">Source</a></p><div class="doc"><p>Compute the (unit) normal vector to a segment or trail at a
particular parameter.
</p><p>Examples of more specific types this function can have include
</p><ul><li><pre>Segment Closed R2 -> Double -> R2</pre></li><li><pre>Trail' Line R2 -> Double -> R2</pre></li><li><pre>Located (Trail R2) -> Double -> P2</pre></li></ul><p>See the instances listed for the <code><a href="Diagrams-Tangent.html#t:Tangent">Tangent</a></code> newtype for more.
</p></div></div><div class="top"><p class="src"><a name="v:normalAtStart" class="def">normalAtStart</a> :: (<a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) ~ <a href="Diagrams-TwoD-Types.html#t:R2">R2</a>, <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)) => t -> <a href="Diagrams-TwoD-Types.html#t:R2">R2</a><a href="src/Diagrams-Tangent.html#normalAtStart" class="link">Source</a></p><div class="doc"><p>Compute the normal vector at the start of a segment or trail.
</p></div></div><div class="top"><p class="src"><a name="v:normalAtEnd" class="def">normalAtEnd</a> :: (<a href="Diagrams-Parametric.html#t:Codomain">Codomain</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) ~ <a href="Diagrams-TwoD-Types.html#t:R2">R2</a>, <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)) => t -> <a href="Diagrams-TwoD-Types.html#t:R2">R2</a><a href="src/Diagrams-Tangent.html#normalAtEnd" class="link">Source</a></p><div class="doc"><p>Compute the normal vector at the end of a segment or trail.
</p></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:Tangent" class="def">Tangent</a> t <a href="src/Diagrams-Tangent.html#Tangent" class="link">Source</a></p><div class="doc"><p>A newtype wrapper used to give different instances of
<code><a href="Diagrams-Parametric.html#t:Parametric">Parametric</a></code> and <code><a href="Diagrams-Parametric.html#t:EndValues">EndValues</a></code> that compute tangent vectors.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Tangent" class="def">Tangent</a> t</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Tangent" class="caption collapser" onclick="toggleSection('i:Tangent')">Instances</p><div id="section.i:Tangent" class="show"><table><tr><td class="src">(<a href="Diagrams-Parametric.html#t:DomainBounds">DomainBounds</a> t, <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)) => <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Located.html#t:Located">Located</a> t))</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:VectorSpace">VectorSpace</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v)) => <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v))</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:InnerSpace">InnerSpace</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:RealFrac">RealFrac</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v)) => <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v))</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Trail.html#t:GetSegment">GetSegment</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> c v)), <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Trail.html#t:GetSegment">GetSegment</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> c v)), <a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:VectorSpace">VectorSpace</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v)) => <a href="Diagrams-Parametric.html#t:EndValues">EndValues</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> c v))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Diagrams-Parametric.html#t:DomainBounds">DomainBounds</a> t => <a href="Diagrams-Parametric.html#t:DomainBounds">DomainBounds</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> t) => <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Located.html#t:Located">Located</a> t))</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:VectorSpace">VectorSpace</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v)) => <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v))</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:InnerSpace">InnerSpace</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:RealFrac">RealFrac</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v)) => <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v))</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Trail.html#t:GetSegment">GetSegment</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> c v)), <a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:VectorSpace">VectorSpace</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> (<a href="file:///usr/share/doc/libghc-vector-space-doc/html/Data-VectorSpace.html#t:Scalar">Scalar</a> v)) => <a href="Diagrams-Parametric.html#t:Parametric">Parametric</a> (<a href="Diagrams-Tangent.html#t:Tangent">Tangent</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> c v))</td><td class="doc empty"> </td></tr></table></div></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>
|