git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
rowtype-yoga/purescript-native/examples/passing/ObjectUpdate.purs
23 lines 553 B history raw
1module Main where
3import Prelude
4import Control.Monad.Eff.Console (log)
6update1 = \o -> o { foo = "Foo" }
8update2 :: forall r. { foo :: String | r } -> { foo :: String | r }
9update2 = \o -> o { foo = "Foo" }
11replace = \o -> case o of
12 { foo = "Foo" } -> o { foo = "Bar" }
13 { foo = "Bar" } -> o { bar = "Baz" }
14 o -> o
16polyUpdate :: forall a r. { foo :: a | r } -> { foo :: String | r }
17polyUpdate = \o -> o { foo = "Foo" }
19inferPolyUpdate = \o -> o { foo = "Foo" }
21main = do
22 log ((update1 {foo: ""}).foo)
23 log "Done"