@@ -20,14 +20,14 @@ type Id a = a
2020
2121newtype OptionalProp a = OptionalProp (UndefinedOr a)
2222
23−setOrDelete ∷
24− ∀ r a rNoA key.
25− IsSymbol key =>
26− Cons key a rNoA r =>
27− SProxy key ->
28− OptionalProp a ->
29− { | r } ->
30− { | r }
23+setOrDelete
24+ ∷ ∀ r a rNoA key
25+ . IsSymbol key
26+ => Cons key a rNoA r
27+ => SProxy key
28+ -> OptionalProp a
29+ -> { | r }
30+ -> { | r }
3131setOrDelete key v = case opToMaybe v of
3232 Nothing -> unsafeDelete (reflectSymbol key)
3333 Just v' -> set key v'
@@ -41,8 +41,8 @@ asMaybe = asOptional >>> opToMaybe
4141composeHandler ∷ EventHandler -> OptionalProp EventHandler -> EventHandler
4242composeHandler handler propsHandler =
4343 mkEffectFn1 \a -> do
44− for_ (propsHandler # opToMaybe) $ flip runEffectFn1 a
4544 for_ (handler # asMaybe) $ flip runEffectFn1 a
45+ for_ (propsHandler # opToMaybe) $ flip runEffectFn1 a
4646
4747unsafeUnOptional ∷ ∀ a. OptionalProp a -> a
4848unsafeUnOptional = unsafeCoerce