typeclass

2熱

3答えて

これを正確にフレーズする方法はわかりません。誰かがそれに合った名前を持っていれば教えてください。私はMatchableと呼ばれるtypeclassを書こうとしています。このアイデアは、私が（RegExp a、ComplexRegex a）の正規表現をいくつか入力して一致させることができるはずです。だから私はこの試みた： class Matchable a where -- regex

0熱

1答えて

スカラ型のクラス暗黙のあいまいさ

代数型の階層で型クラスを設定する際に問題があります。私は、以下の特徴を持っている： trait Field[F]{...} trait VectorSpace3[V,F] extends Field[F]{...} は、私は実装を提供したい知っている： trait DoubleIsField extends Field[Double]{ ... } trait Doubl

0熱

1答えて

データ型のリストのインスタンスを作成する - Haskell

これは本当に簡単なはずですが、私はかなりの時間この時点で固執しています。 haskellでは、特定のデータ型のリストの型クラスのインスタンスを作成できますか？私が達成したいことは次のとおりです。私はこの問題を解決する方法を知っていただきたいと思います、なぜこれが許可されていない * Illegal instance declaration for `Rename [Atom]' (A

0熱

1答えて

typeclassインスタンス宣言で定義とパターンマッチングが矛盾しています

私は作成したタイプの型クラスインスタンスを作成しようとしていますが、問題が発生しています。 data PlusMinus a = Plus a | Minus a | Zero deriving(Eq,Show) Essentialy我々は、3種類のデータコンストラクタを持っており、Numのインスタンスは、これらの異なるコンストラクタに基づいて異なる動作をする必要があるタイプを持っています。

2熱

1答えて

（Data.Functor.Classes.Show1 ExprF）のインスタンスがありません

数値の素因数分解を見つけるための小さなプログラムを作成しました。 main関数を除いてすべてコンパイルされているように見えますが、Show1インスタンスが見つからないという不満があります。 {-# LANGUAGE DeriveFunctor #-} module FactorAnamorphism where import Data.Functor.Foldable import Da

4熱

3答えて

Scalaの型クラスのベストプラクティス

：だからここでは例を行く： object CsvEncoder { // "Summoner" method def apply[A](implicit enc: CsvEncoder[A]): CsvEncoder[A] = enc // "Constructor" method def instance[A](func: A => List[

1熱

1答えて

暗黙の引数：関数シグネチャをエンコードする方法は？

型崩れを使用してのADTの列挙に関する@TravisBrownによって上空啓発questionに続いて、私は次のコードスニペットが残っています：私は持っていないように私はメソッド内でこれをカプセル化したい implicitly[EnumerableAdt[Foo]].values 各呼び出しの後に.valuesに（これは私にとってはよりクリーンなAPIのようです）。しかし、私はそれを正しくす

2熱

1答えて

インスタンスを定義するときにあいまいなエラーが発生するのはなぜですか？

私はタイプFooを持っていると私はGHCiの中でそれを使用することができるように、それShowのインスタンスにしたい： data Foo = Foo instance Show Foo where show Foo = "Foo" 私はそれを使用しようとすると、しかし、私はあいまいな出現エラーが表示されます。 ghci> show Foo <interactive>:4:1:

3熱

1答えて

導出なしでEqをインスタンス化する方法

貧しい私の英語については残念です。タイトルは、私が意味することを説明しないかもしれません。 Data.Tree、Treeでは、以下のように定義される： -- | Multi-way trees, also known as /rose trees/. data Tree a = Node { rootLabel :: a, --^label value subFor

8熱

2答えて

それは（代替f、Foldable f）=> Monad fですか？

次typechecks： instance (Applicative f, Alternative f, Foldable f) => Monad f where (>>=) = flip $ \f -> foldr (<|>) empty . fmap f -- Or equivalently a >>= b = getAlt . foldMap Alt . fma