Add valuesOf to the record stdlib
records = {
map : forall a b. (Str -> a -> b) -> {_: a} -> {_: b} = fun f r => %recordMap% r f,
- // TODO: change Dyn to { | Dyn} once the PR introducing open contracts lands
- fieldsOf : Dyn -> List Str = fun r => %fieldsOf% r,
+ fieldsOf | { | Dyn} -> List Str = fun r => %fieldsOf% r,
+
+ valuesOf | { | Dyn} -> List = fun r => %valuesOf% r,
hasField : Str -> Dyn -> Bool = fun r field => %hasField% r field,
}
