Geom2d.Point

Documentation

class Point p where

Methods

x :: p a -> a

y :: p a -> a

fromCoords :: a -> a -> p a

Instances

Point Point'

data Point' a

This data type modells the the characteristics of vectors in 2 dimensional space. You should construct it via fromCoords.

Instances

Functor Point'

Rotation Point'

Point Point'

Scale Point'

Translate Point'

Distance Point' Point'

Eq a => Eq (Point' a)

Read a => Read (Point' a)

Show a => Show (Point' a)

Arbitrary a => Arbitrary (Point' a)

(Num a, AEq a, RealFloat a) => AEq (Point' a)

Eq a => Intersect (Point' a) (Point' a)

type Triangle p = (p, p, p)

A triangle is simply a tuple of three points.

class Scale p where

This type class modells data that can be scaled by a factor.

Methods

scale :: Num a => a -> p a -> p a

Instances

Scale Point'

normalize :: (Scale p, Point p, Eq a, Floating a) => p a -> Maybe (p a)

Normalizes a scaleable point to length 1.

scaleTo :: (Scale p, Point p, Eq a, Floating a) => a -> p a -> Maybe (p a)

magnitude :: (Point p, Floating a, Num a) => p a -> a

Return the magnitude of a vector.

dot :: (Num a, Point p) => p a -> p a -> a infixl 7

This function defines the dot product of two vectors.

cross :: (Num a, Point p) => p a -> p a -> a infixl 7

This function defined the cross product of two vectors.

triArea :: (Point p, Num (p a), Fractional a) => Triangle (p a) -> a

Calculate the area of a triangle.

pointInTriangle :: (Eq (p a), Num (p a), Fractional a, Point p, Ord a) => Triangle (p a) -> p a -> Bool

Determin whether a point is in a triangle. A point being on the edge is considered inside the triangle.