fitspec-0.4.3: 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

ShowMutable Int1 Source # 

Methods

mutantS :: Int1 -> Int1 -> MutantS Source #

ShowMutable Int2 Source # 

Methods

mutantS :: Int2 -> Int2 -> MutantS Source #

ShowMutable Int3 Source # 

Methods

mutantS :: Int3 -> Int3 -> MutantS Source #

ShowMutable Int4 Source # 

Methods

mutantS :: Int4 -> Int4 -> MutantS Source #

ShowMutable Word1 Source # 

Methods

mutantS :: Word1 -> Word1 -> MutantS Source #

ShowMutable Word2 Source # 

Methods

mutantS :: Word2 -> Word2 -> MutantS Source #

ShowMutable Word3 Source # 

Methods

mutantS :: Word3 -> Word3 -> MutantS Source #

ShowMutable Word4 Source # 

Methods

mutantS :: Word4 -> Word4 -> MutantS Source #

ShowMutable Nat Source # 

Methods

mutantS :: Nat -> Nat -> MutantS Source #

Mutable Int1 Source # 

Methods

mutiers :: Int1 -> [[Int1]] Source #

mutants :: Int1 -> [Int1] Source #

Mutable Int2 Source # 

Methods

mutiers :: Int2 -> [[Int2]] Source #

mutants :: Int2 -> [Int2] Source #

Mutable Int3 Source # 

Methods

mutiers :: Int3 -> [[Int3]] Source #

mutants :: Int3 -> [Int3] Source #

Mutable Int4 Source # 

Methods

mutiers :: Int4 -> [[Int4]] Source #

mutants :: Int4 -> [Int4] Source #

Mutable Word1 Source # 

Methods

mutiers :: Word1 -> [[Word1]] Source #

mutants :: Word1 -> [Word1] Source #

Mutable Word2 Source # 

Methods

mutiers :: Word2 -> [[Word2]] Source #

mutants :: Word2 -> [Word2] Source #

Mutable Word3 Source # 

Methods

mutiers :: Word3 -> [[Word3]] Source #

mutants :: Word3 -> [Word3] Source #

Mutable Word4 Source # 

Methods

mutiers :: Word4 -> [[Word4]] Source #

mutants :: Word4 -> [Word4] Source #

Mutable Nat Source # 

Methods

mutiers :: Nat -> [[Nat]] Source #

mutants :: Nat -> [Nat] Source #