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

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

on 02442e3 help sign in

18 lines 493 B history raw

1module Main 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" }

18 main = Debug.Trace.trace ((update1 {foo: ""}).foo)