Haskell新型的翻转半群运算?

93ze6v8z  于 2023-08-06  发布在  其他
关注(0)|答案(1)|浏览(153)

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

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

字符串

5kgi1eie

5kgi1eie1#

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

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

字符串

  • 更新:* 这里是它的对偶:
/`)   |,\__/|        
( (   _|  o o|._      
--------)))---)))-

相关问题