1 implementation module Sokoban
8 Start :: *World -> (String, *World)
10 # (s, w) = parse "../sokobanzip/screens/screen.1" w
11 = ("\n" +++ toString s, w)
13 instance toString SokobanPuzzle where
14 toString (Sokoban []) = ""
15 toString (Sokoban [[]:rows]) = "\n" +++ toString (Sokoban rows)
16 toString (Sokoban [[x:xs]:rows]) =
17 toString x +++ toString (Sokoban [xs:rows])
19 instance toString SokobanTile where
25 toString TargetBox = "*"
26 toString TargetAgent = "+"
28 parseFromFile :: *File -> (SokobanPuzzle, *File)
30 # (contents, f) = readEntireFile f
31 | isEmpty contents = abort "File is empty or unreadable"
32 = (Sokoban (parseRows contents), f)
34 parse :: String *World -> (SokobanPuzzle, *World)
36 # (ok, f, w) = fopen fp FReadText w
37 | not ok = abort ("Couldn't open file: '" +++ fp +++ "'")
38 # (puzzle, f) = parseFromFile f
39 # (ok, w) = fclose f w
40 | not ok = abort "Couldn't close file"
43 numberOfBlocks :: SokobanPuzzle -> Int
44 numberOfBlocks (Sokoban bs) = let fbs = flatten bs in
45 length ([1\\(Box)<-fbs] ++ [1\\(TargetBox)<-fbs])
47 parseRows :: [Char] -> [[SokobanTile]]
48 parseRows cs = case parseRow cs of
50 (x, rest) = [x:parseRows rest]
52 parseRow :: [Char] -> ([SokobanTile], [Char])
53 parseRow [] = ([], [])
54 parseRow ['\n':xs] = ([], xs)
56 # (rest, xs) = parseRow xs
65 _ = abort ("Unknown char: '" +++ toString x +++ "'")
66 = ([current:rest], xs)
68 readEntireFile :: *File -> *([Char], *File)
70 # (b, c, f) = freadc f
72 # (cs, f) = readEntireFile f