definition module iTasks._Framework.Tonic.Images from Data.IntMap.Strict import :: IntMap from Data.Map import :: Map from Data.Set import :: Set from Data.Maybe import :: Maybe from Graphics.Scalable import :: Image, :: TagSource, :: TagRef, :: ImageTag from iTasks._Framework.Tonic.AbsSyn import :: TonicFunc, :: ExprId, :: FuncName, :: ModuleName, :: TExpr from iTasks._Framework.Tonic.Types import :: TStability, :: BlueprintIdent, :: BlueprintInstance from iTasks._Framework.UIDefinition import :: UIAction import iTasks._Framework.Generic from iTasks.API.Core.Types import :: Scale, :: TaskId from iTasks.API.Extensions.SVG.SVGlet import :: ActionState :: ModelTy :== ActionState (TClickAction, ClickMeta) TonicImageState :: TClickAction = TNavAction | TDetailAction | TSelectArg Int :: TonicImageState = { tis_task :: TonicFunc , tis_depth :: Scale , tis_compact :: Bool } :: ClickMeta = { click_origin_mbbpident :: !Maybe BlueprintRef , click_origin_mbnodeId :: !Maybe ExprId , click_target_bpident :: !BlueprintRef } :: BlueprintRef = { bpident_moduleName :: !ModuleName , bpident_taskName :: !FuncName , bpident_taskId :: !Maybe TaskId } derive class iTask TonicImageState, TClickAction, ClickMeta, BlueprintRef :: TaskAppRenderer :== Bool Bool Bool Bool ExprId ModuleName FuncName ModuleName FuncName [Image ModelTy] *TagSource -> *(!Maybe (Image ModelTy), !*TagSource) mkStaticImage :: ![TaskAppRenderer] !BlueprintIdent !Bool !ModelTy *TagSource -> Image ModelTy mkInstanceImage :: ![TaskAppRenderer] !BlueprintInstance !(Map ExprId TStability) !(Map ExprId [UIAction]) !(Maybe (Either ClickMeta (!ModuleName, !FuncName, !TaskId, !Int))) !Bool !ModelTy *TagSource -> Image ModelTy tDefaultMApp :: !Bool !Bool !Bool !Bool !ExprId !ModuleName !FuncName !ModuleName !FuncName ![TExpr] ![Image ModelTy] !*TagSource -> *(!Image ModelTy, !*TagSource)