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

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

on 4e65ae3 help sign in

20 lines 487 B history raw

1module Main where

3import Prelude

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

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

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

10replace = \o -> case o of

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

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

13 o -> o

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

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

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

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