fitspec-0.4.4: refining property sets for testing Haskell programs

Copyright(c) 2015-2017 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellNone
LanguageHaskell2010

Test.FitSpec.TestTypes

Contents

Description

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

Orphan instances

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] #

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 #