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

Test.QuickCheck.HGeometryInstances

Contents

Orphan instances

Description

Arbitrary instances for most geometry types in HGeometry

Orphan instances

Arbitrary Direction Source #
Instance details Methods arbitrary :: Gen Direction # shrink :: Direction -> [Direction] #
Arbitrary a => Arbitrary (BinaryTree a) Source #
Instance details Methods arbitrary :: Gen (BinaryTree a) # shrink :: BinaryTree a -> [BinaryTree a] #
(Arbitrary a, Ord a) => Arbitrary (OrdSeq a) Source #
Instance details Methods arbitrary :: Gen (OrdSeq a) # shrink :: OrdSeq a -> [OrdSeq a] #
(Arbitrary r, Ord r) => Arbitrary (Range r) Source #
Instance details Methods arbitrary :: Gen (Range r) # shrink :: Range r -> [Range r] #
Arbitrary r => Arbitrary (EndPoint r) Source #
Instance details Methods arbitrary :: Gen (EndPoint r) # shrink :: EndPoint r -> [EndPoint r] #
(Arbitrary a, Arbitrary v) => Arbitrary (BinLeafTree v a) Source #
Instance details Methods arbitrary :: Gen (BinLeafTree v a) # shrink :: BinLeafTree v a -> [BinLeafTree v a] #
(Arbitrary c, Arbitrary e) => Arbitrary (c :+ e) Source #
Instance details Methods arbitrary :: Gen (c :+ e) # shrink :: (c :+ e) -> [c :+ e] #
(Arbitrary r, Arity d) => Arbitrary (Vector d r) Source #
Instance details Methods arbitrary :: Gen (Vector d r) # shrink :: Vector d r -> [Vector d r] #
(Arbitrary r, Arity d) => Arbitrary (Point d r) Source #
Instance details Methods arbitrary :: Gen (Point d r) # shrink :: Point d r -> [Point d r] #
(Arbitrary r, Arity d, Num r, Eq r) => Arbitrary (Line d r) Source #
Instance details Methods arbitrary :: Gen (Line d r) # shrink :: Line d r -> [Line d r] #
(KnownNat n, Arbitrary a) => Arbitrary (LSeq n a) Source #
Instance details Methods arbitrary :: Gen (LSeq n a) # shrink :: LSeq n a -> [LSeq n a] #
Arbitrary (Dart s) Source #
Instance details Methods arbitrary :: Gen (Dart s) # shrink :: Dart s -> [Dart s] #
Arbitrary (Arc s) Source #
Instance details Methods arbitrary :: Gen (Arc s) # shrink :: Arc s -> [Arc s] #
(Arbitrary r, Arbitrary p, Ord r, Ord p) => Arbitrary (Interval p r) Source #
Instance details Methods arbitrary :: Gen (Interval p r) # shrink :: Interval p r -> [Interval p r] #
(Arbitrary r, Arity d, Ord r) => Arbitrary (Box d () r) Source #
Instance details Methods arbitrary :: Gen (Box d () r) # shrink :: Box d () r -> [Box d () r] #
(Arbitrary r, Arbitrary p, Arity d) => Arbitrary (LineSegment d p r) Source #
Instance details Methods arbitrary :: Gen (LineSegment d p r) # shrink :: LineSegment d p r -> [LineSegment d p r] #
(Arbitrary r, Arbitrary p, Arbitrary s, Arity d, Ord r, Ord s, Ord p, Num r) => Arbitrary (SubLine d p s r) Source #
Instance details Methods arbitrary :: Gen (SubLine d p s r) # shrink :: SubLine d p s r -> [SubLine d p s r] #