blob: 76583f00cacec264a9bdc31a1c81639b1fbbc876 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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)
|
