module FRP.Animas.Point3 (
Point3(..),
point3X,
point3Y,
point3Z
) where
import FRP.Animas.VectorSpace ()
import FRP.Animas.AffineSpace
import FRP.Animas.Vector3
import FRP.Animas.Forceable
data RealFloat a => Point3 a = Point3 !a !a !a deriving Eq
point3X :: RealFloat a => Point3 a -> a
point3X (Point3 x _ _) = x
point3Y :: RealFloat a => Point3 a -> a
point3Y (Point3 _ y _) = y
point3Z :: RealFloat a => Point3 a -> a
point3Z (Point3 _ _ z) = z
instance RealFloat a => AffineSpace (Point3 a) (Vector3 a) a where
origin = Point3 0 0 0
(Point3 x y z) .+^ v =
Point3 (x + vector3X v) (y + vector3Y v) (z + vector3Z v)
(Point3 x y z) .-^ v =
Point3 (x vector3X v) (y vector3Y v) (z vector3Z v)
(Point3 x1 y1 z1) .-. (Point3 x2 y2 z2) =
vector3 (x1 x2) (y1 y2) (z1 z2)
instance RealFloat a => Forceable (Point3 a) where
force = id