/usr/share/doc/libghc-diagrams-lib-doc/html/Diagrams-Path.html is in libghc-diagrams-lib-doc 1.3.1.4-3.
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 | <!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.Path</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Diagrams-Path.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Diagrams-Path.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.3.1.4: Embedded domain-specific language for declarative graphics</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(c) 2011 diagrams-lib team (see LICENSE)</td></tr><tr><th>License</th><td>BSD-style (see LICENSE)</td></tr><tr><th>Maintainer</th><td>diagrams-discuss@googlegroups.com</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Diagrams.Path</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Paths</a></li><li><a href="#g:2">Constructing paths</a></li><li><a href="#g:3">Eliminating paths</a></li><li><a href="#g:4">Modifying paths</a></li><li><a href="#g:5">Miscellaneous</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines <em>paths</em>, which are collections of concretely
located <code><a href="Diagrams-Trail.html#t:Trail">Trail</a></code>s. Many drawing systems (cairo, svg, ...) have a
similar notion of "path". Note that paths with multiple trails
are necessary for being able to draw <em>e.g.</em> filled objects with
holes in them.</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">newtype</span> <a href="#t:Path">Path</a> v n = <a href="#v:Path">Path</a> [<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)]</li><li class="src short"><a href="#v:pathTrails">pathTrails</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)]</li><li class="src short"><span class="keyword">class</span> <a href="#t:ToPath">ToPath</a> t <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:pathFromTrail">pathFromTrail</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Trail.html#t:Trail">Trail</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n</li><li class="src short"><a href="#v:pathFromTrailAt">pathFromTrailAt</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Trail.html#t:Trail">Trail</a> v n -> <a href="Diagrams-Points.html#t:Point">Point</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n</li><li class="src short"><a href="#v:pathFromLocTrail">pathFromLocTrail</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n</li><li class="src short"><a href="#v:pathPoints">pathPoints</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Points.html#t:Point">Point</a> v n]]</li><li class="src short"><a href="#v:pathVertices-39-">pathVertices'</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Points.html#t:Point">Point</a> v n]]</li><li class="src short"><a href="#v:pathVertices">pathVertices</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Points.html#t:Point">Point</a> v n]]</li><li class="src short"><a href="#v:pathOffsets">pathOffsets</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [v n]</li><li class="src short"><a href="#v:pathCentroid">pathCentroid</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Points.html#t:Point">Point</a> v n</li><li class="src short"><a href="#v:pathLocSegments">pathLocSegments</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n)]]</li><li class="src short"><a href="#v:fixPath">fixPath</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n]]</li><li class="src short"><a href="#v:scalePath">scalePath</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Transform.html#t:HasLinearMap">HasLinearMap</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n</li><li class="src short"><a href="#v:reversePath">reversePath</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n</li><li class="src short"><a href="#v:explodePath">explodePath</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t ~ v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> t ~ n, <a href="Diagrams-TrailLike.html#t:TrailLike">TrailLike</a> t) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[t]]</li><li class="src short"><a href="#v:partitionPath">partitionPath</a> :: (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> (<a href="Diagrams-Path.html#t:Path">Path</a> v n, <a href="Diagrams-Path.html#t:Path">Path</a> v n)</li></ul></div><div id="interface"><h1 id="g:1">Paths</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Path" class="def">Path</a> v n <a href="src/Diagrams-Path.html#Path" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></p><div class="doc"><p>A <em>path</em> is a (possibly empty) list of <code><a href="Diagrams-Located.html#t:Located">Located</a></code> <code><a href="Diagrams-Trail.html#t:Trail">Trail</a></code>s.
Hence, unlike trails, paths are not translationally invariant,
and they form a monoid under <em>superposition</em> (placing one path on
top of another) rather than concatenation.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Path" class="def">Path</a> [<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Path" class="caption collapser" onclick="toggleSection('i:Path')">Instances</p><div id="section.i:Path" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Eq:1" class="instance expander" onclick="toggleSection('i:id:Path:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> (v n) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-136" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Ord:2" class="instance expander" onclick="toggleSection('i:id:Path:Ord:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> (v n) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-137" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Ord:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Show:3" class="instance expander" onclick="toggleSection('i:id:Path:Show:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> (v n) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-135" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Show:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Diagrams-Path.html#t:Path">Path</a> v n] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Semigroup:4" class="instance expander" onclick="toggleSection('i:id:Path:Semigroup:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-93" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Semigroup:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Monoid:5" class="instance expander" onclick="toggleSection('i:id:Path:Monoid:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-93" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Monoid:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Diagrams-Path.html#t:Path">Path</a> v n] -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Juxtaposable:6" class="instance expander" onclick="toggleSection('i:id:Path:Juxtaposable:6')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Juxtapose.html#t:Juxtaposable">Juxtaposable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-161" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Juxtaposable:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:juxtapose">juxtapose</a> :: <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:juxtapose" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Enveloped:7" class="instance expander" onclick="toggleSection('i:id:Path:Enveloped:7')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Envelope.html#t:Enveloped">Enveloped</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-155" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Enveloped:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getEnvelope">getEnvelope</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Envelope.html#t:Envelope">Envelope</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) <a href="#v:getEnvelope" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Transformable:8" class="instance expander" onclick="toggleSection('i:id:Path:Transformable:8')"></span> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Transform.html#t:HasLinearMap">HasLinearMap</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Transform.html#t:Transformable">Transformable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-151" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Transformable:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:transform">transform</a> :: <a href="Diagrams-Transform.html#t:Transformation">Transformation</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:transform" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:HasOrigin:9" class="instance expander" onclick="toggleSection('i:id:Path:HasOrigin:9')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Vector.html#t:Additive">Additive</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> n) => <a href="Diagrams-Transform.html#t:HasOrigin">HasOrigin</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-142" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:HasOrigin:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:moveOriginTo">moveOriginTo</a> :: <a href="Diagrams-Points.html#t:Point">Point</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:moveOriginTo" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:AsEmpty:10" class="instance expander" onclick="toggleSection('i:id:Path:AsEmpty:10')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Empty.html#t:AsEmpty">AsEmpty</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-120" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:AsEmpty:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_Empty">_Empty</a> :: <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Prism-39-">Prism'</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) () <a href="#v:_Empty" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Wrapped:11" class="instance expander" onclick="toggleSection('i:id:Path:Wrapped:11')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-111" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Wrapped:11" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Unwrapped" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_Wrapped-39-">_Wrapped'</a> :: <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Iso-39-">Iso'</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) <a href="#v:_Wrapped-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Reversing:12" class="instance expander" onclick="toggleSection('i:id:Path:Reversing:12')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Iso.html#t:Reversing">Reversing</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-310" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc"><p>Same as <code><a href="Diagrams-Path.html#v:reversePath">reversePath</a></code>.</p></td></tr><tr><td colspan="2"><div id="section.i:id:Path:Reversing:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:reversing">reversing</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="#v:reversing" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:TrailLike:13" class="instance expander" onclick="toggleSection('i:id:Path:TrailLike:13')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-TrailLike.html#t:TrailLike">TrailLike</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-147" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc"><p>Paths are trail-like; a trail can be used to construct a
singleton path.</p></td></tr><tr><td colspan="2"><div id="section.i:id:Path:TrailLike:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:trailLike">trailLike</a> :: <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n))) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-TrailLike.html#trailLike" class="link">Source</a> <a href="#v:trailLike" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Alignable:14" class="instance expander" onclick="toggleSection('i:id:Path:Alignable:14')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Align.html#t:Alignable">Alignable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-164" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Alignable:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:alignBy-39-">alignBy'</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:InSpace">InSpace</a> v n (<a href="Diagrams-Path.html#t:Path">Path</a> v n), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Fractional">Fractional</a> n, <a href="Diagrams-Transform.html#t:HasOrigin">HasOrigin</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) => (v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Points.html#t:Point">Point</a> v n) -> v n -> n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-Align.html#alignBy%27" class="link">Source</a> <a href="#v:alignBy-39-" class="selflink">#</a></p><p class="src"><a href="#v:defaultBoundary">defaultBoundary</a> :: (((<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) ~ <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) v, (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> ~ <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) n) => v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Points.html#t:Point">Point</a> v n <a href="src/Diagrams-Align.html#defaultBoundary" class="link">Source</a> <a href="#v:defaultBoundary" class="selflink">#</a></p><p class="src"><a href="#v:alignBy">alignBy</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:InSpace">InSpace</a> v n (<a href="Diagrams-Path.html#t:Path">Path</a> v n), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Fractional">Fractional</a> n, <a href="Diagrams-Transform.html#t:HasOrigin">HasOrigin</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) => v n -> n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-Align.html#alignBy" class="link">Source</a> <a href="#v:alignBy" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:ToPath:15" class="instance expander" onclick="toggleSection('i:id:Path:ToPath:15')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-186" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:ToPath:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Renderable:16" class="instance expander" onclick="toggleSection('i:id:Path:Renderable:16')"></span> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Transform.html#t:HasLinearMap">HasLinearMap</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Types.html#t:Renderable">Renderable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Types.html#t:NullBackend">NullBackend</a></span> <a href="src/Diagrams-Path.html#line-167" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Renderable:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:render">render</a> :: <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Types.html#t:NullBackend">NullBackend</a> -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Types.html#t:Render">Render</a> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Types.html#t:NullBackend">NullBackend</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) <a href="#v:render" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Deformable:17" class="instance expander" onclick="toggleSection('i:id:Path:Deformable:17')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Path.html#t:Path">Path</a> u n)) => <a href="Diagrams-Deform.html#t:Deformable">Deformable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) r</span> <a href="src/Diagrams-Deform.html#line-125" class="link">Source</a> <a href="#t:Deformable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Deformable:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:deform-39-">deform'</a> :: <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) -> <a href="Diagrams-Deform.html#t:Deformation">Deformation</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> r <a href="src/Diagrams-Deform.html#deform%27" class="link">Source</a> <a href="#v:deform-39-" class="selflink">#</a></p><p class="src"><a href="#v:deform">deform</a> :: <a href="Diagrams-Deform.html#t:Deformation">Deformation</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> r <a href="src/Diagrams-Deform.html#deform" class="link">Source</a> <a href="#v:deform" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:AffineMappable:18" class="instance expander" onclick="toggleSection('i:id:Path:AffineMappable:18')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Path.html#t:Path">Path</a> u n)) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-170" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:AffineMappable:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:LinearMappable:19" class="instance expander" onclick="toggleSection('i:id:Path:LinearMappable:19')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> m, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Path.html#t:Path">Path</a> u m)) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-127" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:LinearMappable:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Rewrapped:20" class="instance expander" onclick="toggleSection('i:id:Path:Rewrapped:20')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n')</span> <a href="src/Diagrams-Path.html#line-115" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Rewrapped:20" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Cons:21" class="instance expander" onclick="toggleSection('i:id:Path:Cons:21')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Cons.html#t:Cons">Cons</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n') (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v' n'))</span> <a href="src/Diagrams-Path.html#line-123" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Cons:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_Cons">_Cons</a> :: <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Prism">Prism</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n') (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n), <a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v' n'), <a href="Diagrams-Path.html#t:Path">Path</a> v' n') <a href="#v:_Cons" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Snoc:22" class="instance expander" onclick="toggleSection('i:id:Path:Snoc:22')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Cons.html#t:Snoc">Snoc</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n') (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v' n'))</span> <a href="src/Diagrams-Path.html#line-127" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Snoc:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_Snoc">_Snoc</a> :: <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Prism">Prism</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n') (<a href="Diagrams-Path.html#t:Path">Path</a> v n, <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n', <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v' n')) <a href="#v:_Snoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Each:23" class="instance expander" onclick="toggleSection('i:id:Path:Each:23')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Each.html#t:Each">Each</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n') (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v' n'))</span> <a href="src/Diagrams-Path.html#line-117" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Each:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:each">each</a> :: <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Traversal">Traversal</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) (<a href="Diagrams-Path.html#t:Path">Path</a> v' n') (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v' n')) <a href="#v:each" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:V:24" class="instance expander" onclick="toggleSection('i:id:Path:V:24')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-139" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:V:24" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) = v</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:N:25" class="instance expander" onclick="toggleSection('i:id:Path:N:25')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-140" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:N:25" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) = n</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Path:Unwrapped:26" class="instance expander" onclick="toggleSection('i:id:Path:Unwrapped:26')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-112" class="link">Source</a> <a href="#t:Path" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Path:Unwrapped:26" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) = [<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)]</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:pathTrails" class="def">pathTrails</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)] <a href="src/Diagrams-Path.html#pathTrails" class="link">Source</a> <a href="#v:pathTrails" class="selflink">#</a></p><div class="doc"><p>Extract the located trails making up a <code><a href="Diagrams-Path.html#t:Path">Path</a></code>.</p></div></div><h1 id="g:2">Constructing paths</h1><div class="doc"><p>Since paths are <code><a href="Diagrams-TrailLike.html#t:TrailLike">TrailLike</a></code>, any function producing a <code><a href="Diagrams-TrailLike.html#t:TrailLike">TrailLike</a></code>
can be used to construct a (singleton) path. The functions in this
section are provided for convenience.</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:ToPath" class="def">ToPath</a> t <span class="keyword">where</span> <a href="src/Diagrams-Path.html#ToPath" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></p><div class="doc"><p>Type class for things that can be converted to a <code><a href="Diagrams-Path.html#t:Path">Path</a></code>.</p><p>Note that this class is very different from <code><a href="Diagrams-TrailLike.html#t:TrailLike">TrailLike</a></code>. <code><a href="Diagrams-TrailLike.html#t:TrailLike">TrailLike</a></code> is
usually the result of a library function to give you a convenient,
polymorphic result (<code><a href="Diagrams-Path.html#t:Path">Path</a></code>, <code><a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Types.html#t:Diagram">Diagram</a></code> etc.).</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Diagrams-Path.html#v:toPath">toPath</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:toPath" class="def">toPath</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t), <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-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> t)) => t -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> t) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p><div class="doc"><p><code><a href="Diagrams-Path.html#v:toPath">toPath</a></code> takes something that can be converted to <code><a href="Diagrams-Path.html#t:Path">Path</a></code> and returns
the <code><a href="Diagrams-Path.html#t:Path">Path</a></code>.</p></div></div><div class="subs instances"><p id="control.i:ToPath" class="caption collapser" onclick="toggleSection('i:ToPath')">Instances</p><div id="section.i:ToPath" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:1" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:1')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> a => <a href="Diagrams-Path.html#t:ToPath">ToPath</a> [a]</span> <a href="src/Diagrams-Path.html#line-209" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: [a] -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> [a]) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> [a]) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:2" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:2')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Located.html#t:Located">Located</a> [<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n])</span> <a href="src/Diagrams-Path.html#line-202" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Located.html#t:Located">Located</a> [<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n] -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Located.html#t:Located">Located</a> [<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n])) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Located.html#t:Located">Located</a> [<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n])) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:3" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:3')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n))</span> <a href="src/Diagrams-Path.html#line-198" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n) -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n))) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n))) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:4" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:4')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n))</span> <a href="src/Diagrams-Path.html#line-192" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n))) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n))) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:5" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:5')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n))</span> <a href="src/Diagrams-Path.html#line-195" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n) -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n))) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n))) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:6" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:6')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n)</span> <a href="src/Diagrams-Path.html#line-206" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n)) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:7" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:7')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)</span> <a href="src/Diagrams-Path.html#line-189" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Trail.html#t:Trail">Trail</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ToPath:ToPath:8" class="instance expander" onclick="toggleSection('i:ic:ToPath:ToPath:8')"></span> <a href="Diagrams-Path.html#t:ToPath">ToPath</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)</span> <a href="src/Diagrams-Path.html#line-186" class="link">Source</a> <a href="#t:ToPath" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ToPath:ToPath:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toPath">toPath</a> :: <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) <a href="src/Diagrams-Path.html#toPath" class="link">Source</a> <a href="#v:toPath" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:pathFromTrail" class="def">pathFromTrail</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Trail.html#t:Trail">Trail</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-Path.html#pathFromTrail" class="link">Source</a> <a href="#v:pathFromTrail" class="selflink">#</a></p><div class="doc"><p>Convert a trail to a path beginning at the origin.</p></div></div><div class="top"><p class="src"><a id="v:pathFromTrailAt" class="def">pathFromTrailAt</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Trail.html#t:Trail">Trail</a> v n -> <a href="Diagrams-Points.html#t:Point">Point</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-Path.html#pathFromTrailAt" class="link">Source</a> <a href="#v:pathFromTrailAt" class="selflink">#</a></p><div class="doc"><p>Convert a trail to a path with a particular starting point.</p></div></div><div class="top"><p class="src"><a id="v:pathFromLocTrail" class="def">pathFromLocTrail</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-Path.html#pathFromLocTrail" class="link">Source</a> <a href="#v:pathFromLocTrail" class="selflink">#</a></p><div class="doc"><p>Convert a located trail to a singleton path. This is equivalent
to <code><a href="Diagrams-TrailLike.html#v:trailLike">trailLike</a></code>, but provided with a more specific name and type
for convenience.</p></div></div><h1 id="g:3">Eliminating paths</h1><div class="top"><p class="src"><a id="v:pathPoints" class="def">pathPoints</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Points.html#t:Point">Point</a> v n]] <a href="src/Diagrams-Path.html#pathPoints" class="link">Source</a> <a href="#v:pathPoints" class="selflink">#</a></p><div class="doc"><p>Extract the points of a path, resulting in a separate list of
points for each component trail. Here a <em>point</em> is any place
where two segments join; see also <code><a href="Diagrams-Path.html#v:pathVertices">pathVertices</a></code> and <code><a href="Diagrams-Trail.html#v:trailPoints">trailPoints</a></code>.</p><p>This function allows you "observe" the fact that trails are
implemented as lists of segments, which may be problematic if we
want to think of trails as parametric vector functions. This also
means that the behavior of this function may not be stable under
future changes to the implementation of trails and paths. For an
unproblematic version which only yields vertices at which there
is a sharp corner, excluding points differentiable points, see
<code><a href="Diagrams-Path.html#v:pathVertices">pathVertices</a></code>.</p><p>This function is not re-exported from <a href="Diagrams-Prelude.html">Diagrams.Prelude</a>; to use
it, import <a href="Diagrams-Path.html">Diagrams.Path</a>.</p></div></div><div class="top"><p class="src"><a id="v:pathVertices-39-" class="def">pathVertices'</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Points.html#t:Point">Point</a> v n]] <a href="src/Diagrams-Path.html#pathVertices%27" class="link">Source</a> <a href="#v:pathVertices-39-" class="selflink">#</a></p><div class="doc"><p>Extract the vertices of a path, resulting in a separate list of
vertices for each component trail. Here a <em>vertex</em> is defined as
a non-differentiable point on the trail, <em>i.e.</em> a sharp corner.
(Vertices are thus a subset of the places where segments join; if
you want all joins between segments, see <code><a href="Diagrams-Path.html#v:pathPoints">pathPoints</a></code>.) The
tolerance determines how close the tangents of two segments must be
at their endpoints to consider the transition point to be
differentiable. See <code><a href="Diagrams-Trail.html#v:trailVertices">trailVertices</a></code> for more information.</p></div></div><div class="top"><p class="src"><a id="v:pathVertices" class="def">pathVertices</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Points.html#t:Point">Point</a> v n]] <a href="src/Diagrams-Path.html#pathVertices" class="link">Source</a> <a href="#v:pathVertices" class="selflink">#</a></p><div class="doc"><p>Like <code><a href="Diagrams-Path.html#v:pathVertices-39-">pathVertices'</a></code>, with a default tolerance.</p></div></div><div class="top"><p class="src"><a id="v:pathOffsets" class="def">pathOffsets</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [v n] <a href="src/Diagrams-Path.html#pathOffsets" class="link">Source</a> <a href="#v:pathOffsets" class="selflink">#</a></p><div class="doc"><p>Compute the total offset of each trail comprising a path (see <code><a href="Diagrams-Trail.html#v:trailOffset">trailOffset</a></code>).</p></div></div><div class="top"><p class="src"><a id="v:pathCentroid" class="def">pathCentroid</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Points.html#t:Point">Point</a> v n <a href="src/Diagrams-Path.html#pathCentroid" class="link">Source</a> <a href="#v:pathCentroid" class="selflink">#</a></p><div class="doc"><p>Compute the <em>centroid</em> of a path (<em>i.e.</em> the average location of
its <em>vertices</em>; see <code><a href="Diagrams-Path.html#v:pathVertices">pathVertices</a></code>).</p></div></div><div class="top"><p class="src"><a id="v:pathLocSegments" class="def">pathLocSegments</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> <a href="Diagrams-Segment.html#t:Closed">Closed</a> v n)]] <a href="src/Diagrams-Path.html#pathLocSegments" class="link">Source</a> <a href="#v:pathLocSegments" class="selflink">#</a></p><div class="doc"><p>Convert a path into a list of lists of located segments.</p></div></div><div class="top"><p class="src"><a id="v:fixPath" class="def">fixPath</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n]] <a href="src/Diagrams-Path.html#fixPath" class="link">Source</a> <a href="#v:fixPath" class="selflink">#</a></p><div class="doc"><p>Convert a path into a list of lists of <code><a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a></code>s.</p></div></div><h1 id="g:4">Modifying paths</h1><div class="top"><p class="src"><a id="v:scalePath" class="def">scalePath</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Transform.html#t:HasLinearMap">HasLinearMap</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-Path.html#scalePath" class="link">Source</a> <a href="#v:scalePath" class="selflink">#</a></p><div class="doc"><p>Scale a path using its centroid (see <code><a href="Diagrams-Path.html#v:pathCentroid">pathCentroid</a></code>) as the base
point for the scale.</p></div></div><div class="top"><p class="src"><a id="v:reversePath" class="def">reversePath</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> <a href="Diagrams-Path.html#t:Path">Path</a> v n <a href="src/Diagrams-Path.html#reversePath" class="link">Source</a> <a href="#v:reversePath" class="selflink">#</a></p><div class="doc"><p>Reverse all the component trails of a path.</p></div></div><h1 id="g:5">Miscellaneous</h1><div class="top"><p class="src"><a id="v:explodePath" class="def">explodePath</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> t ~ v, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> t ~ n, <a href="Diagrams-TrailLike.html#t:TrailLike">TrailLike</a> t) => <a href="Diagrams-Path.html#t:Path">Path</a> v n -> [[t]] <a href="src/Diagrams-Path.html#explodePath" class="link">Source</a> <a href="#v:explodePath" class="selflink">#</a></p><div class="doc"><p>"Explode" a path by exploding every component trail (see
<code><a href="Diagrams-TrailLike.html#v:explodeTrail">explodeTrail</a></code>).</p></div></div><div class="top"><p class="src"><a id="v:partitionPath" class="def">partitionPath</a> :: (<a href="Diagrams-Located.html#t:Located">Located</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> (<a href="Diagrams-Path.html#t:Path">Path</a> v n, <a href="Diagrams-Path.html#t:Path">Path</a> v n) <a href="src/Diagrams-Path.html#partitionPath" class="link">Source</a> <a href="#v:partitionPath" class="selflink">#</a></p><div class="doc"><p>Partition a path into two paths based on a predicate on trails:
the first containing all the trails for which the predicate returns
<code>True</code>, and the second containing the remaining trails.</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|