Test.FitSpec.TestTypes

FitSpec's Test Types: Nat, Int2, Int3, Int4, UInt2, UInt3, UInt4.

This module re-exports Test.LeanCheck.Utils.Types module and defines Mutable and ShowMutable instances for the types defined there.

Documentation

module Test.LeanCheck.Utils.Types

Orphan instances

ShowMutable Int1

Methods

mutantS :: Int1 -> Int1 -> MutantS

ShowMutable Int2

Methods

mutantS :: Int2 -> Int2 -> MutantS

ShowMutable Int3

Methods

mutantS :: Int3 -> Int3 -> MutantS

ShowMutable Int4

Methods

mutantS :: Int4 -> Int4 -> MutantS

ShowMutable Word1

Methods

mutantS :: Word1 -> Word1 -> MutantS

ShowMutable Word2

Methods

mutantS :: Word2 -> Word2 -> MutantS

ShowMutable Word3

Methods

mutantS :: Word3 -> Word3 -> MutantS

ShowMutable Word4

Methods

mutantS :: Word4 -> Word4 -> MutantS

ShowMutable Nat

Methods

mutantS :: Nat -> Nat -> MutantS

Mutable Int1

Methods

mutiers :: Int1 -> [[Int1]]

mutants :: Int1 -> [Int1]

Mutable Int2

Methods

mutiers :: Int2 -> [[Int2]]

mutants :: Int2 -> [Int2]

Mutable Int3

Methods

mutiers :: Int3 -> [[Int3]]

mutants :: Int3 -> [Int3]

Mutable Int4

Methods

mutiers :: Int4 -> [[Int4]]

mutants :: Int4 -> [Int4]

Mutable Word1

Methods

mutiers :: Word1 -> [[Word1]]

mutants :: Word1 -> [Word1]

Mutable Word2

Methods

mutiers :: Word2 -> [[Word2]]

mutants :: Word2 -> [Word2]

Mutable Word3

Methods

mutiers :: Word3 -> [[Word3]]

mutants :: Word3 -> [Word3]

Mutable Word4

Methods

mutiers :: Word4 -> [[Word4]]

mutants :: Word4 -> [Word4]

Mutable Nat

Methods

mutiers :: Nat -> [[Nat]]

mutants :: Nat -> [Nat]