問題タブ [derived-instances]
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.
haskell - Num の派生インスタンスを作成できません
私はghci
、このコードセクションを使用しています
エラーを次のように表示しています
解決策を提案してください。
haskell - 関連付けられたデータ ファミリの Typeable を導出できません
Typeable
次のように、関連するデータファミリを導出しようとしています:
しかし、次のエラー メッセージが表示され、少し困惑しています。
誰かがここで何がうまくいかないのか詳しく説明してもらえますか?
haskell - -XMultiParamTypeClasses での -XGeneralizedNewtypeDeriving の使用
次のコードはエラーになります。
エラー:
そのため、GHC はModule DWrapper D
要求されたインスタンスを派生させるインスタンスを探しModule D D
ます。これは合理的だと思いますが、意図したものではありません。どのインスタンスから派生するかを GHC に伝える方法はありますか? GNTD は MPTC でどのように機能しますか?
c++ - C++ で、派生型の参照へのキャストが機能するのはなぜですか?
正確には、なぜB b = (B&) a
コンパイルして動作するのにB b = (B) a
、以下のプログラムでは動作しないのですか?
ここで欠落している参照を使用して派生型にキャストすることについて何かありますか? B にキャストすると、コンストラクター B(A a) が存在しないというコンパイル時エラーが発生します。
haskell - ToSchema の自動派生によって生成されたフィールドのカスタマイズ
私は次のタイプを持っています:
ここでは、JSON 表現のフィールドの名前をこのデータ型に適合させる必要があるためderiveJSON
、メカニズムの代わりにを使用します。Generic
接頭辞は、型のレンズを生成するために必要ですが、JSON 表現では必要ありません。
今、私はのインスタンスを必要とするservant-swaggerを使用して、Swagger ドキュメントを生成しようとしています。ここでの問題は、生成されたスキーマが上記のアクセサ関数の指定された接頭辞付きの名前 ( 、、) を持つことです。代わりに、変更されたバージョン ( 、、および) が必要です。ToSchema
Device
_deviceId
_deviceName
_deviceDType
id
name
dtype
そのような方法で一般的な派生プロセスをカスタマイズする方法はありますか?