aboutsummaryrefslogtreecommitdiff
path: root/CLPM/Util.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'CLPM/Util.dcl')
-rw-r--r--CLPM/Util.dcl5
1 files changed, 5 insertions, 0 deletions
diff --git a/CLPM/Util.dcl b/CLPM/Util.dcl
index 3e3a0c2..76583f0 100644
--- a/CLPM/Util.dcl
+++ b/CLPM/Util.dcl
@@ -1,13 +1,18 @@
definition module CLPM.Util
from Data.Error import :: MaybeError, :: MaybeErrorString
+from Data.Maybe import :: Maybe
from Internet.HTTP import :: HTTPRequest, :: HTTPResponse
+from System.FilePath import :: FilePath
+
class Parse a where Parse :: [Char] -> MaybeErrorString a
+instance Parse Int, (Maybe Int)
parse :: (String -> MaybeErrorString a) | Parse a
doRequest :: HTTPRequest *World -> *(MaybeErrorString HTTPResponse, *World)
syscall :: !String !*World -> !*(!Int, !*World)
+recursivelyRemove :: !FilePath !*World -> *(MaybeErrorString (), !*World)