examples/passing/ObjectUpdate.purs · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

on ea3e968 help sign in

14 lines 400 B history raw

1update1 = \o -> o { foo = "Foo" }

3update2 :: forall r. { foo :: String | r } -> { foo :: String | r }

4update2 = \o -> o { foo = "Foo" }

6replace = \o -> case o of

7 { foo = "Foo" } -> o { foo = "Bar" }

8 { foo = "Bar" } -> o { bar = "Baz" }

9 o -> o

11polyUpdate :: forall a r. { foo :: a | r } -> { foo :: String | r }

12polyUpdate = \o -> o { foo = "Foo" }

14inferPolyUpdate = \o -> o { foo = "Foo" }