definition module TaskPanel

import JSON, TUIDefinition, Types, TaskTree
from Task import :: TaskResult
from TUIDiff import :: TUIUpdate

:: TaskPanel
	= TaskDone
	| TaskNotDone
	| TaskRedundant
	| TUIPanel !TUIPanel

:: TUIPanel = 
	{ content		:: !(Maybe TUIDef)
	, updates		:: !(Maybe [TUIUpdate])
	, menu			:: ![TUIDef]
	}

buildTaskPanel 		:: !(TaskResult a)			-> TaskPanel
buildResultPanel 	:: !(TaskResult a)			-> TaskPanel
diffTaskPanels		:: !TaskPanel !TaskPanel	-> TaskPanel