ESMVizTool.dcl 879 Bytes
Newer Older
Bas Lijnse's avatar
Bas Lijnse committed
1 2
definition module ESMVizTool

3
import ESMVizTool.ESMSpec
Bas Lijnse's avatar
Bas Lijnse committed
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
import iTasks

class all a | iTask, render, gEq{|*|} a


/*
esmVizTool :: !(ESM s i o) *HSt -> ((Bool,String),Html,*HSt)
					| iData, gEq{|*|}, render s 
                    & iData, gEq{|*|}, render, ggen{|*|} i 
                    & iData, gEq{|*|}, render o
*/
//esmVizTool :: !(ESM s i o) *World -> *World | iTask, gEq{|*|}, render, Eq s & iTask, gEq{|*|}, render, ggen{|*|} i & iTask, gEq{|*|}, render o
//esmVizTool :: !(ESM s i o) *World -> *World | iTask, renderEq s & iTask, renderEq, Eq, ggen{|*|} i & iTask, gEq{|*|}, render o
esmVizTool :: !(ESM s i o) *World -> *World
//			| iTask, render, gEq{|*|}, Eq s & iTask, render, gEq{|*|}, ggen{|*|} i & iTask, gEq{|*|}, render o
			| all, Eq, genShow{|*|} s & all, genShow{|*|}, ggen{|*|} i & all o

toHtmlString :: a -> String | gText{|*|} a