Copyright	(c) 2017 Rudy Matela
License	3-Clause BSD (see the file LICENSE)
Maintainer	Rudy Matela <rudy@matela.com.br>
Safe Haskell	Safe
Language	Haskell2010

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 #

argTy1of2 :: con a b -> a #

argTy2of2 :: con a b -> b #

argTy1of3 :: con a b c -> a #

argTy2of3 :: con a b c -> b #

argTy3of3 :: con a b c -> c #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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