Test.SmallCheck.Iso

Documentation

isoHither :: (Eq s, Show s, Eq a, Show a, Serial m a) => AnIso' s a -> Series m s -> Property m

isoYon :: (Eq s, Show s, Eq a, Show a, Serial m a) => AnIso' s a -> Series m a -> Property m