6.5.11. Перегрузка обновления записей

OverloadedRecordUpdate

Since:

9.2.0

Обеспечивает синтаксис записей . в обновлениях записей, например, x{foo.bar = 1}.

ЭКСПЕРИМЕНТАЛЬНО Данный дизайн расширения может быть изменен в будущем. Не рекомендуется использовать это расширение для долгосрочных библиотек на данный момент.

Обычно (но необязательно) это расширение используется совместно с Перегруженная запись точка.

Пример:

{-# LANGUAGE AllowAmbiguousTypes, FunctionalDependencies, ScopedTypeVariables, PolyKinds, TypeApplications, DataKinds, FlexibleInstances #-}
{-# LANGUAGE NamedFieldPuns, RecordWildCards #-}
{-# LANGUAGE OverloadedRecordDot, OverloadedRecordUpdate, RebindableSyntax #-}

import Prelude

class HasField x r a | x r -> a where
  hasField :: r -> (a -> r, a)

getField :: forall x r a . HasField x r a => r -> a
getField = snd . hasField @x -- Note: a.x = is getField @"x" a.
setField :: forall x r a . HasField x r a => r -> a -> r
setField = fst . hasField @x -- Note : a{x = b} is setField @"x" a b.

data Person = Person { name :: String } deriving Show
instance HasField "name" Person String where
    hasField r = (\x -> case r of Person { .. } -> Person { name = x, .. }, name r)

data Company = Company { company :: String, owner :: Person } deriving Show
instance HasField "company" Company String where
    hasField r = (\x -> case r of Company { .. } -> Company { company = x, .. }, company r)
instance HasField "owner" Company Person where
    hasField r = (\x -> case r of Company { .. } -> Company { owner = x, .. }, owner r)

main = do
  let c = Company {company = "Acme Corp.", owner = Person { name = "Wile E. Coyote" }}

  -- Top-level update
  print $ c{company = "Acme United"} -- Company {company = "Acme United", owner = Person {name = "Wile E. Coyote"}}

  -- Nested update
  print $ c{owner.name = "Walter C. Johnsen"} -- Company {company = "Acme Corp.", owner = Person {name = "Walter C. Johnsen"}}

  -- Punned update
  let name = "Walter C. Johnsen"
  print $ c{owner.name}  -- Company {company = "Acme Corp.", owner = Person {name = "Walter C. Johnsen"}}

OverloadedRecordUpdate работает, дизассемблируя выражения обновления записей . в выражения, включающие функции setField и getField. Обратите внимание, что все обновления записей будут дизассемблированы до выражений setField независимо от того, используют ли они обозначение . или нет.

В настоящее время, RebindableSyntax должен быть включен, когда OverloadedRecordUpdate включен, и пользователи должны предоставить определения для getField и setField. Ожидается, что это ограничение будет снято в будущей версии GHC с встроенной поддержкой setField.