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 : T1 (Result err a) -> Result err (T1 a)

1 element toop.

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

2 element toop.

resT3 :

T3 (Result err a) (Result err b) (Result err c)

-> Result err (T3 a b c)

3 element toop.

resT4 :

T4 (Result err a) (Result err b) (Result err c) (Result err d)

-> Result err (T4 a b c d)

4 element toop.

resT5 :

(Result err a)

(Result err b)

(Result err c)

(Result err d)

(Result err e)

-> Result err (T5 a b c d e)

5 element toop.

resT6 :

(Result err a)

(Result err b)

(Result err c)

(Result err d)

(Result err e)

(Result err f)

-> Result err (T6 a b c d e f)

6 element toop.

resT7 :

(Result err a)

(Result err b)

(Result err c)

(Result err d)

(Result err e)

(Result err f)

(Result err g)

-> Result err (T7 a b c d e f g)

7 element toop.

resT8 :

(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 (T8 a b c d e f g h)

8 element toop.

resT9 :

(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 (T9 a b c d e f g h i)

9 element toop.

resT10 :

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

10 element toop.

resT11 :

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 (T11 a b c d e f g h i j k)

11 element toop.

resT12 :

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 (T12 a b c d e f g h i j k l)

12 element toop.

resT13 :

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 (T13 a b c d e f g h i j k l m)

13 element toop.

resT14 :

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 (T14 a b c d e f g h i j k l m n)

14 element toop.

bburdette/toop/1.1.0

Toop.Result

Modules