definition module iTasks.Framework.Generic.Visualization

from StdGeneric import ::UNIT,::PAIR,::EITHER,::CONS,::OBJECT,::RECORD,::FIELD
from Text.JSON import :: JSONNode
from Text.HTML import :: HtmlTag
from Data.Maybe import :: Maybe
from Data.Either import :: Either
from Data.Void import :: Void
from Data.Map import :: Map
from System.Time import :: Timestamp

:: VisualizationFormat
	= AsLabel			//A single line of text	
	| AsText			//Multiple lines of text
	| AsRow				//A list of cells to display in a grid or table
	

//* Generic text visualization function
generic gVisualizeText a :: !VisualizationFormat !a -> [String]

//Default available instances
derive gVisualizeText UNIT, PAIR, EITHER, CONS of {gcd_name,gcd_type_def}, OBJECT, RECORD, FIELD of {gfd_name}
derive gVisualizeText Int, Real, Char, Bool, String, [], (,), (,,), (,,,), (->), Dynamic 
derive gVisualizeText Maybe, Either, Void, Map, JSONNode, HtmlTag, Timestamp

//Wrapper functions for visualization
visualizeAsLabel		:: !a -> String		| gVisualizeText{|*|} a
visualizeAsText			:: !a -> String		| gVisualizeText{|*|} a
visualizeAsRow			:: !a -> [String]	| gVisualizeText{|*|} a

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