Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Goblin.Instances
Contents
Orphan instances
SeedGoblin Bool Source # | |
SeedGoblin Char Source # | |
SeedGoblin Double Source # | |
SeedGoblin Int Source # | |
SeedGoblin Integer Source # | |
SeedGoblin Natural Source # | |
SeedGoblin Word8 Source # | |
SeedGoblin Word64 Source # | |
SeedGoblin () Source # | |
AddShrinks Bool Source # | |
AddShrinks Char Source # | |
AddShrinks Double Source # | |
AddShrinks Int Source # | |
AddShrinks Integer Source # | |
AddShrinks Natural Source # | |
AddShrinks Word8 Source # | |
AddShrinks Word64 Source # | |
AddShrinks () Source # | |
Methods addShrinks :: () -> Gen () Source # | |
GeneOps Bool Source # | |
GeneOps a => Goblin a Double Source # | This instance generates Double values in range 0..1 at 0.01 increments. 0.01, 0.02 ... 0.99, 1.00 |
GeneOps a => Goblin a Word64 Source # | |
GeneOps a => Goblin a Int Source # | |
GeneOps a => Goblin a Natural Source # | |
GeneOps a => Goblin a Integer Source # | |
GeneOps a => Goblin a Char Source # | |
GeneOps a => Goblin a Bool Source # | |
(Goblin genome arg, AddShrinks arg) => Goblin genome (Ratio arg) Source # | |
(Goblin g a, Ord a, AddShrinks a, Typeable a) => Goblin g (Set a) Source # | |
(AddShrinks a, Eq a, Typeable a, GeneOps g, Goblin g a) => Goblin g [a] Source # | Our list goblin behaves slightly differently, since it pulls whole lists of things from the bag of tricks, and is also specialised to do some more messing about with lists. |
(Goblin g a, AddShrinks a) => Goblin g (Maybe a) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2) => Goblin genome (arg1, arg2) Source # | |
(Goblin g k, Goblin g v, Ord k, Eq k, Eq v, AddShrinks (Map k v), AddShrinks k, AddShrinks v, Typeable k, Typeable v) => Goblin g (Map k v) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3) => Goblin genome (arg1, arg2, arg3) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4) => Goblin genome (arg1, arg2, arg3, arg4) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4, Goblin genome arg5, AddShrinks arg5) => Goblin genome (arg1, arg2, arg3, arg4, arg5) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4, Goblin genome arg5, AddShrinks arg5, Goblin genome arg6, AddShrinks arg6) => Goblin genome (arg1, arg2, arg3, arg4, arg5, arg6) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4, Goblin genome arg5, AddShrinks arg5, Goblin genome arg6, AddShrinks arg6, Goblin genome arg7, AddShrinks arg7) => Goblin genome (arg1, arg2, arg3, arg4, arg5, arg6, arg7) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4, Goblin genome arg5, AddShrinks arg5, Goblin genome arg6, AddShrinks arg6, Goblin genome arg7, AddShrinks arg7, Goblin genome arg8, AddShrinks arg8) => Goblin genome (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4, Goblin genome arg5, AddShrinks arg5, Goblin genome arg6, AddShrinks arg6, Goblin genome arg7, AddShrinks arg7, Goblin genome arg8, AddShrinks arg8, Goblin genome arg9, AddShrinks arg9) => Goblin genome (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4, Goblin genome arg5, AddShrinks arg5, Goblin genome arg6, AddShrinks arg6, Goblin genome arg7, AddShrinks arg7, Goblin genome arg8, AddShrinks arg8, Goblin genome arg9, AddShrinks arg9, Goblin genome arg10, AddShrinks arg10) => Goblin genome (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10) Source # | |
(Goblin genome arg1, AddShrinks arg1, Goblin genome arg2, AddShrinks arg2, Goblin genome arg3, AddShrinks arg3, Goblin genome arg4, AddShrinks arg4, Goblin genome arg5, AddShrinks arg5, Goblin genome arg6, AddShrinks arg6, Goblin genome arg7, AddShrinks arg7, Goblin genome arg8, AddShrinks arg8, Goblin genome arg9, AddShrinks arg9, Goblin genome arg10, AddShrinks arg10, Goblin genome arg11, AddShrinks arg11) => Goblin genome (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11) Source # | |
(SeedGoblin a, Typeable a) => SeedGoblin [a] Source # | |
(SeedGoblin a, Typeable a) => SeedGoblin (Maybe a) Source # | |
(SeedGoblin a, Typeable a) => SeedGoblin (Seq a) Source # | |
(SeedGoblin a, Typeable a) => SeedGoblin (Set a) Source # | |
AddShrinks a => AddShrinks [a] Source # | |
Methods addShrinks :: [a] -> Gen [a] Source # | |
AddShrinks a => AddShrinks (Maybe a) Source # | |
AddShrinks arg => AddShrinks (Ratio arg) Source # | |
(AddShrinks a, Ord a) => AddShrinks (Set a) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2) => SeedGoblin (arg1, arg2) Source # | |
(SeedGoblin a, Typeable a, SeedGoblin b, Typeable b) => SeedGoblin (Map a b) Source # | |
(SeedGoblin a, Typeable a, SeedGoblin b, Typeable b) => SeedGoblin (Bimap a b) Source # | |
(AddShrinks arg1, AddShrinks arg2) => AddShrinks (arg1, arg2) Source # | |
Methods addShrinks :: (arg1, arg2) -> Gen (arg1, arg2) Source # | |
(AddShrinks k, Ord k, AddShrinks v) => AddShrinks (Map k v) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3) => SeedGoblin (arg1, arg2, arg3) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3) => AddShrinks (arg1, arg2, arg3) Source # | |
Methods addShrinks :: (arg1, arg2, arg3) -> Gen (arg1, arg2, arg3) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4) => SeedGoblin (arg1, arg2, arg3, arg4) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4) => AddShrinks (arg1, arg2, arg3, arg4) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4) -> Gen (arg1, arg2, arg3, arg4) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4, SeedGoblin arg5, Typeable arg5) => SeedGoblin (arg1, arg2, arg3, arg4, arg5) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4, AddShrinks arg5) => AddShrinks (arg1, arg2, arg3, arg4, arg5) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4, arg5) -> Gen (arg1, arg2, arg3, arg4, arg5) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4, SeedGoblin arg5, Typeable arg5, SeedGoblin arg6, Typeable arg6) => SeedGoblin (arg1, arg2, arg3, arg4, arg5, arg6) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4, AddShrinks arg5, AddShrinks arg6) => AddShrinks (arg1, arg2, arg3, arg4, arg5, arg6) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4, arg5, arg6) -> Gen (arg1, arg2, arg3, arg4, arg5, arg6) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4, SeedGoblin arg5, Typeable arg5, SeedGoblin arg6, Typeable arg6, SeedGoblin arg7, Typeable arg7) => SeedGoblin (arg1, arg2, arg3, arg4, arg5, arg6, arg7) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4, AddShrinks arg5, AddShrinks arg6, AddShrinks arg7) => AddShrinks (arg1, arg2, arg3, arg4, arg5, arg6, arg7) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4, arg5, arg6, arg7) -> Gen (arg1, arg2, arg3, arg4, arg5, arg6, arg7) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4, SeedGoblin arg5, Typeable arg5, SeedGoblin arg6, Typeable arg6, SeedGoblin arg7, Typeable arg7, SeedGoblin arg8, Typeable arg8) => SeedGoblin (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4, AddShrinks arg5, AddShrinks arg6, AddShrinks arg7, AddShrinks arg8) => AddShrinks (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8) -> Gen (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4, SeedGoblin arg5, Typeable arg5, SeedGoblin arg6, Typeable arg6, SeedGoblin arg7, Typeable arg7, SeedGoblin arg8, Typeable arg8, SeedGoblin arg9, Typeable arg9) => SeedGoblin (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4, AddShrinks arg5, AddShrinks arg6, AddShrinks arg7, AddShrinks arg8, AddShrinks arg9) => AddShrinks (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9) -> Gen (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4, SeedGoblin arg5, Typeable arg5, SeedGoblin arg6, Typeable arg6, SeedGoblin arg7, Typeable arg7, SeedGoblin arg8, Typeable arg8, SeedGoblin arg9, Typeable arg9, SeedGoblin arg10, Typeable arg10) => SeedGoblin (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4, AddShrinks arg5, AddShrinks arg6, AddShrinks arg7, AddShrinks arg8, AddShrinks arg9, AddShrinks arg10) => AddShrinks (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10) -> Gen (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10) Source # | |
(SeedGoblin arg1, Typeable arg1, SeedGoblin arg2, Typeable arg2, SeedGoblin arg3, Typeable arg3, SeedGoblin arg4, Typeable arg4, SeedGoblin arg5, Typeable arg5, SeedGoblin arg6, Typeable arg6, SeedGoblin arg7, Typeable arg7, SeedGoblin arg8, Typeable arg8, SeedGoblin arg9, Typeable arg9, SeedGoblin arg10, Typeable arg10, SeedGoblin arg11, Typeable arg11) => SeedGoblin (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11) Source # | |
(AddShrinks arg1, AddShrinks arg2, AddShrinks arg3, AddShrinks arg4, AddShrinks arg5, AddShrinks arg6, AddShrinks arg7, AddShrinks arg8, AddShrinks arg9, AddShrinks arg10, AddShrinks arg11) => AddShrinks (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11) Source # | |
Methods addShrinks :: (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11) -> Gen (arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11) Source # |