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
79
|
module Page.EditValue
( Model,
initialModel,
Action,
updateModel,
viewModel,
)
where
import ACMS.API.REST.Collection qualified as API.REST.Collection
import Control.Monad.Catch (SomeException, try)
import Data.Aeson qualified as A
import Data.Aeson.KeyMap qualified as AM
import Data.Maybe
import Effect (Eff)
import Form qualified as F
import Miso
import Miso.String (MisoString, toMisoString)
import Safe (headMay)
import Schema
data Model = Model
{ collection :: MisoString,
fileName :: MisoString,
input :: Maybe A.Object,
schema :: Schema
}
deriving (Show, Eq)
initialModel :: MisoString -> MisoString -> JSM (Either SomeException Model)
initialModel collection fileName = do
schema' <- try (API.REST.Collection.schema collection)
input' <- try (headMay <$> API.REST.Collection.read collection fileName)
pure do
schema <- schema'
input <- input'
pure $ Model {..}
newtype Action = Action (Model -> (Effect Action Model, [Eff]))
update__formChanged :: A.Object -> Action
update__formChanged (Just -> input) = Action $ \m -> (noEff m {input}, [])
update__formSubmitted :: A.Object -> Action
update__formSubmitted output = Action $ \m ->
(m <# do update__entityWritten <$> try (API.REST.Collection.update m.collection m.fileName output), [])
update__entityWritten :: Either SomeException () -> Action
update__entityWritten _ = Action $ \m -> (noEff m, [])
updateModel :: Action -> Model -> (Effect Action Model, [Eff])
updateModel (Action f) m = f m
viewModel :: Model -> View Action
viewModel m = do
let input = (fromMaybe AM.empty m.input)
div_ [] $
[ viewForm input m.schema,
viewInput input,
viewOutput input m.schema
]
viewForm :: A.Object -> Schema -> View Action
viewForm input =
fmap (either update__formChanged update__formSubmitted)
. flip F.runForm input
. schemaForm
viewInput :: A.Object -> View Action
viewInput input =
pre_ [] [text (toMisoString (A.encode input))]
viewOutput :: A.Object -> Schema -> View Action
viewOutput input schema =
pre_ [] $
[ text $
either ("Left " <>) (("Right " <>)) $
(toMisoString . A.encode <$> ((schemaForm schema).fill input))
]
|
