blob: d5a87e73620516026297af79ab0a223ec4e35de7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
module Page.EditValue
( Model,
initialModel,
Action,
updateModel,
viewModel,
)
where
import Api
import Data.Aeson qualified as A
import Data.Aeson.KeyMap qualified as AM
import Data.ByteString.Lazy.UTF8 as LB
import Data.Maybe
import Form qualified as F
import Miso
import Miso.String (toMisoString)
import Schema
data Model = Model
{ collection :: String,
fileName :: String,
input :: Maybe A.Value,
schema :: Schema
}
deriving (Show, Eq)
initialModel :: String -> String -> JSM (Either String Model)
initialModel collection fileName = do
schema' <- fetchSchema
input' <- fetchPost fileName
pure do
schema <- schema'
input <- input'
pure $ Model {..}
data Action
= NoOp
| FormChanged A.Value
| FormSubmitted A.Value
| EntityWritten (Either String ())
deriving (Eq, Show)
updateModel :: Action -> Model -> Effect Action Model
updateModel NoOp m = noEff m
updateModel (FormChanged (Just -> input)) m = noEff m {input}
updateModel (FormSubmitted output) m =
m <# do EntityWritten <$> updatePost m.fileName output
updateModel (EntityWritten _) m = noEff m
viewModel :: Model -> View Action
viewModel m = do
let input = (fromMaybe (A.Object AM.empty) m.input)
div_ [] $
[ viewForm input m.schema,
viewInput input,
viewOutput input m.schema
]
viewForm :: A.Value -> Schema -> View Action
viewForm input =
fmap (either FormChanged FormSubmitted)
. flip F.runForm input
. schemaForm
viewInput :: A.Value -> View Action
viewInput input =
pre_ [] [text (toMisoString (A.encode input))]
viewOutput :: A.Value -> Schema -> View Action
viewOutput input schema =
pre_ [] $
[ text $
toMisoString
( either ("Left " <>) (("Right " <>) . LB.toString) $
(A.encode <$> ((schemaForm schema).fill input))
)
]
|