definition module Util

import StdGeneric, SystemTypes, Error, GenEq

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

voidNothing 		:: Maybe Void

camelCaseToWords 	:: !String -> String

instance toString (Maybe a) | toString a

mb2error			:: !e !(Maybe a) -> MaybeError e a

pad					:: !Int !Int -> String
decFormat			:: !Int -> String

// Functions for accessing dates and times
currentTime 			:: !*IWorld -> (!Time,!*IWorld)
currentDate 			:: !*IWorld -> (!Date,!*IWorld)
currentDateTime 		:: !*IWorld -> (!DateTime,!*IWorld)
currentTimestamp		:: !*IWorld -> (!Timestamp,!*IWorld)
currentTimestampError	:: !*IWorld -> (!MaybeErrorString Timestamp,!*IWorld)
currentDateTimeWorld	:: !*World	-> (!DateTime,!*World)
timestampToGmDateTime	:: !Timestamp -> DateTime