有没有一种新的基本类型可以实现以下功能?
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
字符串
1条答案
按热度按时间5kgi1eie1#
没错
Dual
因为这太短了,所以不能作为答案,这里有一只小猫。
字符串
型