definition module Util

from Types			import :: TaskNr
from Void			import :: Void
from Either			import :: Either

import GenVisualize, GenUpdate, GenVerify

derive JSONEncode	Dynamic, Void, Either, Timestamp
derive JSONDecode	Dynamic, Void, Either, Timestamp

derive gVisualize	Timestamp
derive gUpdate		Timestamp
derive gVerify		Timestamp

class iTaskId a
where
	iTaskId 			:: !a !String 	-> String
	
instance iTaskId TaskNr
instance iTaskId TaskId

(+++>) infixr 5		:: !a	!String	-> String | gVisualize{|*|} a
(<+++) infixl 5		:: !String	!a	-> String | gVisualize{|*|} a

readfile			:: !String !*World -> (!String,!*World)
writefile			:: !String !String !*World -> *World

fileExtension		:: !String -> String
baseName			:: !String -> String

mb2list				:: !(Maybe [a]) -> [a]
list2mb				:: ![a] -> (Maybe [a])