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

argTypes0 :: a -> a Source #

argTypes1 :: (a -> b) -> a -> a -> b Source #

argTypes2 :: (a -> b -> c) -> a -> b -> a -> b -> c Source #

argTypes3 :: (a -> b -> c -> d) -> a -> b -> c -> a -> b -> c -> d Source #

argTypes4 :: (a -> b -> c -> d -> e) -> a -> b -> c -> d -> a -> b -> c -> d -> e Source #

argTypes5 :: (a -> b -> c -> d -> e -> f) -> a -> b -> c -> d -> e -> a -> b -> c -> d -> e -> f Source #

argTypes6 :: (a -> b -> c -> d -> e -> f -> g) -> a -> b -> c -> d -> e -> f -> a -> b -> c -> d -> e -> f -> g Source #

argTypes7 :: (a -> b -> c -> d -> e -> f -> g -> h) -> a -> b -> c -> d -> e -> f -> g -> a -> b -> c -> d -> e -> f -> g -> h Source #

argTypes8 :: (a -> b -> c -> d -> e -> f -> g -> h -> i) -> a -> b -> c -> d -> e -> f -> g -> h -> a -> b -> c -> d -> e -> f -> g -> h -> i Source #

argTypes9 :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j Source #

argTypes10 :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k Source #

argTypes11 :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l Source #

argTypes12 :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m Source #

argTys1 :: con a -> a -> con a Source #

argTys2 :: con a b -> a -> b -> con a b Source #

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 #