parsley icon indicating copy to clipboard operation
parsley copied to clipboard

Identity-based `local`

Open j-mie6 opened this issue 8 months ago • 0 comments

Sometimes, a local combinator just needs to restore an old state, as opposed to adjusting it on entry. This can be captured by reg.local(identity _)(p), but this could be more concisely represented as reg.local(p) -- so long as this does not cause inference problems with the existing local combinator that takes a Parsley[A => A]

j-mie6 avatar Dec 27 '23 12:12 j-mie6