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" }
13 polyUpdate :: forall a r. { foo :: a | r } -> { foo :: String | r }
14 polyUpdate = \o -> o { foo = "Foo" }
16 inferPolyUpdate = \o -> o { foo = "Foo" }
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list