問題タブ [deriving]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
ocaml - OCamlで派生とバッテリーを同時に使用するには?
したがって、基本的に私のプロジェクトでは、batteries(forFile.lines_ofおよびその他の関連関数) とderiving(for Show.show) を同時に使用する必要があります。
ただし、 Macにopamパッケージをインストールするために使用するderivingと、最初にパッケージが削除されbatteries、その後インストールが開始されるようderivingです..
batteriesを使用してインストールするopamと、最初に削除されderivingます...
私の設定に何か問題がありますか..？それとも普通のケースですか..？batteriesでは、とderivingを同時に使用するにはどうすればよいですか?
arrays - 配列の PartialEq
Rust 配列 (一定サイズのもの、[T, ..Size]) に関する質問です。私は次の作業をしようとしています:
導出を使用して独自の PartialEq を単純に記述できないことはわかっていますが、それはかなり不快です... 表示されるエラー メッセージもわかりにくいものです (以下を参照)。これを行うための適切な素朴な方法はありますか?
今日からラストナイトリービルドです。
ありがとう！
haskell - 一般化されたニュータイプの派生
MonadState sHaskellはT1以下のインスタンスを導出できますが、T2これは非常に類似したタイプではありません。T2のインスタンスをMonadState s自動的に派生できるようにするには、コードをどのように変更すればよいですか?
ghc - GADT の Typeable と Data を導出しますか?
使用:
次のデータ型が与えられます。
私の目標は、インスタンスuniplateを必要とするパッケージを使用することです。Data
GHCは自動的Typeableに導出できますか? Data7.8 GHC はそうできるはずなので、少なくともTypeableそれは必須です。
私はおそらく自分のDataインスタンスを書くことができます...しかし、GHCがそれを私のために派生させることができるのなら、なぜですか?
haskell - GeneralizedNewtypeDeriving を介してインスタンスを派生させるときにカスタム インスタンスを使用する
typeclass があるとしますclass (A a, B a) => C a where。を使用すると、データ型を複製し、言語拡張機能newtypeを介してインスタンスを自動的に派生させることができます(派生可能なクラスを作成する方法と、同じ内部表現と最小限の定型文で複数の型を処理する方法を参照してください)。GeneralizedNewtypeDeriving
質問: ghc にAandを自動的に派生させることは可能ですが、派生Cに独自の指定された実装を使用することはできますか?BC
たとえば、次のコード ( A= Planet、B= Lives、C= Description) は期待どおりに動作しません。
私が期待/望んでいたのは、 のDolphinインスタンスがLivesの派生で呼び出されることでしDescriptionた。
明らかに、次のプログラムは機能しますが、明示的にインスタンス化する必要がありDescriptionますDolphin。
ps不可解なのは、(最初のプログラムで) if を宣言していないことです:
次にghcは文句を言います：
forの（自動）派生でそれを使用していないinstance Lives Dolphin where場合、 ghc が の不在について文句を言うのは奇妙に思えます。DescriptionDolphin