Haskellでレコード内の単一フィールドを更新する@

Question

非常に大きなデフォルトレコードの1つのフィールドを更新する必要があります。

デフォルトが変更される可能性があるため、レコード全体を手動で再構築する必要はありません。

は今、私はこれを行うには、次のように遭遇してきたが、私はそれがどのように動作するかわからない：

unaggregate :: MyResult -> MyResult 
unaggregate calc@MyResult{..} = calc{ the_defaults = the_override 
             `mappend` the_defaults } 
    where 
    the_override = create ("aggregation" := False) 

私はグーグルで「Haskellの@演算子」を探して試してみましたが、それはすぐに戻りません有用な情報。

は、私がどこか calc@MyResult{..}見変数のパターンマッチングを行いますが、私はまた私が見上げている

... calcはMyResultレコードのない変数何を表示されていないmappend（およびモノイド）と私はどのように確認していませんこれらの作業のいずれか...

は、任意のヘルプ

Answer 1

ありがとうござい@記号を「パターン」と呼ばれています。上記の例では、calcを使用してレコード全体を意味することができます。通常は次のように使用します：calc@(MyResult someResult) - これで、あなたがマッチしているものと駒の両方を持つことができます。あなたはリスト（myList@(myHead:myTail)）またはタプル（myTuple@(myFst, mySnd)と同じことを行うことができます。これはかなり便利です！

を

MyResult{..}RecordWildcardsを使用しています。きちんとした拡張機能です！しかしRecordWildcardsあなたは、レコードのただ一つのフィールドを更新助けない。

あなたが代わりにこれを行うことができます。calc { theFieldYouWantToUpdate = somethingNew }を