futhark/exercises/practice/series/test.fut at c9a16311925af4b6e16aa447c30a1882822e017e · keiravillekode/futhark · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
import "series"

-- slices of one from one
-- ==
-- input  { "1" 1 }
-- output { ["1"] }

-- slices of one from two
-- ==
-- input  { "12" 1 }
-- output { ["1", "2"] }

-- slices of two
-- ==
-- input  { "35" 2 }
-- output { ["35"] }

-- slices of two overlap
-- ==
-- input  { "9142" 2 }
-- output { ["91", "14", "42"] }

-- slices can include duplicates
-- ==
-- input  { "777777" 3 }
-- output { ["777", "777", "777", "777"] }

-- slices of a long series
-- ==
-- input  { "918493904243" 5 }
-- output { ["91849", "18493", "84939", "49390", "93904", "39042", "90424", "04243"] }

-- slice length is too large
-- ==
-- input  { "12345" 6 }
-- error: Error*

-- slice length is way too large
-- ==
-- input  { "12345" 42 }
-- error: Error*

-- slice length cannot be zero
-- ==
-- input  { "12345" 0 }
-- error: Error*

-- slice length cannot be negative
-- ==
-- input  { "123" -1 }
-- error: Error*

-- empty series is invalid
-- ==
-- input  { "" 1 }
-- error: Error*

let main (series: []u8) (sliceLength: i32): [][]u8 =
  slices series (i64.i32 sliceLength)