@@ -23,7 +23,7 @@ import Debug.Trace as DT
2323import ECharts.Chart as EC
2424import ECharts.Types as ET
2525import ECharts.Commands as E
26- import ECharts.Monad (DSL )
26+ import ECharts.Monad (DSL' , interpret )
2727import ECharts.Types.Phantom (I )
2828import ECharts.Types.Phantom as ETP
2929
@@ -32,7 +32,7 @@ import Signal.Time (every)
3232
3333import Utils as U
3434
35- startOptions ∷ DSL ETP.OptionI
35+ startOptions ∷ DSL' ETP.OptionI
3636startOptions = do
3737 E .title do
3838 E .text " Dynamic line"
@@ -58,11 +58,11 @@ startOptions = do
5858type Accum =
5959 { dt ∷ D.DateTime
6060 , value ∷ Number
61- , values ∷ Array (DSL ETP.ItemI )
61+ , values ∷ Array (DSL' ETP.ItemI )
6262 }
6363
6464dataStream
65- ∷ ∀ e i . Accum → Signal (Eff (random ∷ RANDOM |e ) (DSL (items ∷ I |i )))
65+ ∷ ∀ e i . Accum → Signal (Eff (random ∷ RANDOM |e ) (DSL' (items ∷ I |i )))
6666dataStream start =
6767 accumStream ~> map (E .itemsDSL <<< _.values)
6868 where
@@ -78,14 +78,14 @@ dataStream start =
7878 newTimeLabel = either (const $ " Incorrect date" ) id $ FDT .formatDateTime " YYYY-MM-DD" newTime
7979 newValue = acc.value + (ran * 21.0 - 10.0 )
8080
81- newItem ∷ DSL ETP.ItemI
81+ newItem ∷ DSL' ETP.ItemI
8282 newItem = do
8383 E .name newTimeLabel
8484 E .valuePair newTimeLabel newValue
8585
8686 pure { value: newValue, dt: newTime, values: [newItem] <> acc.values }
8787
88- optStream ∷ ∀ e . Accum → Signal (Eff (now ∷ NOW , random ∷ RANDOM |e ) (DSL ETP.OptionI ))
88+ optStream ∷ ∀ e . Accum → Signal (Eff (now ∷ NOW , random ∷ RANDOM |e ) (DSL' ETP.OptionI ))
8989optStream acc =
9090 dataStream acc ~> \effItemsSet → do
9191 itemsSet ← effItemsSet
@@ -98,9 +98,9 @@ chart = do
9898 Nothing → DT .traceAnyA " There is no element with line id"
9999 Just el → do
100100 ch ← EC .init el
101- EC .setOption startOptions ch
101+ EC .setOption (interpret startOptions) ch
102102 timeStart ← map toDateTime now
103103 valueStart ← random
104104 runSignal $ optStream {dt: timeStart, value: valueStart, values: [] } ~> \effOpt → do
105105 opt ← effOpt
106- EC .setOption opt ch
106+ EC .setOption (interpret opt) ch
0 commit comments