Language.Nominal.Properties.SpecUtilities

Documentation

myatomnames :: [String]

myUniques :: [Unique]

myAtoms :: proxy s -> [KAtom s]

arbitrarySizedTyp :: Int -> Gen Typ

arbitrarySizedTrm :: Int -> Gen Trm

genEvFinMap :: (UnifyPerm a, Eq a, Eq b) => Gen a -> Gen b -> Gen (EvFinMap a b)

Orphan instances

Arbitrary String

We only care about short and simple strings

Methods

arbitrary :: Gen String

shrink :: String -> [String]

Arbitrary Trm

For QuickCheck tests: pick a term

Methods

arbitrary :: Gen Trm

shrink :: Trm -> [Trm]

Arbitrary Typ

For QuickCheck tests: pick a type

Methods

arbitrary :: Gen Typ

shrink :: Typ -> [Typ]

Arbitrary a => Arbitrary (NonEmpty a)

Methods

arbitrary :: Gen (NonEmpty a)

shrink :: NonEmpty a -> [NonEmpty a]

Arbitrary (Name String)

Methods

arbitrary :: Gen (Name String)

shrink :: Name String -> [Name String]

Arbitrary (KAtom s)

Pick an atom

Methods

arbitrary :: Gen (KAtom s)

shrink :: KAtom s -> [KAtom s]

Arbitrary a => Arbitrary (KName s a)

Methods

arbitrary :: Gen (KName s a)

shrink :: KName s a -> [KName s a]

(Typeable s, Swappable a, Arbitrary a) => Arbitrary (KNom s a)

Methods

arbitrary :: Gen (KNom s a)

shrink :: KNom s a -> [KNom s a]

(Typeable s, Swappable t, Swappable a, Arbitrary (KName s t), Arbitrary a) => Arbitrary (KAbs (KName s t) a)

Methods

arbitrary :: Gen (KAbs (KName s t) a)

shrink :: KAbs (KName s t) a -> [KAbs (KName s t) a]

(Arbitrary a, UnifyPerm a, Eq a, Arbitrary b, Eq b) => Arbitrary (EvFinMap a b)

Methods

arbitrary :: Gen (EvFinMap a b)

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