Geometry

Documentation

data Point u

Constructors

Point

Fields

_x :: u

_y :: u

Instances

Geometry Point

Eq u => Eq (Point u)

Ord u => Ord (Point u)

Show u => Show (Point u)

data Line u

Constructors

Line

Fields

_a :: Point u

_b :: Point u

Instances

Geometry Line

Eq u => Eq (Line u)

Ord u => Ord (Line u)

Show u => Show (Line u)

data Tri u

Constructors

Tri (Point u) (Point u) (Point u)

Instances

Geometry Tri

Eq u => Eq (Tri u)

Ord u => Ord (Tri u)

Show u => Show (Tri u)

data Poly u

Constructors

Poly [Point u]

Instances

Geometry Poly

Eq u => Eq (Poly u)

Ord u => Ord (Poly u)

Show u => Show (Poly u)

data Mesh u

Constructors

Mesh [Tri u]

Instances

Eq u => Eq (Mesh u)

Ord u => Ord (Mesh u)

Show u => Show (Mesh u)

data Rect u

Constructors

Rect (Point u) (Point u)

Instances

Eq u => Eq (Rect u)

Ord u => Ord (Rect u)

Show u => Show (Rect u)

data Circle u

Constructors

Circle (Point u) u

Instances

Eq u => Eq (Circle u)

Ord u => Ord (Circle u)

Show u => Show (Circle u)

data Elipse u

Constructors

Elipse (Point u) u u

Instances

Eq u => Eq (Elipse u)

Ord u => Ord (Elipse u)

Show u => Show (Elipse u)

class Geometry g where

Methods

centroid :: (Ord u, Floating u) => g u -> Point u

bounds :: (Ord u, Floating u) => g u -> Rect u

translate :: (Ord u, Floating u) => u -> u -> g u -> g u

rotate :: (Ord u, Floating u) => u -> Point u -> g u -> g u

scale :: (Ord u, Floating u) => u -> Point u -> g u -> g u

outline :: g u -> Poly u

mesh :: g u -> Mesh u

discrete :: (RealFrac u, Integral i) => g u -> g i

Instances

Geometry Poly

Geometry Tri

Geometry Line

Geometry Point

rotateLocal :: (Geometry g, Ord u, Floating u) => u -> g u -> g u

centroidPoint :: Point u -> Point u

boundsPoint :: Point u -> Rect u

translatePoint :: Num u => u -> u -> Point u -> Point u

rotatePoint :: Floating u => u -> Point u -> Point u -> Point u

scalePoint :: Num u => u -> Point u -> Point u -> Point u

outlinePoint :: Point u -> Poly u

meshPoint :: Point u -> Mesh u

discretePoint :: (RealFrac u, Integral i) => Point u -> Point i

centroidLine :: Fractional u => Line u -> Point u

boundsLine :: Line u -> Rect u

translateLine :: (Ord u, Floating u) => u -> u -> Line u -> Line u

rotateLine :: (Ord u, Floating u) => u -> Point u -> Line u -> Line u

scaleLine :: (Ord u, Floating u) => u -> Point u -> Line u -> Line u

outlineLine :: Line u -> Poly u

meshLine :: Line u -> Mesh u

discreteLine :: (RealFrac u, Integral i) => Line u -> Line i

centroidTri :: (Ord u, Floating u) => Tri u -> Point u

boundsTri :: Ord u => Tri u -> Rect u

translateTri :: (Ord u, Floating u) => u -> u -> Tri u -> Tri u

rotateTri :: (Ord u, Floating u) => u -> Point u -> Tri u -> Tri u

scaleTri :: (Ord u, Floating u) => u -> Point u -> Tri u -> Tri u

outlineTri :: Tri u -> Poly u

meshTri :: Tri u -> Mesh u

discreteTri :: (RealFrac u, Integral i) => Tri u -> Tri i

centroidPoly :: Fractional u => Poly u -> Point u

boundsPoly :: Ord u => Poly u -> Rect u

translatePoly :: (Ord u, Floating u) => u -> u -> Poly u -> Poly u

rotatePoly :: (Ord u, Floating u) => u -> Point u -> Poly u -> Poly u

scalePoly :: (Ord u, Floating u) => u -> Point u -> Poly u -> Poly u

outlinePoly :: Poly u -> Poly u

meshPoly :: Poly u -> Mesh u

discretePoly :: (RealFrac u, Integral i) => Poly u -> Poly i

inRect :: Ord u => Point u -> Rect u -> Bool

intersectRect :: (Ord u, Num u) => Rect u -> Rect u -> Maybe (Rect u)

star :: (Enum u, Floating u) => Point u -> u -> u -> u -> Poly u