Geom2d.Shape.Internal

Documentation

data Circle p a

Constructors

Circle (p a) a

Instances

(Point p, Distance p p) => Distance p (Circle p)

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

(Point p, Distance p p) => Distance (Circle p) p

(Floating a, Ord a, Distance p p) => Intersect (p a) (Circle p a)

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

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

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

(Arbitrary a, Arbitrary (p a), Ord a, Num a) => Arbitrary (Circle p a)

(Floating a, Ord a, Distance p p) => Intersect (Circle p a) (p a)

(Eq (p a), Floating a, Num (p a), Ord a, Point p) => Intersect (Polygon p a) (Circle p a)

(Eq (p a), Floating a, Num (p a), Ord a, Point p) => Intersect (Circle p a) (Polygon p a)

(Floating a, Ord a, Distance p p) => Intersect (Circle p a) (Circle p a)

mkCircleInt :: Num a => p a -> a -> Circle p a

radius :: Circle p a -> a

center :: Circle p a -> p a

data Polygon p a

A Polygon is meant to describe a convex 2-dimensional shape.

Constructors

Polygon (p a) [p a]

The point (first argument) should be inside the polygon, otherwise weird stuff will happen. Also you must not specify the same vector (second argument) twice.

Instances

Rotation p => Rotation (Polygon p)

(Point p, Fractional a, Num (p a), Eq (p a), Ord a) => Intersect (p a) (Polygon p a)

Eq (p a) => Eq (Polygon p a)

Read (p a) => Read (Polygon p a)

Show (p a) => Show (Polygon p a)

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

(Point p, Fractional a, Num (p a), Eq (p a), Ord a) => Intersect (Polygon p a) (p a)

(Eq (p a), Num (p a), RealFloat a, Point p) => Intersect (Polygon p a) (Polygon p a)

(Eq (p a), Floating a, Num (p a), Ord a, Point p) => Intersect (Polygon p a) (Circle p a)

(Eq (p a), Floating a, Num (p a), Ord a, Point p) => Intersect (Circle p a) (Polygon p a)

convexHull' :: forall p a. (Num (p a), Fractional a, Ord a, Scale p, Point p) => [p a] -> Maybe (Polygon p a)

Calculate the convex hull of an arbitrary number of points.

rectangleInt

Arguments

:: (Point p, RealFloat a, Eq a, Translate p, Rotation p)

=> p a

-> a

length of one side

-> a

length of the other side

-> Maybe (Polygon p a)

data Shape p a

Shape describes geometric shapes in the euklidean plain.

Constructors

ShapeCircle (Circle p a)

ShapePolygon (Polygon p a)

Instances

(Rotation p, Point p) => Rotation (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)

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

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