Module
Data.Geometry.Types
- Package
- purescript-geometria
- Repository
- Ebmtranceboy/purescript-geometria
#Reveal Source
#Segment Source
newtype Segment :: Int -> Type
newtype Segment n
Constructors
Instances
Show (Segment n)
Metric (Segment n)
Intersectable (Segment 2) (Line 2)
Intersectable (Line 2) (Segment 2)
Intersectable (Segment 2) (HalfLine 2)
Intersectable (HalfLine 2) (Segment 2)
Intersectable (Segment 2) Circle
Intersectable Circle (Segment 2)
Intersectable (Segment 2) (Segment 2)
#HalfLine Source
newtype HalfLine :: Int -> Type
newtype HalfLine n
Constructors
Instances
Show (HalfLine n)
Intersectable (Line 2) (HalfLine 2)
Intersectable (HalfLine 2) (Line 2)
Intersectable (HalfLine 2) Circle
Intersectable Circle (HalfLine 2)
Intersectable (HalfLine 2) (HalfLine 2)
Intersectable (Segment 2) (HalfLine 2)
Intersectable (HalfLine 2) (Segment 2)
#Line Source
newtype Line :: Int -> Type
newtype Line n
Constructors
Instances
Show (Line n)
Intersectable (Line 2) (Line 2)
Intersectable (Line 2) (HalfLine 2)
Intersectable (HalfLine 2) (Line 2)
Intersectable (Line 2) Circle
Intersectable Circle (Line 2)
Intersectable (Segment 2) (Line 2)
Intersectable (Line 2) (Segment 2)
#Analytic Source
class Analytic a where
Members
fromCoordinates :: Polynomial Number -> a
toCoordinates :: a -> Polynomial Number
index :: a -> Int -> Number
Instances
#freeVector Source
freeVector :: forall @n. Shape n Vector => Polynomial Number -> Vector n
#normalized Source
normalized :: forall n. Vector n -> Vector n
#projection Source
projection :: forall n. Vector n -> Vector n -> Vector n
projection d v
projects a vector v on a vector d.
#System Source
type System = Polynomial (Polynomial Number)
#anyVector2 Source
anyVector2 :: System -> Vector 2
#Intersectable Source
class Intersectable a b where
Members
Instances
Intersectable (Line 2) (Line 2)
Intersectable (Line 2) (HalfLine 2)
Intersectable (HalfLine 2) (Line 2)
Intersectable (Line 2) Circle
Intersectable Circle (Line 2)
Intersectable (HalfLine 2) Circle
Intersectable Circle (HalfLine 2)
Intersectable Circle Circle
Intersectable (HalfLine 2) (HalfLine 2)
Intersectable (Segment 2) (Line 2)
Intersectable (Line 2) (Segment 2)
Intersectable (Segment 2) (HalfLine 2)
Intersectable (HalfLine 2) (Segment 2)
Intersectable (Segment 2) Circle
Intersectable Circle (Segment 2)
Intersectable (Segment 2) (Segment 2)