started with some necoding

[mc1516pa.git] / code / Sokoban.dcl

diff --git a/code/Sokoban.dcl b/code/Sokoban.dcl
index c23bf22..f503287 100644 (file)
--- a/code/Sokoban.dcl
+++ b/code/Sokoban.dcl
@@ -9,3 +9,6 @@ instance toString SokobanTile
 instance toString SokobanPuzzle
 
 parse :: String *World -> (SokobanPuzzle, *World)
+parseFromFile :: *File -> (SokobanPuzzle, *File)
+
+numberOfBlocks :: SokobanPuzzle -> Int