bburdette / toop / Toop.Result

given a Toop of N results, which all share a common Err type, either return a Toop of all the 'Ok' values, or the first Err.

andMap : Result e a -> Result e (a -> b) -> Result e b

compose a result containing a function with a result containing a value.

resT1 : Toop.T1 (Result err a) -> Result err (Toop.T1 a)

1 element results to values.

resT2 : Toop.T2 (Result err a) (Result err b) -> Result err (Toop.T2 a b)

2 element results to values.

resT3 : Toop.T3 (Result err a) (Result err b) (Result err c) -> Result err (Toop.T3 a b c)

3 element results to values.

resT4 : Toop.T4 (Result err a) (Result err b) (Result err c) (Result err d) -> Result err (Toop.T4 a b c d)

4 element results to values.

resT5 : Toop.T5 (Result err a) (Result err b) (Result err c) (Result err d) (Result err e) -> Result err (Toop.T5 a b c d e)

5 element results to values.

resT6 : Toop.T6 (Result err a) (Result err b) (Result err c) (Result err d) (Result err e) (Result err f) -> Result err (Toop.T6 a b c d e f)

6 element results to values.

resT7 : Toop.T7 (Result err a) (Result err b) (Result err c) (Result err d) (Result err e) (Result err f) (Result err g) -> Result err (Toop.T7 a b c d e f g)

7 element results to values.

resT8 : Toop.T8 (Result err a) (Result err b) (Result err c) (Result err d) (Result err e) (Result err f) (Result err g) (Result err h) -> Result err (Toop.T8 a b c d e f g h)

8 element results to values.

resT9 : Toop.T9 (Result err a) (Result err b) (Result err c) (Result err d) (Result err e) (Result err f) (Result err g) (Result err h) (Result err i) -> Result err (Toop.T9 a b c d e f g h i)

9 element results to values.

resT10 : Toop.T10 (Result err a) (Result err b) (Result err c) (Result err d) (Result err e) (Result err f) (Result err g) (Result err h) (Result err i) (Result err j) -> Result err (Toop.T10 a b c d e f g h i j)

10 element results to values.

resT11 : Toop.T11 (Result err a) (Result err b) (Result err c) (Result err d) (Result err e) (Result err f) (Result err g) (Result err h) (Result err i) (Result err j) (Result err k) -> Result err (Toop.T11 a b c d e f g h i j k)

11 element results to values.

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

12 element results to values.

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

13 element results to values.

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

14 element results to values.

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

15 element results to values.

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

16 element results to values.