fitspec-0.2.2: refining property sets for testing Haskell programs
FitSpec.TestTypes
Contents
Description
FitSpec Test Types: Nat, Int2, Int3, Int4, UInt2, UInt3, UInt4.
Nat
Int2
Int3
Int4
UInt2
UInt3
UInt4
This module basically re-exports LeanCheck's Test.Types module and defines Mutable and ShowMutable instances for the types defined there.
module Test.LeanCheck.Utils.Types
Methods
mutantS :: Int1 -> Int1 -> MutantS Source #
mutantS :: Int2 -> Int2 -> MutantS Source #
mutantS :: Int3 -> Int3 -> MutantS Source #
mutantS :: Int4 -> Int4 -> MutantS Source #
mutantS :: Word1 -> Word1 -> MutantS Source #
mutantS :: Word2 -> Word2 -> MutantS Source #
mutantS :: Word3 -> Word3 -> MutantS Source #
mutantS :: Word4 -> Word4 -> MutantS Source #
mutantS :: Nat -> Nat -> MutantS Source #
mutiers :: Int1 -> [[Int1]] Source #
mutants :: Int1 -> [Int1] Source #
mutiers :: Int2 -> [[Int2]] Source #
mutants :: Int2 -> [Int2] Source #
mutiers :: Int3 -> [[Int3]] Source #
mutants :: Int3 -> [Int3] Source #
mutiers :: Int4 -> [[Int4]] Source #
mutants :: Int4 -> [Int4] Source #
mutiers :: Word1 -> [[Word1]] Source #
mutants :: Word1 -> [Word1] Source #
mutiers :: Word2 -> [[Word2]] Source #
mutants :: Word2 -> [Word2] Source #
mutiers :: Word3 -> [[Word3]] Source #
mutants :: Word3 -> [Word3] Source #
mutiers :: Word4 -> [[Word4]] Source #
mutants :: Word4 -> [Word4] Source #
mutiers :: Nat -> [[Nat]] Source #
mutants :: Nat -> [Nat] Source #