Clif.Arbitrary

This module provides (orphan) Arbitrary instances and various other generators for creating random Clifs and Basis elements using Test.QuickCheck.

Generators

ascList :: (Ord a, Arbitrary a) => Gen [a]

orderedList with only unique elements. Useful for generating blades with e.g.

blade <$> ascList

ascLists :: (Ord a, Arbitrary a) => Gen ([a], [a])

 An ascending list split into two at a random point. Useful for generating a pair of blades without common vectors.

kBlade :: (Eq a, Basis b a, Arbitrary a, Arbitrary b) => Int -> Gen (Clif b a)

Given k, returns a generator for k-blades (Clifs containing only a single blade of grade k).

Orphan instances

Arbitrary a => Arbitrary (Lorentzian a)

Arbitrary Instance for Lorentzian

Methods

arbitrary :: Gen (Lorentzian a)

shrink :: Lorentzian a -> [Lorentzian a]

Arbitrary a => Arbitrary (Euclidean a)

Arbitrary instance for Euclidean

Methods

arbitrary :: Gen (Euclidean a)

shrink :: Euclidean a -> [Euclidean a]

(Ord b, Arbitrary a, Arbitrary b) => Arbitrary (Clif b a)

Methods

arbitrary :: Gen (Clif b a)

shrink :: Clif b a -> [Clif b a]