Semigroup型クラス
結合律を満たす二項演算を提供する
定義
hsclass Semigroup a where
(<>) :: a -> a -> aMonoid型クラスのスーパークラスである
GHC8.4(base 4.11)以降
2018/3頃。なので、ブログなどの日付に注意
故に、Monoidの定義をするときに、Semigroupのインスタンスになっていないとエラーが出る
errorExample.hs:8:10: error:
・ No instance for (Semigroup Metrics)
arising from the superclasses of an instance declaration
・In the instance declaration for ‘Monoid Metrics’詳しくはref
fp-ts
Magma型クラスを継承する
即ち、
concat() を定義する