このコードは、補間演算子として<>
を使用しているようです。 https://github.com/hlian/linklater/blob/master/examples/app/JointPhotographicExpertsGroupTonga.hs不明なhaskell演算子。 `<>`
この演算子のドキュメントやソースが見つかりません。どのようなアイデアであるか/どこから来たのか。
このコードは、補間演算子として<>
を使用しているようです。 https://github.com/hlian/linklater/blob/master/examples/app/JointPhotographicExpertsGroupTonga.hs不明なhaskell演算子。 `<>`
この演算子のドキュメントやソースが見つかりません。どのようなアイデアであるか/どこから来たのか。
伝統的に、<>
は、主にData.Monoid
で定義された機能です。
(<>) :: Monoid a => a -> a -> a
(<>) = mappend
しかし、semigroups
パッケージは、長いData.Semigroup
におけるSemigroup
クラスのメソッドとしてそれを使用しました。 GHC 8以降、Data.Semigroup
はbase
パッケージに移行しました。現在、Semigroup
のスーパークラスをMonoid
にする計画があります。これが完了すると、<>
関数は完全に<>
メソッドに置き換えられます。
これは[Data.Monoid](https://hackage.haskell.org/package/base-4.9.0.0/docs/Data-Monoid.html)からのものです。 – pdexter
暗黙のインポートは恐ろしいものです。 haskellがそれを認めているのは残念だ。 – Igor