Toop.Take

functions to make an N element toop from a List.

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

1 element toop.

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

2 element toop.

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

3 element take.

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

4 element take.

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

5 element take.

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

6 element take.

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

7 element take.

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

8 element take.

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

9 element take.

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

10 element take.

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

11 element take.

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

12 element take.

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

13 element take.

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

14 element take.

takeT15 : List a -> Maybe ( 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 ( T16 a a a a a a a a a a a a a a a a, List a )

16 element take.

bburdette/toop/1.2.1