Toop.Apply

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

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

1 element apply.

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

2 element apply.

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

3 element apply.

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

4 element apply.

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

5 element apply.

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

6 element apply.

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

7 element apply.

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

8 element apply.

applyT9 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> x) -> 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) -> T10 a b c d e f g h i j -> x

10 element apply.

(a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> x)

-> T11 a b c d e f g h i j k

-> x

11 element apply.

(a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> x)

-> T12 a b c d e f g h i j k l

-> x

12 element apply.

(a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> x)

-> T13 a b c d e f g h i j k l m

-> x

13 element apply.

(a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> x)

-> T14 a b c d e f g h i j k l m n

-> x

14 element apply.

bburdette/toop/1.1.0