1 module SokobanObjectwise
11 Start :: *World -> *World
14 # (puzzle, io) = parseFromFile io
15 # io = io <<< encode puzzle <<< "\n"
18 encode :: SokobanPuzzle -> String
19 encode p = foldr ((+++) o (+++) "\n") "" ([
22 "VAR":encodeBoxes p maxX maxY])
25 (maxX, maxY) = getMetrics annot
27 :: AnnotatedSokoban :== [(Int, Int, SokobanTile)]
29 annotate :: SokobanPuzzle -> AnnotatedSokoban
30 annotate (Sokoban p) = flatten [[(x, y, t)\\t<-r & x<-[0..]]\\r<-p & y<-[0..]]
32 getMetrics :: AnnotatedSokoban -> (Int, Int)
33 getMetrics p = (maxList (map fst3 p),maxList (map snd3 p))
35 getBoxes :: AnnotatedSokoban -> [(Int, Int)]
36 getBoxes p = [t\\t=:(_, _, Box)<-p] ++
40 getBox` x [b:bs] = let r = getBox` (x+1) bs in case b of
45 (<+) infixr 5 :: a b -> String | toString a & toString b
46 (<+) a b = toString a +++ toString b
48 encodeBoxes :: SokobanPuzzle Int Int -> [String]
49 encodeBoxes p mx my = [
50 "\tbox" <+ i <+ "x: " <+ "0 .. " <+ mx <+ ";\n\tbox" <+
51 i <+ "y: " <+ "0 .. " <+ my <+ ";"\\(bx, by)<-getBoxes p & i<-[0..]]