extrapolate-0.2.2: generalize counter-examples of test properties

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

Test.Extrapolate.TypeBinding

Description

This module is part of Extrapolate, a library for generalization of counter-examples.

Some type binding operators that are useful when defining Generalizable instances.

Documentation

argTy1of1 :: con a -> a Source #

argTy1of2 :: con a b -> a Source #

argTy2of2 :: con a b -> b Source #

argTy1of3 :: con a b c -> a Source #

argTy2of3 :: con a b c -> b Source #

argTy3of3 :: con a b c -> c Source #

argTy1of4 :: con a b c d -> a Source #

argTy2of4 :: con a b c d -> b Source #

argTy3of4 :: con a b c d -> c Source #

argTy4of4 :: con a b c d -> d Source #

argTy1of5 :: con a b c d e -> a Source #

argTy2of5 :: con a b c d e -> b Source #

argTy3of5 :: con a b c d e -> c Source #

argTy4of5 :: con a b c d e -> d Source #

argTy5of5 :: con a b c d e -> e Source #

argTy1of6 :: con a b c d e f -> a Source #

argTy2of6 :: con a b c d e f -> b Source #

argTy3of6 :: con a b c d e f -> c Source #

argTy4of6 :: con a b c d e f -> d Source #

argTy5of6 :: con a b c d e f -> e Source #

argTy6of6 :: con a b c d e f -> f Source #