module Test.FitSpec.TestTypes (module Test.LeanCheck.Utils.Types) where
import Test.FitSpec.Mutable
import Test.FitSpec.ShowMutable
import Test.LeanCheck.Utils.Types
instance Mutable Nat where mutiers = mutiersEq
instance Mutable Int1 where mutiers = mutiersEq
instance Mutable Int2 where mutiers = mutiersEq
instance Mutable Int3 where mutiers = mutiersEq
instance Mutable Int4 where mutiers = mutiersEq
instance Mutable Word1 where mutiers = mutiersEq
instance Mutable Word2 where mutiers = mutiersEq
instance Mutable Word3 where mutiers = mutiersEq
instance Mutable Word4 where mutiers = mutiersEq
instance ShowMutable Nat where mutantS = mutantSEq
instance ShowMutable Int1 where mutantS = mutantSEq
instance ShowMutable Int2 where mutantS = mutantSEq
instance ShowMutable Int3 where mutantS = mutantSEq
instance ShowMutable Int4 where mutantS = mutantSEq
instance ShowMutable Word1 where mutantS = mutantSEq
instance ShowMutable Word2 where mutantS = mutantSEq
instance ShowMutable Word3 where mutantS = mutantSEq
instance ShowMutable Word4 where mutantS = mutantSEq