Diagrams.Coordinates.Isomorphic

This module defines a class for coordinates that are (loosely) isomorphic to the standard spaces (V2 and V3). This allows plots to accept more data types for plot data.

Type constraints

type HasIndexedBasis v = (HasBasis v, TraversableWithIndex (E v) v)

type Euclidean (v :: * -> *) = (HasLinearMap v, HasIndexedBasis v, Metric v)

Umbrella class giving everything needed for working in the space. This is basically V2 or V3 from "linear".

Vector like

class (Euclidean v, Typeable v) => VectorLike v n a | a -> v n where

Provides an Iso' between a and v n. This is normally used to convert between the data type you're already using, a, and diagram's native form, v n.

Minimal complete definition

vectorLike

Methods

vectorLike :: Iso' (v n) a

Isomorphism from Point v n to something PointLike a.

>>> V2 3 5 ^. vectorLike :: (Int, Int)
(3,5)

unvectorLike :: Iso' a (v n)

Isomorphism from something PointLike a to Point v n.

>>> ((3, 5) :: (Int, Int)) ^. unvectorLike
V2 3 5

Instances

VectorLike V3 n (V3 n)

Defined in Diagrams.Coordinates.Isomorphic

Methods

vectorLike :: Iso' (V3 n) (V3 n)

unvectorLike :: Iso' (V3 n) (V3 n)

VectorLike V2 n (Complex n)

Defined in Diagrams.Coordinates.Isomorphic

Methods

vectorLike :: Iso' (V2 n) (Complex n)

unvectorLike :: Iso' (Complex n) (V2 n)

VectorLike V2 n (V2 n)

Defined in Diagrams.Coordinates.Isomorphic

Methods

vectorLike :: Iso' (V2 n) (V2 n)

unvectorLike :: Iso' (V2 n) (V2 n)

n ~ m => VectorLike V2 n (n, m)

Defined in Diagrams.Coordinates.Isomorphic

Methods

vectorLike :: Iso' (V2 n) (n, m)

unvectorLike :: Iso' (n, m) (V2 n)

(n ~ m, m ~ o) => VectorLike V3 n (n, m, o)

Defined in Diagrams.Coordinates.Isomorphic

Methods

vectorLike :: Iso' (V3 n) (n, m, o)

unvectorLike :: Iso' (n, m, o) (V3 n)

type V2Like = VectorLike V2

type V3Like = VectorLike V3

Point like

class (Euclidean v, Typeable v) => PointLike v n a | a -> v n where

Provides an Iso' between a and Point v n. This is normally used to convert between the data type you're already using, a, and diagram's native form, Point v n.

Minimal complete definition

pointLike

Methods

pointLike :: Iso' (Point v n) a

Isomorphism from Point v n to something PointLike a.

>>> mkP2 3 5 ^. pointLike :: (Int, Int)
(3,5)

unpointLike :: Iso' a (Point v n)

Isomorphism from something PointLike a to Point v n.

>>> ((3, 5) :: (Int, Int)) ^. unpointLike
P (V2 3 5)

Instances

PointLike V2 n (Complex n)

Defined in Diagrams.Coordinates.Isomorphic

Methods

pointLike :: Iso' (Point V2 n) (Complex n)

unpointLike :: Iso' (Complex n) (Point V2 n)

PointLike V2 n (V2 n)

Defined in Diagrams.Coordinates.Isomorphic

Methods

pointLike :: Iso' (Point V2 n) (V2 n)

unpointLike :: Iso' (V2 n) (Point V2 n)

RealFloat n => PointLike V2 n (Polar n)

Does not satify lens laws.

Defined in Diagrams.Coordinates.Polar

Methods

pointLike :: Iso' (Point V2 n) (Polar n)

unpointLike :: Iso' (Polar n) (Point V2 n)

(Euclidean v, Typeable v) => PointLike v n (Point v n)

Defined in Diagrams.Coordinates.Isomorphic

Methods

pointLike :: Iso' (Point v n) (Point v n)

unpointLike :: Iso' (Point v n) (Point v n)

n ~ m => PointLike V2 n (n, m)

Defined in Diagrams.Coordinates.Isomorphic

Methods

pointLike :: Iso' (Point V2 n) (n, m)

unpointLike :: Iso' (n, m) (Point V2 n)

(n ~ m, m ~ o) => PointLike V3 n (n, m, o)

Defined in Diagrams.Coordinates.Isomorphic

Methods

pointLike :: Iso' (Point V3 n) (n, m, o)

unpointLike :: Iso' (n, m, o) (Point V3 n)

type P2Like = PointLike V2

Things that are isomorphic to points in R2.

type P3Like = PointLike V3