definition module iTasks.Framework.GenSpecialize
/**
* This module provides utility functions to make it easier to specify specializations
* of the generic functions in the iTask class. This way you can easily create
* types with custom validations, and visualizations, without diving too deep into
* the inner workings of the generic machinery.
*
* The iTasks class contains the following generic functions:
*
* - JSONEncode & JSONDecode: For persistent storage
* - gVisualizeText: For visualizing values in textual forms
* - gEditor, gEditMeta & gUpdate: For creating user interfaces and processing edit events
* - gVerify: For checking properties of values
* - gDefault: For creating default values of a type
* - gEq: Defines equality.
*/
from Data.Maybe import :: Maybe
from StdGeneric import :: ConsPos
from Text.JSON import :: JSONNode, generic JSONEncode, generic JSONDecode

from iTasks.Framework.Generic.Interaction import generic gEditor, generic gEditMeta, generic gUpdate, :: VSt, :: USt, :: VisualizationResult, :: EditMeta
from iTasks.Framework.Generic.Visualization import generic gVisualizeText, :: VisualizationFormat
from iTasks.Framework.Generic.Defaults import generic gDefault
from iTasks.API.Core.Types import :: DataPath, :: InteractionMask, :: Verification, :: MaskedValue, :: VerifiedValue

//generic JSONEncode t :: !t -> [JSONNode]
//generic JSONDecode t :: ![JSONNode] -> (!Maybe t,![JSONNode])
customJSONEncode :: (a -> b) a -> [JSONNode] | JSONEncode{|*|} b
customJSONDecode :: (b -> a) [JSONNode] -> (Maybe a,![JSONNode]) | JSONDecode{|*|} b

//generic gVisualizeText a :: !StaticVisualizationMode !a -> [String]
customGVisualizeText :: (a -> b) !VisualizationFormat !a -> [String] | gVisualizeText{|*|} b

//generic gEditor a | gVisualizeText a, gEditMeta a, JSONEncode a, JSONDecode a :: !(Maybe a) !*VSt -> (!VisualizationResult,!*VSt)
customGEditor :: (a -> b) DataPath (VerifiedValue a) [EditMeta] !*VSt -> (!VisualizationResult,!*VSt) | gEditor{|*|} b

customGUpdate :: (a -> b) (b -> a) ![Int] !JSONNode !(!a,!InteractionMask) !*USt -> (!(!a,!InteractionMask),!*USt) | gUpdate{|*|} b

//generic gVerify a :: !(Maybe a) ![InteractionMask] !VerifyOptions -> ([VerifyMask],[InteractionMask])
//customGVerify :: ((b,[InteractionMask]) -> (a,[InteractionMask])) !(Maybe a) ![InteractionMask] !VerifyOptions -> ([VerifyMask],[InteractionMask]) | gVerify{|*|} b

//generic gEq a  :: a a -> Bool
//generic gDefault a :: [ConsPos] -> a

//generic gEditMeta a :: a -> [String]