Using field accessors both ways in the same block of code?
23 May
2021
23 May
'21
10:38 a.m.
Is it possible to use record field accessors both in their “normal” way and as values, via RecordWildCards and MyData{..}, in the same block of code?
23 May
23 May
2:32 p.m.
New subject: Using field accessors both ways in the same block of code?
On Sun, May 23, 2021 at 07:38:53AM -0700, David Banas wrote:
Is it possible to use record field accessors both in their “normal” way and as values, via RecordWildCards and MyData{..}, in the same block of code?
{-# LANGUAGE RecordWildCards #-} module M where data X = X { a :: Int , b :: String } doubleTrouble :: X -> (Int, String) doubleTrouble rec@X{..} = (a + a, b <> M.b rec) -- Viktor.
1459
Age (days ago)
1459
Last active (days ago)
1 comments
2 participants
participants (2)
-
David Banas -
Viktor Dukhovni