bburdette / toop / Toop.Apply

given a function of N arguments, apply that function to a toop of size N.

applyT1 : (a -> b) -> Toop.T1 a -> b

1 element apply.

applyT2 : (a -> b -> x) -> Toop.T2 a b -> x

2 element apply.

applyT3 : (a -> b -> c -> x) -> Toop.T3 a b c -> x

3 element apply.

applyT4 : (a -> b -> c -> d -> x) -> Toop.T4 a b c d -> x

4 element apply.

applyT5 : (a -> b -> c -> d -> e -> x) -> Toop.T5 a b c d e -> x

5 element apply.

applyT6 : (a -> b -> c -> d -> e -> f -> x) -> Toop.T6 a b c d e f -> x

6 element apply.

applyT7 : (a -> b -> c -> d -> e -> f -> g -> x) -> Toop.T7 a b c d e f g -> x

7 element apply.

applyT8 : (a -> b -> c -> d -> e -> f -> g -> h -> x) -> Toop.T8 a b c d e f g h -> x

8 element apply.

applyT9 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> x) -> Toop.T9 a b c d e f g h i -> x

9 element apply.

applyT10 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> x) -> Toop.T10 a b c d e f g h i j -> x

10 element apply.

applyT11 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> x) -> Toop.T11 a b c d e f g h i j k -> x

11 element apply.

applyT12 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> x) -> Toop.T12 a b c d e f g h i j k l -> x

12 element apply.

applyT13 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> x) -> Toop.T13 a b c d e f g h i j k l m -> x

13 element apply.

applyT14 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> x) -> Toop.T14 a b c d e f g h i j k l m n -> x

14 element apply.

applyT15 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> x) -> Toop.T15 a b c d e f g h i j k l m n o -> x

15 element apply.

applyT16 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> x) -> Toop.T16 a b c d e f g h i j k l m n o p -> x

16 element apply.