DynEditorExample.icl 19.1 KB
Newer Older
1 2
module DynEditorExample

Steffen Michels's avatar
Steffen Michels committed
3
import StdEnv
Tim Steenvoorden's avatar
Tim Steenvoorden committed
4 5 6 7
import Data.Func
import Data.Functor
import iTasks
import iTasks.Extensions.Editors.DynamicEditor
8

Tim Steenvoorden's avatar
Tim Steenvoorden committed
9

10
// Helpers /////////////////////////////////////////////////////////////////////
Tim Steenvoorden's avatar
Tim Steenvoorden committed
11

Tim Steenvoorden's avatar
Tim Steenvoorden committed
12
:: List a :== [a]
13 14
:: Message :== String
:: Button :== String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
15

16
always x :== const True x
Tim Steenvoorden's avatar
Tim Steenvoorden committed
17

18 19
cons x xs :== [x:xs]

20 21 22 23
(>?>) infixl 1 :: (Task a) (List ( Button, a -> Bool, a -> Task b )) -> Task b | iTask a & iTask b
(>?>) task options = task >>* map trans options
where
  trans ( a, p, t ) = OnAction (Action a) (ifValue p t)
Tim Steenvoorden's avatar
Tim Steenvoorden committed
24

25

26 27 28 29 30 31 32 33 34 35 36 37 38 39
// Main ////////////////////////////////////////////////////////////////////////

Start world = doTasks (editTaskExpr Nothing) world

editTaskExpr :: (Maybe (DynamicEditorValue TaskExpr)) -> Task (Maybe (DynamicEditorValue TaskExpr))
editTaskExpr mv =
  enterOrUpdateExpr ("Contruct a task", info1) mv >?>
    [ ( "Run", always, \v -> viewInformation ("Evaluate the task", info2) [] () ||- (evalTaskExpr (toValue taskEditor v) <<@ ApplyLayout frameCompact) >?>
        [ ( "Finish", always, \r -> viewInformation ("Done!", info3) [] r >?>
            [ ( "Back", always, \_ -> editTaskExpr (Just v) ) ]
          )
        ]
      )
    ]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
40
where
Tim Steenvoorden's avatar
Tim Steenvoorden committed
41
  info1 :: String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
42
  info1 = "Select the editors and combinators you'd like to use. When you're ready, push the 'Continue' button below to run your program."
Tim Steenvoorden's avatar
Tim Steenvoorden committed
43
  info2 :: String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
44
  info2 = "Now step through the task you just created to test it."
Tim Steenvoorden's avatar
Tim Steenvoorden committed
45
  info3 :: String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
46
  info3 = "The program is done, the result is given below."
47

48
  enterOrUpdateExpr msg Nothing = enterInformation msg [EnterUsing id $ dynamicEditor taskEditor]
49
  enterOrUpdateExpr msg (Just v) = updateInformation msg [UpdateUsing id (curry snd) (dynamicEditor taskEditor)] v
50

51

Tim Steenvoorden's avatar
Tim Steenvoorden committed
52 53
// Data ////////////////////////////////////////////////////////////////////////

Tim Steenvoorden's avatar
Tim Steenvoorden committed
54
:: TaskExpr
Tim Steenvoorden's avatar
Tim Steenvoorden committed
55
  = Done Expr
56
  | EnterInfo Ty String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
57 58 59
  | Then TaskExpr TaskFunc
  | Both TaskExpr TaskExpr
  | Any TaskExpr TaskExpr
Tim Steenvoorden's avatar
Tim Steenvoorden committed
60
  | One Button TaskExpr Button TaskExpr
61 62 63
  // | Init Ty TaskExpr
  | Watch String
  // | Change String
64

Tim Steenvoorden's avatar
Tim Steenvoorden committed
65
:: TaskFunc
Tim Steenvoorden's avatar
Tim Steenvoorden committed
66 67
  = ThenF TaskFunc TaskFunc
  | ViewF String Func
