definition module iTasks.Framework.WebService
/**
* This module provides the web service that gives access to tasks via the web.
* It also provides access to upload/download of blob content.
*/
from Internet.HTTP					import :: HTTPRequest, :: HTTPResponse
from iTasks.Framework.Engine		import :: ServiceFormat
from iTasks.Framework.IWorld		import :: IWorld
from iTasks.Framework.Task 			import :: Task
from iTasks.API.Core.SystemTypes	import :: SessionId

import iTasks.Framework.Generic

webService :: !(HTTPRequest -> Task a) !ServiceFormat ->
				 (!(HTTPRequest *IWorld -> (!HTTPResponse,!Maybe SessionId, !*IWorld))
				 ,!(HTTPRequest (Maybe {#Char}) SessionId *IWorld -> (!Maybe {#Char}, !Bool, !SessionId, !*IWorld))
				 ,!(HTTPRequest SessionId *IWorld -> *IWorld)
				 ) | iTask a