aboutsummaryrefslogtreecommitdiff
path: root/CLPM/Util.dcl
diff options
context:
space:
mode:
authorCamil Staps2017-02-06 22:54:04 +0100
committerCamil Staps2017-02-06 22:54:04 +0100
commitbf30b006c94358707756b13ae452452e52769f8f (patch)
tree116b0684bf4b17cda26e3d25f14b1483e954ebd7 /CLPM/Util.dcl
parentAdded help text (diff)
Add very basic installation task
Diffstat (limited to 'CLPM/Util.dcl')
-rw-r--r--CLPM/Util.dcl6
1 files changed, 6 insertions, 0 deletions
diff --git a/CLPM/Util.dcl b/CLPM/Util.dcl
index b750058..3e3a0c2 100644
--- a/CLPM/Util.dcl
+++ b/CLPM/Util.dcl
@@ -2,6 +2,12 @@ definition module CLPM.Util
from Data.Error import :: MaybeError, :: MaybeErrorString
+from Internet.HTTP import :: HTTPRequest, :: HTTPResponse
+
class Parse a where Parse :: [Char] -> MaybeErrorString a
parse :: (String -> MaybeErrorString a) | Parse a
+
+doRequest :: HTTPRequest *World -> *(MaybeErrorString HTTPResponse, *World)
+
+syscall :: !String !*World -> !*(!Int, !*World)