Test.QuickCheck.HGeometryInstances

Orphan instances

Arbitrary a => Arbitrary (BinaryTree a)

Methods

arbitrary :: Gen (BinaryTree a)

shrink :: BinaryTree a -> [BinaryTree a]

(Arbitrary a, Ord a) => Arbitrary (OrdSeq a)

Methods

arbitrary :: Gen (OrdSeq a)

shrink :: OrdSeq a -> [OrdSeq a]

(Arbitrary r, Ord r) => Arbitrary (Range r)

Methods

arbitrary :: Gen (Range r)

shrink :: Range r -> [Range r]

Arbitrary r => Arbitrary (EndPoint r)

Methods

arbitrary :: Gen (EndPoint r)

shrink :: EndPoint r -> [EndPoint r]

Arbitrary a => Arbitrary (Seq2 a)

Methods

arbitrary :: Gen (Seq2 a)

shrink :: Seq2 a -> [Seq2 a]

(Arbitrary a, Arbitrary v) => Arbitrary (BinLeafTree v a)

Methods

arbitrary :: Gen (BinLeafTree v a)

shrink :: BinLeafTree v a -> [BinLeafTree v a]

(Arbitrary c, Arbitrary e) => Arbitrary (c :+ e)

Methods

arbitrary :: Gen (c :+ e)

shrink :: (c :+ e) -> [c :+ e]

(Arbitrary r, Arity d) => Arbitrary (Vector d r)

Methods

arbitrary :: Gen (Vector d r)

shrink :: Vector d r -> [Vector d r]

(Arbitrary r, Arity d) => Arbitrary (Point d r)

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)

Methods

arbitrary :: Gen (Line d r)

shrink :: Line d r -> [Line d r]

(Arbitrary r, Arbitrary p, Ord r, Ord p) => Arbitrary (Interval p r)

Methods

arbitrary :: Gen (Interval p r)

shrink :: Interval p r -> [Interval p r]

(KnownNat n, Arbitrary a) => Arbitrary (LSeq n a)

Methods

arbitrary :: Gen (LSeq n a)

shrink :: LSeq n a -> [LSeq n a]

(Arbitrary r, Arity d, Ord r) => Arbitrary (Box d () r)

Methods

arbitrary :: Gen (Box d () r)

shrink :: Box d () r -> [Box d () r]

(Arbitrary r, Arbitrary p, Arity d, Ord r, Ord p, Num r) => Arbitrary (SubLine d p r)

Methods

arbitrary :: Gen (SubLine d p r)

shrink :: SubLine d p r -> [SubLine d p r]

(Arbitrary r, Arbitrary p, Arity d) => Arbitrary (LineSegment d p r)

Methods

arbitrary :: Gen (LineSegment d p r)

shrink :: LineSegment d p r -> [LineSegment d p r]