git.iko.soy/rowtype-yoga/purescript-native
on 64bd2db help sign in
16 lines 447 B history raw
1module ObjectUpdate where
3 update1 = \o -> o { foo = "Foo" }
5 update2 :: forall r. { foo :: String | r } -> { foo :: String | r }
6 update2 = \o -> o { foo = "Foo" }
8 replace = \o -> case o of
9 { foo = "Foo" } -> o { foo = "Bar" }
10 { foo = "Bar" } -> o { bar = "Baz" }
11 o -> o
13 polyUpdate :: forall a r. { foo :: a | r } -> { foo :: String | r }
14 polyUpdate = \o -> o { foo = "Foo" }
16 inferPolyUpdate = \o -> o { foo = "Foo" }