Module

Data.Geometry.Plane

#PointAttributes 

type PointAttributes = { coordinates :: Polynomial Number, name :: String }

#point 

point :: String -> Number -> Number -> Point

#Based 

class Based a  where

Members

Instances

#rename 

rename :: String -> Point -> Point

#segment 

segment :: Point -> Point -> Maybe String -> Segment

#middle 

middle :: String -> Segment -> Point

#vector 

vector :: Point -> Point -> Vector

#scale 

scale :: Number -> Vector -> Vector

#Measurable 

class Measurable a  where

Members

Instances

#normalized 

normalized :: Vector -> Vector

#normalTo 

normalTo :: Vector -> Vector

#rotated 

rotated :: Number -> Vector -> Vector

#projection 

projection :: Vector -> Vector -> Vector

#Summable 

class Summable a b  where

Members

Instances

#(<+|)

Operator alias for Data.Geometry.Plane.plus (left-associative / precedence 6)

#cosAngle 

cosAngle :: Vector -> Vector -> Number

#halfline 

halfline :: Point -> Vector -> HalfLine

#line 

line :: Point -> Point -> Line

#aPointOnLine 

aPointOnLine :: Line -> Point

#aVectorOfLine 

aVectorOfLine :: Line -> Vector

#circle 

circle :: Point -> Number -> Circle

#Arc 

newtype Arc

Constructors

#RightAngle 

newtype RightAngle

Constructors

#rightangle 

rightangle :: Vector -> Point -> Vector -> Number -> RightAngle

Modules