aboutsummaryrefslogtreecommitdiff
path: root/CLPM/Util.dcl
blob: 3e3a0c27f28eee2bdc5e566945508ee01366770e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
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)