質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
86.02%
Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

Q&A

解決済

Monoidクラスのインスタンスにすることがうまくいかない

the_hoots_under
the_hoots_under

総合スコア33

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

2回答

1グッド

0クリップ

565閲覧

投稿2020/06/01 01:11

Bool型をnewtypeで覆って、MyAnyとし、Monoidのインスタンスにしたいだけですが、うまくいきません。

Haskell

1newtype MyAny = MyAny {getMyAny :: Bool} deriving (Eq,Ord,Read,Bounded,Show) 2 3instance Monoid MyAny where 4 mempty = MyAny False 5 MyAny u `mappend` MyAny v = MyAny (u || v)

と書いたファイルをghciに読み込ませると

file13.hs:22:10: error:
• No instance for (Semigroup MyAny)
arising from the superclasses of an instance declaration
• In the instance declaration for ‘Monoid MyAny’
|
22 | instance Monoid MyAny where
|

となってしまいます。どうしたら、Monoidクラスのインスタンスになるのでしょうか。

igrep👍を押しています

以下のような質問にはグッドを送りましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

グッドが多くついた質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

下記のような質問は推奨されていません。

  • 間違っている
  • 質問になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

適切な質問に修正を依頼しましょう。

回答2

1

GHC 8.4以降、MonoidのメソッドのうちmappendSemigroupというスーパークラスに<>という名前で分離されました。
結果、すべてのMonoidのインスタンスはSemigroupのインスタンスでもある必要があります。
tomatoさんの回答のとおり、エラーメッセージが述べているのはまさにそう言うことです。

なのでMyAnySemigroupのインスタンスにして、mappendの定義は消してあげましょう。

instance Semigroup MyAny where MyAny u <> MyAny v = MyAny (u || v)

関連: あなたの知らないSemigroupの世界 - あどけない話

投稿2020/06/01 01:59

編集2020/06/01 02:03
igrep

総合スコア423

tamoto👍を押しています

良いと思った回答にはグッドを送りましょう。
グッドが多くついた回答ほどページの上位に表示されるので、他の人が素晴らしい回答を見つけやすくなります。

下記のような回答は推奨されていません。

  • 間違っている回答
  • 質問の回答になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

このような回答には修正を依頼しましょう。

回答へのコメント

the_hoots_under

2020/06/01 06:19

ありがとうございます。 >GHC 8.4以降、MonoidのメソッドのうちmappendはSemigroupというスーパークラスに<>という名前で >分離されました。 そうなのですね。すごいH本だけなので知りませんでした。 また、『あなたの知らないSemigroupの世界 - あどけない話』とても参考になりました。

0

ベストアンサー

こんにちは。

エラーメッセージが言っている通りです。
Monoid クラスの定義は以下の通り、

haskell

1class Semigroup a => Monoid a

Monoid となるためには Semigroup である必要があるので、先に Semigroup のインスタンスを定義する必要があります。
ちなみに mappend の実装は Semigroup の (<>) に定義するので、Monoid には mempty だけあればよいです。

http://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Monoid.html#t:Monoid

投稿2020/06/01 01:51

tamoto

総合スコア4041

良いと思った回答にはグッドを送りましょう。
グッドが多くついた回答ほどページの上位に表示されるので、他の人が素晴らしい回答を見つけやすくなります。

下記のような回答は推奨されていません。

  • 間違っている回答
  • 質問の回答になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

このような回答には修正を依頼しましょう。

回答へのコメント

the_hoots_under

2020/06/01 06:17

ありがとうございます。 まだまだエラーメッセージを理解できず助かりました。

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
86.02%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。