(Eq (V a (N a)), Eq a) => Eq (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(Ord (V a (N a)), Ord a) => Ord (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(Read (V a (N a)), Read a) => Read (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(Show (V a (N a)), Show a) => Show (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
Generic (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(Serialize a, Serialize (V a (N a))) => Serialize (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
Enveloped a => Juxtaposable (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
Enveloped a => Enveloped (Located a) Source #  The envelope of a Located a is the envelope of the a ,
translated to the location. 
Instance detailsDefined in Diagrams.Located 
(Traced a, Num (N a)) => Traced (Located a) Source #  The trace of a Located a is the trace of the a ,
translated to the location. 
Instance detailsDefined in Diagrams.Located 
Qualifiable a => Qualifiable (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(Additive (V a), Num (N a), Transformable a) => Transformable (Located a) Source #  Applying a transformation t to a Located a results in the
transformation being applied to the location, and the linear
portion of t being applied to the value of type a (i.e.
it is not translated). 
Instance detailsDefined in Diagrams.Located 
(Num (N a), Additive (V a)) => HasOrigin (Located a) Source #  Located a is an instance of HasOrigin whether a is or not.
In particular, translating a Located a simply translates the
associated point (and does not affect the value of type a ).

Instance detailsDefined in Diagrams.Located 
(Metric v, OrderedField n) => Reversing (Located (Trail v n)) Source #  Same as reverseLocTrail . 
Instance detailsDefined in Diagrams.Trail 
(Metric v, OrderedField n) => Reversing (Located (Trail' l v n)) Source #  Same as reverseLocLine or reverseLocLoop . 
Instance detailsDefined in Diagrams.Trail 
(InSpace v n a, Fractional n, HasArcLength a, Codomain a ~ v) => HasArcLength (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(InSpace v n a, Fractional n, Parametric a, Sectionable a, Codomain a ~ v) => Sectionable (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(InSpace v n a, EndValues a, Codomain a ~ v) => EndValues (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(DomainBounds t, EndValues (Tangent t)) => EndValues (Tangent (Located t)) Source #  
Instance detailsDefined in Diagrams.Tangent 
DomainBounds a => DomainBounds (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
(InSpace v n a, Parametric a, Codomain a ~ v) => Parametric (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
Parametric (Tangent t) => Parametric (Tangent (Located t)) Source #  
Instance detailsDefined in Diagrams.Tangent 
Alignable a => Alignable (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
TrailLike t => TrailLike (Located t) Source #  Located things are traillike as long as the underlying type
is. The location is taken to be the location of the input
located trail.

Instance detailsDefined in Diagrams.TrailLike 
ToPath (Located [Segment Closed v n]) Source #  
Instance detailsDefined in Diagrams.Path 
ToPath (Located (Segment Closed v n)) Source #  
Instance detailsDefined in Diagrams.Path 
ToPath (Located (Trail v n)) Source #  
Instance detailsDefined in Diagrams.Path 
ToPath (Located (Trail' l v n)) Source #  
Instance detailsDefined in Diagrams.Path 
RealFloat n => HasQuery (Located (Trail V2 n)) Crossings Source #  
Instance detailsDefined in Diagrams.TwoD.Path 
RealFloat n => HasQuery (Located (Trail' l V2 n)) Crossings Source #  
Instance detailsDefined in Diagrams.TwoD.Path 
(LinearMappable a b, N a ~ N b, r ~ Located b) => AffineMappable (Located a) r Source #  
Instance detailsDefined in Diagrams.LinearMap 
(LinearMappable a b, r ~ Located b) => LinearMappable (Located a) r Source #  
Instance detailsDefined in Diagrams.LinearMap 
(Metric v, Metric u, OrderedField n, r ~ Located (Trail u n)) => Deformable (Located (Trail v n)) r Source #  
Instance detailsDefined in Diagrams.Deform 
Each (Path v n) (Path v' n') (Located (Trail v n)) (Located (Trail v' n')) Source #  
Instance detailsDefined in Diagrams.Path 
Cons (Path v n) (Path v' n') (Located (Trail v n)) (Located (Trail v' n')) Source #  
Instance detailsDefined in Diagrams.Path 
Snoc (Path v n) (Path v' n') (Located (Trail v n)) (Located (Trail v' n')) Source #  
Instance detailsDefined in Diagrams.Path 
type Rep (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
type V (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
type N (Located a) Source #  
Instance detailsDefined in Diagrams.Located 
type Codomain (Located a) Source #  
Instance detailsDefined in Diagrams.Located 