6.6.7. Стратегии вывода

DerivingStrategies

Начиная с:

8.2.1

Статус:

Включено в GHC2024

Разрешает использовать несколько deriving, каждое из которых может быть квалифицировано стратегией.

В большинстве случаев каждое объявление deriving однозначно порождает экземпляр класса типов. Однако существует особый случай, когда одновременное включение расширений GeneralizedNewtypeDeriving и DeriveAnyClass может привести к неоднозначности при выводе. Рассмотрим следующий пример

{-# LANGUAGE DeriveAnyClass, GeneralizedNewtypeDeriving #-}
newtype Foo = MkFoo Bar deriving C

Можно выбрать либо подход DeriveAnyClass для вывода C, либо подход GeneralizedNewtypeDeriving для вывода C; оба варианта будут равноценны. В такой ситуации GHC по умолчанию предпочитает DeriveAnyClass, но это неудовлетворительное решение, поскольку оно не позволяет пользователям использовать оба языковых расширения в одном модуле.

Чтобы сделать это поведение более надёжным, в GHC предусмотрено понятие стратегий вывода, позволяющих пользователю явно указать, какой подход использовать при выводе экземпляра. Чтобы включить эту возможность, необходимо включить языковое расширение DerivingStrategies. Стратегию вывода можно указать в предложении вывода

newtype Foo = MkFoo Bar
  deriving newtype C

Или в отдельном объявлении вывода

deriving anyclass instance C Foo

DerivingStrategies также позволяет использовать несколько предложений вывода в одном объявлении типа данных, чтобы пользователь мог вывести одни экземпляры с помощью одной стратегии, а другие — с помощью другой. Например:

newtype Baz = Baz Quux
  deriving          (Eq, Ord)
  deriving stock    (Read, Show)
  deriving newtype  (Num, Floating)
  deriving anyclass C

В настоящее время доступны следующие стратегии вывода:

• stock: Поручить GHC реализовать «стандартный» экземпляр для типа данных, если это возможно (например, Eq, Ord, Generic, Data, Functor и т. д.)
• anyclass: Использовать DeriveAnyClass (см. Вывод любых других классов)

• newtype: Use GeneralizedNewtypeDeriving

  (см. Обобщённый вывод экземпляров для новых типов)

• via: Использовать DerivingVia (см. Вывод с помощью)