Copyright | (c) 2011 diagrams-lib team (see LICENSE) |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | diagrams-discuss@googlegroups.com |
Safe Haskell | None |
Language | Haskell2010 |
Diagrams.TwoD.Types
Description
Basic types for two-dimensional Euclidean space.
- data V2 a :: * -> * = V2 ~a ~a
- class R1 t where
- class R1 t => R2 t where
- type P2 = Point V2
- type T2 = Transformation V2
- r2 :: (n, n) -> V2 n
- unr2 :: V2 n -> (n, n)
- mkR2 :: n -> n -> V2 n
- r2Iso :: Iso' (V2 n) (n, n)
- p2 :: (n, n) -> P2 n
- mkP2 :: n -> n -> P2 n
- unp2 :: P2 n -> (n, n)
- p2Iso :: Iso' (Point V2 n) (n, n)
- r2PolarIso :: RealFloat n => Iso' (V2 n) (n, Angle n)
- class HasR t where
2D Euclidean space
Constructors
V2 ~a ~a |
Instances
Monad V2 | |
Functor V2 | |
MonadFix V2 | |
Applicative V2 | |
Foldable V2 | |
Traversable V2 | |
Generic1 V2 | |
Apply V2 | |
Eq1 V2 | |
Ord1 V2 | |
Read1 V2 | |
Show1 V2 | |
MonadZip V2 | |
Distributive V2 | |
Traversable1 V2 | |
Bind V2 | |
Additive V2 | |
Metric V2 | |
Foldable1 V2 | |
Representable V2 | |
Serial1 V2 | |
R2 V2 | |
R1 V2 | |
Finite V2 | |
Affine V2 | |
HasR V2 Source # | |
Unbox a => Vector Vector (V2 a) | |
Unbox a => MVector MVector (V2 a) | |
Bounded a => Bounded (V2 a) | |
Eq a => Eq (V2 a) | |
Floating a => Floating (V2 a) | |
Fractional a => Fractional (V2 a) | |
Data a => Data (V2 a) | |
Num a => Num (V2 a) | |
Ord a => Ord (V2 a) | |
Read a => Read (V2 a) | |
Show a => Show (V2 a) | |
Ix a => Ix (V2 a) | |
Generic (V2 a) | |
Storable a => Storable (V2 a) | |
Binary a => Binary (V2 a) | |
NFData a => NFData (V2 a) | |
Unbox a => Unbox (V2 a) | |
Hashable a => Hashable (V2 a) | |
Ixed (V2 a) | |
Serialize a => Serialize (V2 a) | |
Serial a => Serial (V2 a) | |
Epsilon a => Epsilon (V2 a) | |
Coordinates (V2 n) Source # | |
FunctorWithIndex (E V2) V2 | |
FoldableWithIndex (E V2) V2 | |
TraversableWithIndex (E V2) V2 | |
Each (V2 a) (V2 b) a b | |
RealFloat n => Traced (BoundingBox V2 n) # | |
type Rep1 V2 | |
type Rep V2 | |
type Size V2 | |
type Diff V2 | |
data MVector s (V2 a) | |
type Rep (V2 a) | |
data Vector (V2 a) | |
type Index (V2 a) | |
type IxValue (V2 a) | |
type V (V2 n) | |
type N (V2 n) | |
type FinalCoord (V2 n) Source # | |
type PrevDim (V2 n) Source # | |
type Decomposition (V2 n) Source # | |
type T2 = Transformation V2 Source #
A space which has magnitude _r
that can be calculated numerically.