Tim Steenvoorden's avatar
Tim Steenvoorden committed
68
  | UpdateF String Func
69 70
  | StoreF
  | WatchF String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
71

Tim Steenvoorden's avatar
Tim Steenvoorden committed
72 73 74 75 76
:: Expr
  = Int Int
  | Bool Bool
  | String String
  | Tuple Expr Expr
Tim Steenvoorden's avatar
Tim Steenvoorden committed
77
  | Apply Func Expr
Tim Steenvoorden's avatar
Tim Steenvoorden committed
78

Tim Steenvoorden's avatar
Tim Steenvoorden committed
79
:: Func
Tim Steenvoorden's avatar
Tim Steenvoorden committed
80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
  = Identity
  | Conj Expr
  | Disj Expr
  | Not
  | Gt Expr
  | Ge Expr
  | Eq Expr
  | Le Expr
  | Lt Expr
  | Add Expr
  | Sub Expr
  | Mul Expr
  | Div Expr
  | Fst
  | Snd
Tim Steenvoorden's avatar
Tim Steenvoorden committed
95

Tim Steenvoorden's avatar
Tim Steenvoorden committed
96
:: Value
97 98
  = VUnit
  | VInt Int
Tim Steenvoorden's avatar
Tim Steenvoorden committed
99 100 101 102
  | VBool Bool
  | VString String
  | VTuple Value Value

Tim Steenvoorden's avatar
Tim Steenvoorden committed
103 104 105 106 107
:: Ty
  = E.a: Ty (a -> Value) & iTask a

:: Typed a b
  =: Typed a
108

Tim Steenvoorden's avatar
Tim Steenvoorden committed
109
derive class iTask TaskExpr, TaskFunc, Expr, Func, Value, Typed
110

Tim Steenvoorden's avatar
Tim Steenvoorden committed
111 112
// These instances cannot be auto derived because of the existential quantifier.
// However, they will be never used, so we make them undefined.
113 114 115 116 117 118
gDefault{|Ty|} = abort "Typed task editor: internal error with gDefault of Ty"
gEq{|Ty|} _ _ = abort "Typed task editor: internal error with gEq of Ty"
JSONEncode{|Ty|} _ _ = abort "Typed task editor: internal error with JSONEncode of Ty"
JSONDecode{|Ty|} _ _ = abort "Typed task editor: internal error with JSONDecode of Ty"
gText{|Ty|} _ _ = abort "Typed task editor: internal error with gText of Ty"
gEditor{|Ty|} = abort "Typed task editor: internal error with gEditor of Ty"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
119

120

Tim Steenvoorden's avatar
Tim Steenvoorden committed
121 122
// Editor //////////////////////////////////////////////////////////////////////

