Copyright | (c) 2011 diagrams-lib team (see LICENSE) |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | diagrams-discuss@googlegroups.com |
Safe Haskell | None |
Language | Haskell2010 |
Diagrams.ThreeD.Types
Description
Basic types for three-dimensional Euclidean space.
- r3 :: (n, n, n) -> V3 n
- unr3 :: V3 n -> (n, n, n)
- mkR3 :: n -> n -> n -> V3 n
- p3 :: (n, n, n) -> P3 n
- unp3 :: P3 n -> (n, n, n)
- mkP3 :: n -> n -> n -> P3 n
- r3Iso :: Iso' (V3 n) (n, n, n)
- p3Iso :: Iso' (P3 n) (n, n, n)
- project :: (Metric v, Fractional a) => v a -> v a -> v a
- r3SphericalIso :: RealFloat n => Iso' (V3 n) (n, Angle n, Angle n)
- r3CylindricalIso :: RealFloat n => Iso' (V3 n) (n, Angle n, n)
- data V3 a :: * -> * = V3 ~a ~a ~a
- type P3 = Point V3
- type T3 = Transformation V3
- class R1 t where
- class R1 t => R2 t where
- class R2 t => R3 t where
3D Euclidean space
project :: (Metric v, Fractional a) => v a -> v a -> v a #
Constructors
V3 ~a ~a ~a |
Instances
Monad V3 | |
Functor V3 | |
MonadFix V3 | |
Applicative V3 | |
Foldable V3 | |
Traversable V3 | |
Generic1 V3 | |
Apply V3 | |
Eq1 V3 | |
Ord1 V3 | |
Read1 V3 | |
Show1 V3 | |
MonadZip V3 | |
Distributive V3 | |
Traversable1 V3 | |
Bind V3 | |
Additive V3 | |
Metric V3 | |
Foldable1 V3 | |
Representable V3 | |
Serial1 V3 | |
R3 V3 | |
R2 V3 | |
R1 V3 | |
Finite V3 | |
Affine V3 | |
Unbox a => Vector Vector (V3 a) | |
Unbox a => MVector MVector (V3 a) | |
Bounded a => Bounded (V3 a) | |
Eq a => Eq (V3 a) | |
Floating a => Floating (V3 a) | |
Fractional a => Fractional (V3 a) | |
Data a => Data (V3 a) | |
Num a => Num (V3 a) | |
Ord a => Ord (V3 a) | |
Read a => Read (V3 a) | |
Show a => Show (V3 a) | |
Ix a => Ix (V3 a) | |
Generic (V3 a) | |
Storable a => Storable (V3 a) | |
Binary a => Binary (V3 a) | |
NFData a => NFData (V3 a) | |
Unbox a => Unbox (V3 a) | |
Hashable a => Hashable (V3 a) | |
Ixed (V3 a) | |
Serialize a => Serialize (V3 a) | |
Serial a => Serial (V3 a) | |
Epsilon a => Epsilon (V3 a) | |
Coordinates (V3 n) Source # | |
FunctorWithIndex (E V3) V3 | |
FoldableWithIndex (E V3) V3 | |
TraversableWithIndex (E V3) V3 | |
Each (V3 a) (V3 b) a b | |
TypeableFloat n => Traced (BoundingBox V3 n) # | |
type Rep1 V3 | |
type Rep V3 | |
type Size V3 | |
type Diff V3 | |
data MVector s (V3 a) | |
type Rep (V3 a) | |
data Vector (V3 a) | |
type Index (V3 a) | |
type IxValue (V3 a) | |
type V (V3 n) | |
type N (V3 n) | |
type FinalCoord (V3 n) Source # | |
type PrevDim (V3 n) Source # | |
type Decomposition (V3 n) Source # | |
type T3 = Transformation V3 Source #