Slide 8
Slide 8 text
データ構造を定義する
rotate: Side -> Cube -> Cube
rotate side cube =
case side of
Top ->
{ corner = replace cube.corner [(0, 1), (1, 2), (2, 3), (3, 0)]
, edges = replace cube.edges [(0, 3), (3, 2), (2, 1), (1, 0)]
}
Left ->
{ corner = replace cube.corner [(0, 3), (3, 7), (7, 4), (4, 0)]
, edges = replace cube.edges [(1, 8), (8, 5), (5, 11), (11, 1)]
}
...
7 / 11