Tim Steenvoorden's avatar
Tim Steenvoorden committed
123
taskEditor :: DynamicEditor TaskExpr
Tim Steenvoorden's avatar
Tim Steenvoorden committed
124 125 126 127 128 129 130 131 132 133 134 135
taskEditor = DynamicEditor
  [ // This cons is used to provide untyped `TaskExpr` values.
    DynamicCons
      $ functionConsDyn "TaskExpr" "(enter task)" (dynamic \(Typed taskExpr) -> taskExpr ::  A.a: (Typed TaskExpr a) -> TaskExpr)
      <<@@@ HideIfOnlyChoice
  , DynamicConsGroup "Combinators"
      [ functionConsDyn "Then" "sequence"
          ( dynamic \(Typed task) (Typed taskFunc) -> Typed (Then task taskFunc) ::
              A.a b:
              (Typed TaskExpr (Task a)) (Typed TaskFunc (a -> Task b))
              -> Typed TaskExpr (Task b)
          )
136
          <<@@@ applyVerticalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
137 138 139 140 141 142
      , functionConsDyn "ThenF" "sequence"
          ( dynamic \(Typed taskFunc1) (Typed taskFunc2) -> Typed (ThenF taskFunc1 taskFunc2) ::
              A.a b c:
              (Typed TaskFunc (a -> Task b)) (Typed TaskFunc (b -> Task c))
              -> Typed TaskFunc (a -> Task c)
          )
143
          <<@@@ applyVerticalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
144 145 146 147 148 149 150
      , functionConsDyn "Both" "both"
          ( dynamic \(Typed task1) (Typed task2) -> Typed (Both task1 task2) ::
              A.a b:
              (Typed TaskExpr (Task a))
              (Typed TaskExpr (Task b))
              -> Typed TaskExpr (Task (a, b))
          )
151
          <<@@@ applyVerticalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
152 153 154 155 156 157 158
      , functionConsDyn "Any" "any of"
          ( dynamic \(Typed task1) (Typed task2) -> Typed (Any task1 task2) ::
              A.a b:
              (Typed TaskExpr (Task a))
              (Typed TaskExpr (Task a))
              -> Typed TaskExpr (Task a)
          )
159
          <<@@@ applyVerticalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
160
      , functionConsDyn "One" "one of"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
161
          ( dynamic \button1 (Typed task1) button2 (Typed task2) -> Typed (One button1 task1 button2 task2) ::
Tim Steenvoorden's avatar
Tim Steenvoorden committed
162
              A.a b:
Tim Steenvoorden's avatar
Tim Steenvoorden committed
163
              String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
164
              (Typed TaskExpr (Task a))
Tim Steenvoorden's avatar
Tim Steenvoorden committed
165
              String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
166 167 168
              (Typed TaskExpr (Task a))
              -> Typed TaskExpr (Task a)
          )
169
          <<@@@ applyVerticalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
170 171 172 173 174 175 176 177 178
      // , functionConsDyn "When" "guarded sequence"
      //     ( dynamic \(Typed task1) (Typed steps) -> Typed (When task1 steps) ::
      //       // Typed (When task1 [(expr, pred, tfExpr) \\ (Typed expr, pred, Typed tfExpr) <- steps]) ::
      //         A.a b:
      //         (Typed TaskExpr (Task a))
      //         (Typed (List TaskContExpr) (a -> Task b))
      //         // (Typed (List (Typed Func (a -> Bool), String, Typed TaskFunc (a -> Task a))) (a -> Task b))
      //         -> Typed TaskExpr (Task b)
      //     )
179
      //     <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199
      // , listConsDyn "List TaskContExpr" "continuations"
      //     ( dynamic \typedSteps -> Typed ((\(Typed expr) -> expr) <$> typedSteps) ::
      //         A.a b:
      //         (List (Typed TaskContExpr (a -> Task b)))
      //         -> Typed (List TaskContExpr) (a -> Task b)
      //     )
      //     <<@@@ HideIfOnlyChoice
      // , functionConsDyn "TaskContExpr" "continuation"
      //     ( dynamic \s (Typed func) (Typed taskFunc) -> Typed {name = s, pred = func, cont = taskFunc} ::
      //         A.a b:
      //         String
      //         (Typed Func a)
      //         (Typed TaskFunc (a -> Task b))
      //         -> Typed TaskContExpr (a -> Task b)
      //     )
      //     <<@@@ HideIfOnlyChoice
      //     <<@@@ AddLabels [Just "name", Just "predicate", Just "continuation"]
      ]
  , DynamicConsGroup "Editors"
      [ functionConsDyn "Enter" "enter"
200
          ( dynamic \(Typed ty) s -> Typed (EnterInfo ty s) ::
Tim Steenvoorden's avatar
Tim Steenvoorden committed
201
              A.a:
Tim Steenvoorden's avatar
Tim Steenvoorden committed
202
              (Typed Ty a)
203
              String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
204 205
              -> Typed TaskExpr (Task a)
          )
206
          <<@@@ applyHorizontalBoxedLayout
207
          <<@@@ AddLabels [Nothing, Just "message"]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
208
      , functionConsDyn "ViewF" "view"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
209 210
          ( dynamic \s (Typed func) -> Typed (ViewF s func) ::
              A.a b:
Tim Steenvoorden's avatar
Tim Steenvoorden committed
211
              String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
212 213
              (Typed Func (a -> b))
              -> Typed TaskFunc (a -> Task b)
Tim Steenvoorden's avatar
Tim Steenvoorden committed
214
          )
215
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
216
          <<@@@ AddLabels [Just "message"]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
217
      , functionConsDyn "UpdateF" "update"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
218 219
          ( dynamic \s (Typed func) -> Typed (UpdateF s func) ::
              A.a b:
Tim Steenvoorden's avatar
Tim Steenvoorden committed
220
              String
Tim Steenvoorden's avatar
Tim Steenvoorden committed
221 222
              (Typed Func (a -> b))
              -> Typed TaskFunc (a -> Task b)
Tim Steenvoorden's avatar
Tim Steenvoorden committed
223
          )
224
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
225
          <<@@@ AddLabels [ Just "message" ]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
226
      , functionConsDyn "Done" "done"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
227 228 229 230 231
          ( dynamic \(Typed expr) -> Typed (Done expr) ::
              A.a:
              (Typed Expr a)
              -> Typed TaskExpr (Task a)
          )
232
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
233 234
      ]
  // Non-task functions:
235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265
  , DynamicConsGroup "Shares"
      // [ functionConsDyn "Init" "initialise"
      //     ( dynamic \(Typed sharedTy) (Typed taskExpr) -> Typed (Init sharedTy taskExpr) ::
      //         A.s a:
      //         (Typed Ty s)
      //         (Typed TaskExpr (Task a))
      //         -> Typed TaskExpr (Task a)
      //     )
      //     <<@@@ applyVerticalBoxedLayout
      [ functionConsDyn "StoreF" "store"
          (dynamic Typed StoreF :: Typed TaskFunc (Int -> Task ()))
          <<@@@ applyHorizontalBoxedLayout
          <<@@@ AddLabels [ Just "message" ]
      , functionConsDyn "Watch" "watch"
          ( dynamic \msg -> Typed (Watch msg) ::
              A.a:
              String
              -> Typed TaskExpr (Task ())
          )
          <<@@@ applyHorizontalBoxedLayout
          <<@@@ AddLabels [ Just "message" ]
      , functionConsDyn "WatchF" "watch"
          ( dynamic \msg -> Typed (WatchF msg) ::
              A.a:
              String
              -> Typed TaskFunc (a -> Task ())
          )
          <<@@@ applyHorizontalBoxedLayout
          <<@@@ AddLabels [ Just "message" ]
      ]
  // Non-task functions:
Tim Steenvoorden's avatar
Tim Steenvoorden committed
266
  , DynamicConsGroup "Basics"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
267 268
      [ functionConsDyn "Identity" "this value"
          (dynamic Typed Identity :: A.a: Typed Func (a -> a))
269
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
270 271 272 273 274 275 276
      , functionConsDyn "Apply" "apply"
          ( dynamic \(Typed func) (Typed expr) ->
            Typed (Apply func expr) ::
              A.a b:
              (Typed Func (a -> b))
              (Typed Expr a)
              -> Typed Expr b
Tim Steenvoorden's avatar
Tim Steenvoorden committed
277
          )
278
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
279 280
          <<@@@ AddLabels [ Just "the function", Just "to" ]
      , functionConsDyn "Fst" "first element"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
281
          (dynamic Typed Fst :: A.a b: Typed Func ((a, b) -> a))
282
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
283
      , functionConsDyn "Snd" "second element"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
284
          (dynamic Typed Snd :: A.a b: Typed Func ((a, b) -> b))
285
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
286
      ]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
287
  , DynamicConsGroup "Arithmetic"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
288
      [ functionConsDyn "Add" "add"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
289
          (dynamic \(Typed i) -> Typed (Add i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
290
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
291
      , functionConsDyn "Sub" "subtract"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
292
          (dynamic \(Typed i) -> Typed (Sub i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
293
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
294
      , functionConsDyn "Mul" "multiply with"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
295
          (dynamic \(Typed i) -> Typed (Mul i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
296
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
297
      , functionConsDyn "Div" "divide by"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
298
          (dynamic \(Typed i) -> Typed (Div i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
299
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
300 301
      ]
  , DynamicConsGroup "Logic"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
302 303
      [ functionConsDyn "Conj" "and"
          (dynamic \(Typed b) -> Typed (Conj b) :: (Typed Expr Bool) -> Typed Func (Bool -> Bool))
304
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
305 306
      , functionConsDyn "Disj" "or"
          (dynamic \(Typed b) -> Typed (Disj b) :: (Typed Expr Bool) -> Typed Func (Bool -> Bool))
307
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
308
      , functionConsDyn "Not" "negate"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
309
          (dynamic Typed Not :: Typed Func (Bool -> Bool))
310
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
311
      ]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
312
  , DynamicConsGroup "Comparison"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
313
      [ functionConsDyn "Gt" "is greater than"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
314
          (dynamic \(Typed i) -> Typed (Gt i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
315
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
316
      , functionConsDyn "Ge" "is greater or equal"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
317
          (dynamic \(Typed i) -> Typed (Ge i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
318
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
319
      , functionConsDyn "Eq" "is equal to"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
320
          (dynamic \(Typed i) -> Typed (Eq i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
321
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
322
      , functionConsDyn "Le" "is lesser than"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
323
          (dynamic \(Typed i) -> Typed (Le i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
324
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
325
      , functionConsDyn "Lt" "is lesser than"
Tim Steenvoorden's avatar
Tim Steenvoorden committed
326
          (dynamic \(Typed i) -> Typed (Lt i) :: (Typed Expr Int) -> Typed Func (Int -> Int))
327
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
328 329 330 331 332
      ]
  // Non-task expressions:
  , DynamicConsGroup "Values"
      [ functionConsDyn "Int" "the integer"
          (dynamic \i -> Typed (Int i) :: Int -> Typed Expr Int)
333
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
334 335
      , functionConsDyn "Bool" "the boolean"
          (dynamic \b -> Typed (Bool b) :: Bool -> Typed Expr Bool)
336
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
337 338
      , functionConsDyn "String" "the string"
          (dynamic \s -> Typed (String s) :: String -> Typed Expr String)
339
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
340 341 342 343 344 345
      , functionConsDyn "Tuple" "the tuple"
          ( dynamic \(Typed a) (Typed b) ->
            Typed (Tuple a b) ::
              A.a b:
                (Typed Expr a) (Typed Expr b) -> Typed Expr (a, b)
          )
346
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
347
          <<@@@ AddLabels [ Just "with", Just "and" ]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
348
    ]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
349 350 351 352
  // Types
  , DynamicConsGroup "Types"
      [ functionConsDyn "Ty.Int" "Int"
          (dynamic Typed (Ty VInt) :: Typed Ty Int)
353
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
354 355
      , functionConsDyn "Ty.Bool" "Bool"
          (dynamic Typed (Ty VBool) :: Typed Ty Bool)
356
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
357 358
      , functionConsDyn "Ty.String" "String"
          (dynamic Typed (Ty VString) :: Typed Ty String)
359
          <<@@@ applyHorizontalLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
360 361 362 363 364
      , functionConsDyn "Ty.Tuple" "Tuple"
          ( dynamic \(Typed (Ty toValue1)) (Typed (Ty toValue2)) -> Typed (Ty \(x, y) -> VTuple (toValue1 x) (toValue2 y)) ::
              A.a b:
              (Typed Ty a) (Typed Ty b) -> Typed Ty (a, b)
          )
365
          <<@@@ applyHorizontalBoxedLayout
Tim Steenvoorden's avatar
Tim Steenvoorden committed
366 367 368 369 370 371 372 373
      ]
  // Internal helper editors
  , DynamicConsGroup "Helpers"
    [ customEditorCons "int" "(enter integer)" intEditor <<@@@ HideIfOnlyChoice
    , customEditorCons "bool" "(enter boolean)" boolEditor <<@@@ HideIfOnlyChoice
    , customEditorCons "string" "(enter string )" stringEditor <<@@@ HideIfOnlyChoice
    ]
  ]
Tim Steenvoorden's avatar
Tim Steenvoorden committed
374
where
Tim Steenvoorden's avatar
Tim Steenvoorden committed
375 376
  intEditor :: Editor Int
  intEditor = gEditor{|*|}
Tim Steenvoorden's avatar
Tim Steenvoorden committed
377

Tim Steenvoorden's avatar
Tim Steenvoorden committed
378 379
  boolEditor :: Editor Bool
  boolEditor = gEditor{|*|}
Tim Steenvoorden's avatar
Tim Steenvoorden committed
380

Tim Steenvoorden's avatar
Tim Steenvoorden committed
381 382
  stringEditor :: Editor String
  stringEditor = gEditor{|*|}
383

384 385 386 387 388 389 390 391 392
  basicClasses = [ "typedtasks-base", "itasks-wrap-width", "itasks-wrap-height" ]
  horizontalClasses = [ "typedtasks-horizontal", "itasks-horizontal" ]
  verticalClasses = [ "typedtasks-vertical", "itasks-vertical" ]
  boxedClasses = [ "typedtasks-boxed" ]

  applyHorizontalBoxedLayout = ApplyCssClasses $ basicClasses ++ horizontalClasses ++ boxedClasses
  applyVerticalBoxedLayout = ApplyCssClasses $ basicClasses ++ verticalClasses ++ boxedClasses
  applyHorizontalLayout = ApplyCssClasses $ basicClasses ++ horizontalClasses
  applyVerticalLayout = ApplyCssClasses $ basicClasses ++ verticalClasses
393

Tim Steenvoorden's avatar
Tim Steenvoorden committed
394

Tim Steenvoorden's avatar
Tim Steenvoorden committed
395 396
// Evaluation //////////////////////////////////////////////////////////////////

397 398 399 400 401
// globalValueShare :: SimpleSDSLens ( Ty, List Value )
// globalValueShare = sharedStore "global share for typed task editor" ( abort "Global share not initialised", [] )
globalValueShare :: SimpleSDSLens (List Value)
globalValueShare = sharedStore "global share for typed task editor" []

Tim Steenvoorden's avatar
Tim Steenvoorden committed
402 403
evalTaskExpr :: TaskExpr -> Task Value
evalTaskExpr (Done expr) = return $ evalExpr expr
404
evalTaskExpr (EnterInfo (Ty toValue) msg) = enterInformation msg [] @ toValue
Tim Steenvoorden's avatar
Tim Steenvoorden committed
405
evalTaskExpr (Then task taskFunc) = evalTaskExpr task >>= evalTaskFunc taskFunc
Tim Steenvoorden's avatar
cleanup  
Tim Steenvoorden committed
406
evalTaskExpr (Both task1 task2) = (evalTaskExpr task1 -&&- evalTaskExpr task2) <<@ ApplyLayout arrangeHorizontal @ \(a, b) -> VTuple a b
Tim Steenvoorden's avatar
Tim Steenvoorden committed
407
evalTaskExpr (Any task1 task2) = (evalTaskExpr task1 -||- evalTaskExpr task2) <<@ ApplyLayout arrangeHorizontal
408
evalTaskExpr (One button1 task1 button2 task2) = viewInformation "Make a choice" [] () >?>
Tim Steenvoorden's avatar
Tim Steenvoorden committed
409 410
  [ ( button1, const True, \_ -> evalTaskExpr task1 )
  , ( button2, const True, \_ -> evalTaskExpr task2 )
Tim Steenvoorden's avatar
Tim Steenvoorden committed
411
  ]
412 413
// evalTaskExpr (Init sharedTy task) = set ( sharedTy, [] ) globalValueShare >>| evalTaskExpr task
evalTaskExpr (Watch msg) = viewSharedInformation msg [] globalValueShare @ (const VUnit)
Tim Steenvoorden's avatar
Tim Steenvoorden committed
414

Tim Steenvoorden's avatar
Tim Steenvoorden committed
415 416 417 418
// evalTaskExpr (When task1 options) = evalTaskExpr task1
//   >>* [ OnAction (Action name) (ifValue (test pred) (evalTaskFunc cont))
//       \\ {name, pred, cont} <- options
//       ]
Tim Steenvoorden's avatar
cleanup  
Tim Steenvoorden committed
419 420 421 422 423 424 425 426 427
// where
//   test pred (VInt i) = case pred of
//     Lt (VInt j) -> i < j
//     Gt (VInt j) -> i > j
//     Eq (VInt j) -> i == j
//   test pred (VBool i) = case pred of
//     Eq (VBool j) -> i == j
//     Lt (VBool j) -> False
//     Gt (VBool j) -> False
Tim Steenvoorden's avatar
Tim Steenvoorden committed
428 429 430


evalTaskFunc :: TaskFunc Value -> Task Value
431 432
evalTaskFunc (ThenF this next) val =
  evalTaskFunc this val >>= evalTaskFunc next
Tim Steenvoorden's avatar
cleanup  
Tim Steenvoorden committed
433

Tim Steenvoorden's avatar
Tim Steenvoorden committed
434
evalTaskFunc (ViewF msg func) val = case evalFunc val func of
Tim Steenvoorden's avatar
Tim Steenvoorden committed
435 436 437 438 439
  (VInt i) -> (viewInformation msg [] i @ VInt) <<@ ApplyLayout arrangeHorizontal
  (VBool b) -> (viewInformation msg [] b @ VBool) <<@ ApplyLayout arrangeHorizontal
  (VString s) -> (viewInformation msg [] s @ VString) <<@ ApplyLayout arrangeHorizontal
  (VTuple a b) ->
    ( viewInformation msg [] ()
Tim Steenvoorden's avatar
Tim Steenvoorden committed
440
      ||- (evalTaskFunc (ViewF "" Identity) a -&&- evalTaskFunc (ViewF "" Identity) b)
Tim Steenvoorden's avatar
Tim Steenvoorden committed
441 442 443
      @ \(a, b) -> VTuple a b
    )
      <<@ ApplyLayout arrangeHorizontal
Tim Steenvoorden's avatar
cleanup  
Tim Steenvoorden committed
444

Tim Steenvoorden's avatar
Tim Steenvoorden committed
445
evalTaskFunc (UpdateF msg func) val = case evalFunc val func of
Tim Steenvoorden's avatar
Tim Steenvoorden committed
446 447 448 449 450
  (VInt i) -> (updateInformation msg [] i @ VInt) <<@ ApplyLayout arrangeHorizontal
  (VBool b) -> (updateInformation msg [] b @ VBool) <<@ ApplyLayout arrangeHorizontal
  (VString s) -> (updateInformation msg [] s @ VString) <<@ ApplyLayout arrangeHorizontal
  (VTuple a b) ->
    ( viewInformation msg [] ()
Tim Steenvoorden's avatar
Tim Steenvoorden committed
451
      ||- (evalTaskFunc (UpdateF "" Identity) a -&&- evalTaskFunc (UpdateF "" Identity) b)
Tim Steenvoorden's avatar
Tim Steenvoorden committed
452 453 454 455
      @ \(a, b) -> VTuple a b
    )
      <<@ ApplyLayout arrangeHorizontal

456 457 458 459 460 461 462 463
evalTaskFunc (StoreF) val =
  // upd (\( sharedTy, values ) -> ( sharedTy, cons val values)) globalValueShare @ (const VUnit)
  upd (cons val) globalValueShare @ (const VUnit)

evalTaskFunc (WatchF msg) val =
  viewSharedInformation msg [] globalValueShare @ (const VUnit)


Tim Steenvoorden's avatar
Tim Steenvoorden committed
464

465
evalExpr :: Expr -> Value
Tim Steenvoorden's avatar
Tim Steenvoorden committed
466 467 468
evalExpr (Int i) = VInt i
evalExpr (Bool b) = VBool b
evalExpr (String s) = VString s
469
evalExpr (Tuple fstExpr sndExpr) = VTuple (evalExpr fstExpr) (evalExpr sndExpr)
Tim Steenvoorden's avatar
Tim Steenvoorden committed
470
evalExpr (Apply func expr) = evalFunc (evalExpr expr) func
Tim Steenvoorden's avatar
Tim Steenvoorden committed
471 472 473


evalFunc :: Value Func -> Value
Tim Steenvoorden's avatar
Tim Steenvoorden committed
474
evalFunc val Identity = val
Tim Steenvoorden's avatar
Tim Steenvoorden committed
475

Tim Steenvoorden's avatar
Tim Steenvoorden committed
476
evalFunc (VInt i1) func = case func of
Tim Steenvoorden's avatar
Tim Steenvoorden committed
477 478 479 480 481 482 483 484 485
  (Gt expr) -> VBool $ i1 > evalInt expr
  (Ge expr) -> VBool $ i1 >= evalInt expr
  (Eq expr) -> VBool $ i1 == evalInt expr
  (Le expr) -> VBool $ i1 <= evalInt expr
  (Lt expr) -> VBool $ i1 < evalInt expr
  (Add expr) -> VInt $ i1 + evalInt expr
  (Sub expr) -> VInt $ i1 - evalInt expr
  (Mul expr) -> VInt $ i1 * evalInt expr
  (Div expr) -> VInt $ i1 / evalInt expr
Tim Steenvoorden's avatar
Tim Steenvoorden committed
486 487 488 489 490
where
  evalInt :: Expr -> Int
  evalInt expr = case evalExpr expr of
    (VInt i) -> i

Tim Steenvoorden's avatar
Tim Steenvoorden committed
491
evalFunc (VBool b1) func = case func of
Tim Steenvoorden's avatar
Tim Steenvoorden committed
492 493 494 495
  (Eq expr) -> VBool $ b1 == evalBool expr
  (Conj expr) -> VBool $ b1 && evalBool expr
  (Disj expr) -> VBool $ b1 || evalBool expr
  (Not) -> VBool $ not b1
Tim Steenvoorden's avatar
Tim Steenvoorden committed
496 497 498 499 500
where
  evalBool :: Expr -> Bool
  evalBool expr = case evalExpr expr of
    (VBool b) -> b

Tim Steenvoorden's avatar
Tim Steenvoorden committed
501
evalFunc (VString s1) func = case func of
Tim Steenvoorden's avatar
Tim Steenvoorden committed
502
  (Eq expr) -> VBool $ s1 == evalString expr
Tim Steenvoorden's avatar
Tim Steenvoorden committed
503 504 505 506
where
  evalString :: Expr -> String
  evalString expr = case evalExpr expr of
    (VString s) -> s
Tim Steenvoorden's avatar
Tim Steenvoorden committed
507 508 509 510

evalFunc (VTuple x1 x2) func = case func of
  Fst -> x1
  Snd -> x2