geom2d-0.1.2.0: package for geometry in euklidean 2d space

Safe HaskellNone
LanguageHaskell2010

Geom2d.Intersect

Documentation

class Intersect a b where Source

Methods

intersect :: a -> b -> Bool Source

Instances

Eq a => Intersect (Point' a) (Point' a) Source 
(Point p, Eq a, Fractional a) => Intersect (p a) (InfLine p a) Source 
(Floating a, Eq (p a), Num (p a), Ord a, Point p, Distance p p) => Intersect (p a) (Shape p a) Source 
(Point p, Ord a, Eq (p a), Floating a) => Intersect (p a) (Polygon p a) Source 
(Floating a, Ord a, Distance p p) => Intersect (p a) (Circle p a) Source 
(Point p, Eq a, Fractional a) => Intersect (InfLine p a) (p a) Source 
(Floating a, Eq (p a), Num (p a), Ord a, Point p, Distance p p) => Intersect (Shape p a) (p a) Source 
(Point p, Floating a, Num (p a), Eq (p a), Ord a) => Intersect (Polygon p a) (p a) Source 
(Floating a, Ord a, Distance p p) => Intersect (Circle p a) (p a) Source 
(Eq (p a), Point p, Num (p a), RealFloat a) => Intersect (FinLine p a) (InfLine p a) Source 
(Eq (p a), Point p, Num (p a), RealFloat a) => Intersect (FinLine p a) (FinLine p a) Source 
(Point p, RealFloat a, Ord a, Eq (p a)) => Intersect (FinLine p a) (Shape p a) Source 
(RealFloat a, Eq a, Eq (p a), Point p) => Intersect (FinLine p a) (Polygon p a) Source 
(Distance p (FinLine p), Floating a, Ord a) => Intersect (FinLine p a) (Circle p a) Source 
(Eq (p a), Point p, Num (p a), RealFloat a) => Intersect (InfLine p a) (FinLine p a) Source 
(Eq (p a), Num (p a), Num a, RealFloat a, Point p) => Intersect (InfLine p a) (InfLine p a) Source 
(Point p, RealFloat a, Ord a, Eq (p a)) => Intersect (Shape p a) (FinLine p a) Source 
(Ord a, Distance p p, Eq (p a), Num (p a), Point p, RealFloat a) => Intersect (Shape p a) (Shape p a) Source 
(RealFloat a, Eq a, Eq (p a), Point p) => Intersect (Polygon p a) (FinLine p a) Source 
(Eq (p a), Num (p a), RealFloat a, Point p) => Intersect (Polygon p a) (Polygon p a) Source 
(Eq (p a), Floating a, Num (p a), Ord a, Point p) => Intersect (Polygon p a) (Circle p a) Source 
(Eq (p a), Floating a, Num (p a), Ord a, Point p) => Intersect (Circle p a) (Polygon p a) Source 
(Distance p (FinLine p), Floating a, Ord a) => Intersect (Circle p a) (FinLine p a) Source 
(Floating a, Ord a, Distance p p) => Intersect (Circle p a) (Circle p a) Source