definition module Sokoban
-:: SokobanPuzzle = {
- width :: Int,
- height :: Int,
- data :: [[SokobanTile]]}
+from StdString import class toString
+
+:: SokobanPuzzle = Sokoban [[SokobanTile]]
:: SokobanTile = Wall | Free | Box | Target | Agent
+instance toString SokobanTile
+instance toString SokobanPuzzle
+
parse :: String *World -> (SokobanPuzzle, *World)