Haskell新型的翻转半群运算？

93ze6v8z 于 2023-08-06 发布在其他

关注(0)|答案(1)|浏览(154)

有没有一种新的基本类型可以实现以下功能？

newtype SemigroupFlip a = SemigroupFlip a

instance Semigroup a => Semigroup (SemigroupFlip a) where
  (SemigroupFlip a) <> (SemigroupFlip b) = SemigroupFlip (b <> a)

instance Monoid a => Monoid (SemigroupFlip a) where
  mempty = SemigroupFlip mempty

字符串

haskell

来源：https://stackoverflow.com/questions/76809613/haskell-newtype-that-flips-semigroup-operation

1条答案

按热度按时间

5kgi1eie1#

没错Dual
因为这太短了，所以不能作为答案，这里有一只小猫。

|\__/,|   (`\
  _.|o o  |_   ) )
-(((---(((--------

字符串

更新：* 这里是它的对偶：

/`)   |,\__/|        
( (   _|  o o|._      
--------)))---)))-

型

赞(0）回复(0）举报 2023-08-06

我来回答

Haskell新型的翻转半群运算？

1条答案

相关问题

热门标签

最新问答