Magma型クラス

ある二項演算において閉じている

あまり一般的ではない気がするmrsekut.icon

hsやpursでは標準では用意されていない

Magmaは、「結合律のないSemigroup型クラス」なので、演算としてかなり限定されるため、わざわざ用意する嬉しさが薄いからだろうかmrsekut.icon

fp-ts ref

code:ts

interface Magma<A> {

readonly concat: (x: A, y: A) => A

}

半群ではないマグマの演算の例に-があるが、

fp-tsではMagmaSubが、Magmaのinstanceとして定義されている