bburdette / toop / Toop.Take

functions to make an N element toop from a List.

takeT1 : List a -> Maybe ( Toop.T1 a, List a )

1 element toop.

takeT2 : List a -> Maybe ( Toop.T2 a a, List a )

2 element toop.

takeT3 : List a -> Maybe ( Toop.T3 a a a, List a )

3 element take.

takeT4 : List a -> Maybe ( Toop.T4 a a a a, List a )

4 element take.

takeT5 : List a -> Maybe ( Toop.T5 a a a a a, List a )

5 element take.

takeT6 : List a -> Maybe ( Toop.T6 a a a a a a, List a )

6 element take.

takeT7 : List a -> Maybe ( Toop.T7 a a a a a a a, List a )

7 element take.

takeT8 : List a -> Maybe ( Toop.T8 a a a a a a a a, List a )

8 element take.

takeT9 : List a -> Maybe ( Toop.T9 a a a a a a a a a, List a )

9 element take.

takeT10 : List a -> Maybe ( Toop.T10 a a a a a a a a a a, List a )

10 element take.

takeT11 : List a -> Maybe ( Toop.T11 a a a a a a a a a a a, List a )

11 element take.

takeT12 : List a -> Maybe ( Toop.T12 a a a a a a a a a a a a, List a )

12 element take.

takeT13 : List a -> Maybe ( Toop.T13 a a a a a a a a a a a a a, List a )

13 element take.

takeT14 : List a -> Maybe ( Toop.T14 a a a a a a a a a a a a a a, List a )

14 element take.

takeT15 : List a -> Maybe ( Toop.T15 a a a a a a a a a a a a a a a, List a )

15 element take.

takeT16 : List a -> Maybe ( Toop.T16 a a a a a a a a a a a a a a a a, List a )

16 element take.