Подтвердить что ты не робот

Существуют ли эти моноидные экземпляры где-то уже?

"Где-то" есть "в стандартной библиотеке или в какой-то упаковке, которая достаточно мала и достаточно для того, чтобы сделать ее относительно безвредной зависимостью".

import qualified Data.Map as M
import Data.Monoid
import Control.Applicative

newtype MMap k v = MMap {unMMap :: M.Map k v}
newtype MApplictive f a = MApplicative {unMApplicative :: f a}

-- M.unionWith f M.empty m = M.unionWith f m M.empty = m
-- f a (f b c) = f (f a b) c =>
--    M.unionWith f m1 (M.unionWith f m2 m3) =
--    M.unionWith f (M.unionWith f m1 m2) m3 
instance (Ord k, Monoid v) => Monoid (MMap k v) where
    mempty = MMap $ M.empty
    mappend m1 m2 = MMap $ M.unionWith mappend (unMMap m1) (unMMap m2)


instance (Applicative f, Monoid a) => Monoid (MApplicative f a) where
    mempty = MApplicative $ pure mempty
    mappend f1 f2 = MApplicative $ liftA2 mappend (unMApplicative f1) (unMApplicative f2)

(Эти экземпляры должны удовлетворять моноидным законам - не удосужились доказать это для аппликативного),

Я спрашиваю, потому что я использую их для обоих, и мне не нравится переопределять те вещи, которые уже есть.

4b9b3361

ОТВЕТЫ

Ответ 1

Что-то вроде этого?

class Functor f => Monoidal f where
    fempty :: Monoid m => f m
    fempty = fconcat []

    fappend :: Monoid m => f m -> f m -> f m
    fappend l r = fconcat [l, r]

    fconcat :: (Foldable c, Monoid m) => c (f m) -> f m
    fconcat = unMWrap $ foldMap MWrap

    {-# MINIMAL fempty, fappend | fconcat #-}

-- Could just be Pointed instead of Applicative, but that not in base
applicativeFEmpty :: (Applicative f, Monoid m) => f m
applicativeFEmpty = pure mempty

applicativeFAppend :: (Applicative f, Monoid m) => f m -> f m -> f m
applicativeFAppend = liftA2 mappend

applicativeFConcat :: (Applicative f, Monoid m, Foldable c) => c (f m) -> f m
applicativeFConcat = fmap mconcat . sequenceA . foldMap (:[])

newtype MonoidWrap f a = MWrap { unMWrap :: f a }

instance Monoidal f, Monoid m => Monoid (MonoidWrap f m) where
    mempty = MWrap $ fempty . unMWrap
    mappend l r = MWrap $ fappend (unMWap l) (unMWrap r)
    mconcat = MWrap $ fconcat . map unMWrap

Плюс, моноидальные экземпляры для всех подходящих типов данных в базе? Он не будет охватывать Data.Map.Map, который на самом деле является моим наиболее распространенным использованием этого шаблона, но его можно было бы добавить достаточно просто.

Не совсем уверен в рекурсии между mconcat и fconcat. Может быть проблемой.

Ответ 2

Я думаю, что ответ на этот вопрос "Нет", поэтому он так и остался без положительного ответа.