Toop.Result

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 results to values.

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

2 element results to values.

resT3 :

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

-> Result err (T3 a b c)

3 element results to values.

resT4 :

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

-> Result err (T4 a b c d)

4 element results to values.

resT5 :

T5

(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 results to values.

resT6 :

T6

(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 results to values.

resT7 :

T7

(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 results to values.

resT8 :

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

8 element results to values.

resT9 :

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

9 element results to values.

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 results to values.

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 results to values.

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 results to values.

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 results to values.

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 results to values.

resT15 :

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

15 element results to values.

resT16 :

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

16 element results to values.

bburdette/toop/1.2.0

Modules