| Copyright | (c) 2013 diagrams-lib team (see LICENSE) |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | diagrams-discuss@googlegroups.com |
| Safe Haskell | None |
| Language | Haskell2010 |
Diagrams.Tangent
Contents
Description
Computing tangent and normal vectors for segments and trails.
- tangentAtParam :: Parametric (Tangent t) => t -> N t -> Vn t
- tangentAtStart :: EndValues (Tangent t) => t -> Vn t
- tangentAtEnd :: EndValues (Tangent t) => t -> Vn t
- normalAtParam :: (InSpace V2 n t, Parametric (Tangent t), Floating n) => t -> n -> V2 n
- normalAtStart :: (InSpace V2 n t, EndValues (Tangent t), Floating n) => t -> V2 n
- normalAtEnd :: (InSpace V2 n t, EndValues (Tangent t), Floating n) => t -> V2 n
- newtype Tangent t = Tangent t
Tangents
tangentAtParam :: Parametric (Tangent t) => t -> N t -> Vn t Source
Compute the tangent vector to a segment or trail at a particular parameter.
Examples of more specific types this function can have include
Segment Closed V2 -> Double -> V2 Double
Trail' Line V2 -> Double -> V2 Double
Located (Trail V2) -> Double -> V2 Double
See the instances listed for the Tangent newtype for more.
tangentAtStart :: EndValues (Tangent t) => t -> Vn t Source
Compute the tangent vector at the start of a segment or trail.
tangentAtEnd :: EndValues (Tangent t) => t -> Vn t Source
Compute the tangent vector at the end of a segment or trail.
Normals
normalAtParam :: (InSpace V2 n t, Parametric (Tangent t), Floating n) => t -> n -> V2 n Source
Compute the (unit) normal vector to a segment or trail at a particular parameter.
Examples of more specific types this function can have include
Segment Closed V2 Double -> Double -> V2 Double
Trail' Line V2 Double -> Double -> V2 Double
Located (Trail V2 Double) -> Double -> V2 Double
See the instances listed for the Tangent newtype for more.
normalAtStart :: (InSpace V2 n t, EndValues (Tangent t), Floating n) => t -> V2 n Source
Compute the normal vector at the start of a segment or trail.
normalAtEnd :: (InSpace V2 n t, EndValues (Tangent t), Floating n) => t -> V2 n Source
Compute the normal vector at the end of a segment or trail.
Tangent newtype
A newtype wrapper used to give different instances of
Parametric and EndValues that compute tangent vectors.
Constructors
| Tangent t |
Instances
| (DomainBounds t, EndValues (Tangent t)) => EndValues (Tangent (Located t)) | |
| (Additive v, Num n) => EndValues (Tangent (FixedSegment v n)) | |
| (Additive v, Num n) => EndValues (Tangent (Segment Closed v n)) | |
| (Metric v, OrderedField n, Real n) => EndValues (Tangent (Trail v n)) | |
| (Parametric (GetSegment (Trail' c v n)), EndValues (GetSegment (Trail' c v n)), Additive v, Num n) => EndValues (Tangent (Trail' c v n)) | |
| DomainBounds t => DomainBounds (Tangent t) | |
| Parametric (Tangent t) => Parametric (Tangent (Located t)) | |
| (Additive v, Num n) => Parametric (Tangent (FixedSegment v n)) | |
| (Additive v, Num n) => Parametric (Tangent (Segment Closed v n)) | |
| (Metric v, OrderedField n, Real n) => Parametric (Tangent (Trail v n)) | |
| (Parametric (GetSegment (Trail' c v n)), Additive v, Num n) => Parametric (Tangent (Trail' c v n)) | |
| type V (Tangent t) = V t | |
| type N (Tangent t) = N t | |
| type Codomain (Tangent t) = V t |