type-families

3熱

1答えて

私はメタデータが1つのタイプパラメータとして表され、もう1つのレコードフィールドとしてメタデータが表現される2つのライブラリをインターフェースしなければなりませんでした。私はGADTを使ってアダプタを書いた。蒸留バージョンは次のとおりです。 {-# LANGUAGE GADTs #-} newtype TFId a = MkId a data TFDup a = MkDup !a !a

7熱

1答えて

TypeFamiliesまたはGADTsが突然有効なコード

を壊し、私は非常に無実に見えるコード data Config = Config { cInts :: [Int] , cStrings :: [String] } instance Semigroup Config where c1 <> c2 = Config { cInts = andCombiner cInts , cStrings

1熱

1答えて

タイプファミリーをjsonに格納した後でそれを検証する方法は？

次のコードは、「C1」をコンパイルしの誤差は「C」とタイプ「C1」を一致しませんでし与えないであろうコンストラクタとパターンによって結合剛性型変数であり： SomeReq :: forall c。コネティカットC =>必須のC - > SomeReq、式の「RUN」 {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE ExistentialQuantif

4熱

1答えて

タイプファミリーはRankNタイプを返すことはできません - 回避策または代替案？

私は拡張可能なレコードライブラリで遊んでいますが、私は、Symbolキーがキーのリストにあるかどうかに基づいてLensまたはTraversalのいずれかとして機能する関数fieldを書きたいと思っています。型家族が与えられます。 type family LensOrTraversal key keys s t a b where LensOrTraversal key '[] s t a

2熱

1答えて

タイプの家族はこの単純なコードはコンパイルされません

種類*を持っている import Data.Kind type family F (k :: Type) :: (t :: k) -> Type エラーメッセージは、これは実際の」家族を定義していることを私はいくつかの意味でもらう • Expected a type, but ‘t’ has kind ‘k’ • In the kind ‘(t :: k) -> Type’ ですなぜこ

3熱

2答えて

シンボルを比較するこのタイプレベル関数を単純化するにはどうすればよいですか？

私は、キーでソートされたキーと値のペアの2つのリストを取るタイプレベルの関数が必要なコードをいくつか持っています。これらのリストは、両方のリストに存在する）。 {-# LANGUAGE DataKinds, KindSignatures, PolyKinds, TypeFamilies, TypeOperators, UndecidableInstances #-} import Data.P

0熱

2答えて

Haskell（GHC）専門ツアー＆効率的なタイプファミリー

ハスケルはすべて抽象に関するものです。しかし、抽象化は、ヒープ上のすべての抽象（多型）データの共通表現のために余分なCPUサイクルと余分なメモリ使用を必要とします。高性能の要求で抽象コードをよりうまく演奏させるためのいくつかの方法があります。私が理解する限り、それが行われる一つの方法は特殊化です - 基本的に余分なコード生成（マニュアルまたはコンパイラ）、正しい？（コンパイラはより多くの最適化を

1熱

1答えて

GHCを納得させる「おそらく無効」はユニットタイプ

私はタイプファミリーIfEq (n :: Nat) (m :: Nat) oがあり、oまたはVoidと評価されています。n :== mです。 Maybe VoidはNothingで始まるので、私は関数Maybe (IfEq n m o) -> Maybe oを定義することができますが、わかりません。フォローアップ：Maybeモナドから一般的なタイプに一般化できますか？（例えば、すべてのMona

1熱

1答えて

GMapEitherタイプの家族の例は実際には対応していませんどちらの直感ですか？

GHCユーザガイドは、Type家族にData instance declarationsセクションで、この例を示します。 data instance GMap (Either a b) v = GMapEither (GMap a v) (GMap b v) 私は、我々は、左または右のどちらかの値をいつでもEitherタイプが使用されていることを使用していますので、私はGMapEitherは何