Test.FitSpec.ShowMutable

Exports a typeclass to show mutant variations.

Documentation

class ShowMutable a where

Types that can have their mutation shown. Has only one function mutantS that returns a simple AST (MutantS) representing the mutant. A standard implementation of mutantS for Eq types is given by mutantSEq.

Minimal complete definition

mutantS

Methods

mutantS :: a -> a -> MutantS

Instances

ShowMutable Bool

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Bool -> Bool -> MutantS

ShowMutable Char

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Char -> Char -> MutantS

ShowMutable Double

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Double -> Double -> MutantS

ShowMutable Float

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Float -> Float -> MutantS

ShowMutable Int

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Int -> Int -> MutantS

ShowMutable Integer

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Integer -> Integer -> MutantS

ShowMutable Ordering

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Ordering -> Ordering -> MutantS

ShowMutable Word

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Word -> Word -> MutantS

ShowMutable ()

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: () -> () -> MutantS

ShowMutable Int1

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Int1 -> Int1 -> MutantS

ShowMutable Int2

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Int2 -> Int2 -> MutantS

ShowMutable Int3

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Int3 -> Int3 -> MutantS

ShowMutable Int4

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Int4 -> Int4 -> MutantS

ShowMutable Word1

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Word1 -> Word1 -> MutantS

ShowMutable Word2

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Word2 -> Word2 -> MutantS

ShowMutable Word3

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Word3 -> Word3 -> MutantS

ShowMutable Word4

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Word4 -> Word4 -> MutantS

ShowMutable Nat

Defined in Test.FitSpec.TestTypes

Methods

mutantS :: Nat -> Nat -> MutantS

(Eq a, Show a) => ShowMutable [a]

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: [a] -> [a] -> MutantS

(Eq a, Show a) => ShowMutable (Maybe a)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Maybe a -> Maybe a -> MutantS

(Eq a, Show a, Integral a) => ShowMutable (Ratio a)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Ratio a -> Ratio a -> MutantS

(Listable a, Show a, ShowMutable b) => ShowMutable (a -> b)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: (a -> b) -> (a -> b) -> MutantS

(Eq a, Show a, Eq b, Show b) => ShowMutable (Either a b)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: Either a b -> Either a b -> MutantS

(ShowMutable a, ShowMutable b) => ShowMutable (a, b)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: (a, b) -> (a, b) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c) => ShowMutable (a, b, c)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: (a, b, c) -> (a, b, c) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d) => ShowMutable (a, b, c, d)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: (a, b, c, d) -> (a, b, c, d) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e) => ShowMutable (a, b, c, d, e)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: (a, b, c, d, e) -> (a, b, c, d, e) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e, ShowMutable f) => ShowMutable (a, b, c, d, e, f)

Defined in Test.FitSpec.ShowMutable

Methods

mutantS :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e, ShowMutable f, ShowMutable g) => ShowMutable (a, b, c, d, e, f, g)

Defined in Test.FitSpec.ShowMutable.Tuples

Methods

mutantS :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e, ShowMutable f, ShowMutable g, ShowMutable h) => ShowMutable (a, b, c, d, e, f, g, h)

Defined in Test.FitSpec.ShowMutable.Tuples

Methods

mutantS :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e, ShowMutable f, ShowMutable g, ShowMutable h, ShowMutable i) => ShowMutable (a, b, c, d, e, f, g, h, i)

Defined in Test.FitSpec.ShowMutable.Tuples

Methods

mutantS :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e, ShowMutable f, ShowMutable g, ShowMutable h, ShowMutable i, ShowMutable j) => ShowMutable (a, b, c, d, e, f, h, g, i, j)

Defined in Test.FitSpec.ShowMutable.Tuples

Methods

mutantS :: (a, b, c, d, e, f, h, g, i, j) -> (a, b, c, d, e, f, h, g, i, j) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e, ShowMutable f, ShowMutable g, ShowMutable h, ShowMutable i, ShowMutable j, ShowMutable k) => ShowMutable (a, b, c, d, e, f, g, h, i, j, k)

Defined in Test.FitSpec.ShowMutable.Tuples

Methods

mutantS :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> MutantS

(ShowMutable a, ShowMutable b, ShowMutable c, ShowMutable d, ShowMutable e, ShowMutable f, ShowMutable g, ShowMutable h, ShowMutable i, ShowMutable j, ShowMutable k, ShowMutable l) => ShowMutable (a, b, c, d, e, f, g, h, i, j, k, l)

Defined in Test.FitSpec.ShowMutable.Tuples

Methods

mutantS :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> MutantS

mutantSEq :: (Eq a, Show a) => a -> a -> MutantS

For a given type Type instance of Eq and Show, define the ShowMutable instance as:

instance ShowMutable Type
  where mutantS = mutantSEq

showMutantAsTuple :: ShowMutable a => [String] -> a -> a -> String

Show a Mutant as a tuple of lambdas.

> putStrLn $ showMutantAsTuple ["p && q","not p"] ((&&),not) ((||),id)
( \p q -> case (p,q) of
           (False,False) -> True
           _ -> p && q
, \p -> case p of
          False -> False
          True -> True
          _ -> not p )

Can be easily copy pasted into an interactive session for manipulation. On GHCi, use :{ and :} to allow multi-line expressions and definitions.

showMutantNested :: ShowMutable a => [String] -> a -> a -> String

Show a Mutant as a tuple of nested lambdas. Very similar to showMutantAsTuple, but the underlying data structure is not flatten: so the output is as close as possible to the underlying representation.

showMutantDefinition :: ShowMutable a => [String] -> a -> a -> String

Show a Mutant as a new complete top-level definition, with a prime appended to the name of the mutant.

> putStrLn $ showMutantDefinition ["p && q","not p"] ((&&),not) ((==),id)
False &&- False = True
p     &&- q     = p && q
not' False = False
not' True  = True
not' p     = not p

showMutantBindings :: ShowMutable a => [String] -> a -> a -> String

Show a Mutant as the list of bindings that differ from the original function(s).

> putStrLn $ showMutantBindings ["p && q","not p"] ((&&),not) ((==),id)
False && False = True
not False = False
not True  = True

Can possibly be copied into the source of the original function for manipulation.

data MutantS

(Show) Structure of a mutant. This format is intended for processing then pretty-printing.

Instances

Show MutantS

Defined in Test.FitSpec.ShowMutable

Methods

showsPrec :: Int -> MutantS -> ShowS

show :: MutantS -> String

showList :: [MutantS] -> ShowS

mutantSTuple :: [MutantS] -> MutantS