module test

import iTasks

import iTasks.UI.Editor
import iTasks.UI.Editor.Containers
import iTasks.UI.Editor.Controls
import iTasks.UI.Editor.Generic
import iTasks.UI.Editor.Common
import iTasks.UI.Editor.Modifiers

derive class iTask P
:: P = Z | S P

Start w = startEngine (enterInformation () [EnterUsing id e]) w
where
    e :: Editor P
    e = bijectEditorValue (\i->(0,i)) snd
        (containerc (chooseWithDropdown ["Z", "S"])
            [ (const Z, emptyEditor)
            , (S, bijectEditorValue S (\(S p)->p) e)])