Safe Haskell	None
Language	Haskell2010

FitSpec.TestTypes

Contents

Orphan instances

Description

FitSpec Test Types: 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.

Documentation

module Test.LeanCheck.Utils.Types

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 #