| 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
Contents
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
data V2 a :: * -> *
Constructors
| V2 !a !a |
Instances
| Monad V2 | |
| Functor V2 | |
| MonadFix V2 | |
| Applicative V2 | |
| Foldable V2 | |
| Traversable V2 | |
| Generic1 V2 | |
| Distributive V2 | |
| MonadZip V2 | |
| Eq1 V2 | |
| Ord1 V2 | |
| Read1 V2 | |
| Show1 V2 | |
| Traversable1 V2 | |
| Additive V2 | |
| Metric V2 | |
| Foldable1 V2 | |
| Bind V2 | |
| Apply V2 | |
| Representable V2 | |
| Serial1 V2 | |
| R2 V2 | |
| R1 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) | |
| Ixed (V2 a) | |
| Hashable a => Hashable (V2 a) | |
| Unbox a => Unbox (V2 a) | |
| Epsilon a => Epsilon (V2 a) | |
| Serialize a => Serialize (V2 a) | |
| Serial a => Serial (V2 a) | |
| Coordinates (V2 n) Source | |
| TraversableWithIndex (E V2) V2 | |
| FunctorWithIndex (E V2) V2 | |
| FoldableWithIndex (E V2) V2 | |
| Each (V2 a) (V2 b) a b | |
| RealFloat n => Traced (BoundingBox V2 n) | |
| type Rep1 V2 = D1 D1V2 (C1 C1_0V2 ((:*:) (S1 NoSelector Par1) (S1 NoSelector Par1))) | |
| type Rep V2 = E V2 | |
| type Diff V2 = V2 | |
| data MVector s (V2 a) = MV_V2 !Int !(MVector s a) | |
| type Rep (V2 a) = D1 D1V2 (C1 C1_0V2 ((:*:) (S1 NoSelector (Rec0 a)) (S1 NoSelector (Rec0 a)))) | |
| type IxValue (V2 a) = a | |
| type Index (V2 a) = E V2 | |
| type V (V2 n) = V2 | |
| type N (V2 n) = n | |
| data Vector (V2 a) = V_V2 !Int !(Vector a) | |
| type FinalCoord (V2 n) = n Source | |
| type PrevDim (V2 n) = n Source | |
| type Decomposition (V2 n) = (:&) n n Source |
class R1 t where
Minimal complete definition
Nothing
type T2 = Transformation V2 Source
r2PolarIso :: RealFloat n => Iso' (V2 n) (n, Angle n) Source