(feat) Syntax for function applications in Record update operations.

[alissa-tung]

Namely, when you try to update a filed using the previous (current) state with a given function f, just write x{it $= f}.

[sdzx-1]

I don't understand what you mean, can you give a more detailed example?

[alissa-tung]

I don't understand what you mean, can you give a more detailed example?

newtype Rec = MkRec {unRec :: a}
val :: Rec
unRec val :: a

Hence, val{unRec = f $ unRec val} ≡ val{unRec $= f}.

[niltok]

@DotPat notice that record in Hamler is just a kind of map, it comes from Purescript's row polymorphism

and when u define

newtype Rec = MkRec {unRec :: a}

unRec :: Rec -> a is not defined

still, your suggestion is great!!! thx a lot