Geom2d.Shape

Documentation

data Shape p a

Shape describes geometric shapes in the euklidean plain.

Instances

(Rotation p, Point p) => Rotation (Shape p)

Translate p => Translate (Shape p)

Point p => Spatial (Shape p)

(Floating a, Eq (p a), Num (p a), Ord a, Point p, Distance p p) => Intersect (p a) (Shape p a)

(Eq a, Eq (p a)) => Eq (Shape p a)

(Read a, Read (p a)) => Read (Shape p a)

(Show a, Show (p a)) => Show (Shape p a)

(Eq (p a), RealFloat a, Num (p a), Point p, Arbitrary a, Arbitrary (p a), Scale p) => Arbitrary (Shape p a)

(Floating a, Eq (p a), Num (p a), Ord a, Point p, Distance p p) => Intersect (Shape p a) (p a)

(Point p, RealFloat a, Ord a, Eq (p a)) => Intersect (FinLine p a) (Shape p a)

(Point p, RealFloat a, Ord a, Eq (p a)) => Intersect (Shape p a) (FinLine p a)

(Ord a, Distance p p, Eq (p a), Num (p a), Point p, RealFloat a) => Intersect (Shape p a) (Shape p a)

class Spatial s where

Methods

area :: (Floating a, Ord a) => s a -> a

minX :: (Floating a, Ord a) => s a -> a

maxX :: (Floating a, Ord a) => s a -> a

minY :: (Floating a, Ord a) => s a -> a

maxY :: (Floating a, Ord a) => s a -> a

Instances

Point p => Spatial (Shape p)

Point p => Spatial (Polygon p)

Point p => Spatial (Circle p)

circle :: Num a => p a -> a -> Shape p a

rectangle :: (Translate p, Eq a, RealFloat a, Point p, Rotation p) => p a -> a -> a -> Maybe (Shape p a)