Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2024

HGeometry.Kernel.Instances

Contents

Orphan instances

Description

Arbitrary instances for the types in hgeometry-kernel

Documentation

isValidInterval :: (Eq (endPoint r), Ord r, IxValue (endPoint r) ~ r, EndPoint_ (endPoint r)) => endPoint r -> endPoint r -> Bool Source #

bothClosed :: forall {k} endPoint (r :: k). EndPoint_ (endPoint r) => endPoint r -> endPoint r -> Bool Source #

implies :: Bool -> Bool -> Bool Source #

Orphan instances

Arbitrary EndPointType Source #
Instance details Methods arbitrary :: Gen EndPointType Source # shrink :: EndPointType -> [EndPointType] Source #
(Arbitrary point, Arbitrary (NumType point), Ord (NumType point), Num (NumType point)) => Arbitrary (Ball point) Source #
Instance details Methods arbitrary :: Gen (Ball point) Source # shrink :: Ball point -> [Ball point] Source #
(Arbitrary point, Eq point, ConstructablePoint_ point d r, Num r) => Arbitrary (DiametralBall point) Source #
Instance details Methods arbitrary :: Gen (DiametralBall point) Source # shrink :: DiametralBall point -> [DiametralBall point] Source #
(Arbitrary point, Arbitrary r, Point_ point d r, Num r, Ord r, Zip (Vector d)) => Arbitrary (Box point) Source #
Instance details Methods arbitrary :: Gen (Box point) Source # shrink :: Box point -> [Box point] Source #
(Arbitrary point, ConstructablePoint_ point 2 r, Ord r, Num r, Eq point) => Arbitrary (DiskByPoints point) Source #
Instance details Methods arbitrary :: Gen (DiskByPoints point) Source # shrink :: DiskByPoints point -> [DiskByPoints point] Source #
(Arbitrary point, Arbitrary (Vector (Dimension point) (NumType point)), Num (NumType point), Eq (Vector (Dimension point) (NumType point)), Has_ Additive_ (Dimension point) (NumType point)) => Arbitrary (HalfLine point) Source #
Instance details Methods arbitrary :: Gen (HalfLine point) Source # shrink :: HalfLine point -> [HalfLine point] Source #
Arbitrary boundingHyperPlane => Arbitrary (HalfSpaceF boundingHyperPlane) Source #
Instance details Methods arbitrary :: Gen (HalfSpaceF boundingHyperPlane) Source # shrink :: HalfSpaceF boundingHyperPlane -> [HalfSpaceF boundingHyperPlane] Source #
Arbitrary r => Arbitrary (AnEndPoint r) Source #
Instance details Methods arbitrary :: Gen (AnEndPoint r) Source # shrink :: AnEndPoint r -> [AnEndPoint r] Source #
Arbitrary r => Arbitrary (VerticalOrLineEQ r) Source #
Instance details Methods arbitrary :: Gen (VerticalOrLineEQ r) Source # shrink :: VerticalOrLineEQ r -> [VerticalOrLineEQ r] Source #
Arbitrary r => Arbitrary (LineEQ r) Source #
Instance details Methods arbitrary :: Gen (LineEQ r) Source # shrink :: LineEQ r -> [LineEQ r] Source #
(Arbitrary point, Point_ point 2 r, Num r, Ord r, Eq point) => Arbitrary (Triangle point) Source #
Instance details Methods arbitrary :: Gen (Triangle point) Source # shrink :: Triangle point -> [Triangle point] Source #
(Arbitrary point, Point_ point 2 r, Ord r, Num r) => Arbitrary (BallByPoints' 3 point) Source #
Instance details Methods arbitrary :: Gen (BallByPoints' 3 point) Source # shrink :: BallByPoints' 3 point -> [BallByPoints' 3 point] Source #
(Arbitrary r, Has_ Vector_ (d + 1) r, Has_ Additive_ d r, d <= (d + 1), Num r, Eq (Vector d r)) => Arbitrary (HyperPlane d r) Source #
Instance details Methods arbitrary :: Gen (HyperPlane d r) Source # shrink :: HyperPlane d r -> [HyperPlane d r] Source #
(Arbitrary r, Has_ Additive_ d r, Num r, Eq (Vector d r)) => Arbitrary (NonVerticalHyperPlane d r) Source #
Instance details Methods arbitrary :: Gen (NonVerticalHyperPlane d r) Source # shrink :: NonVerticalHyperPlane d r -> [NonVerticalHyperPlane d r] Source #
Arbitrary r => Arbitrary (EndPoint ep r) Source #
Instance details Methods arbitrary :: Gen (EndPoint ep r) Source # shrink :: EndPoint ep r -> [EndPoint ep r] Source #
(Arbitrary r, Has_ Additive_ d r, Eq (Vector d r), Num r, KnownNat d) => Arbitrary (LinePV d r) Source #
Instance details Methods arbitrary :: Gen (LinePV d r) Source # shrink :: LinePV d r -> [LinePV d r] Source #
(Arbitrary (endPoint point), IsEndPoint (endPoint point) (endPoint point), IxValue (endPoint point) ~ point, Eq point) => Arbitrary (LineSegment endPoint point) Source #
Instance details Methods arbitrary :: Gen (LineSegment endPoint point) Source # shrink :: LineSegment endPoint point -> [LineSegment endPoint point] Source #
(Arbitrary (endPoint r), Eq (endPoint r), Ord r, IxValue (endPoint r) ~ r, EndPoint_ (endPoint r)) => Arbitrary (Interval endPoint r) Source #
Instance details Methods arbitrary :: Gen (Interval endPoint r) Source # shrink :: Interval endPoint r -> [Interval endPoint r] Source #
(Has_ Additive_ m r, Has_ Vector_ n (Vector m r), Ixed (Vector n (Vector m r)), Ixed (Vector m r), Arbitrary r) => Arbitrary (Matrix n m r) Source #
Instance details Methods arbitrary :: Gen (Matrix n m r) Source # shrink :: Matrix n m r -> [Matrix n m r] Source #