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 |
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
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 #