如何將Monoid r =>光學折疊類型的Const r推廣到Contravariant + Applicative？

Question

從此Getter類型開始

type Getter s a = forall r. (a -> Const r a) -> s -> Const r s

我們需要一個額外的Monoid約束來獲得Fold ：

type Fold s a = forall r. Monoid r => (a -> Const r a) -> s -> Const r s

但Fold的實際和更一般的類型是

type Fold s a = forall f. (Contravariant f, Applicative f) => (a -> f a) -> s -> f s

我理解Contravariant用於排除Identity ，從而確保我們只能獲得價值。 但我不明白Monoid r如何與Applicative相對應？ 當然， Const也是一個應用，但躲避幺半群在哪里？

對不起這個令人困惑的問題。

Answer 1

Monoid實例隱藏在Const r的Applicative實例的約束中。

如果r是Monoid的實例，則Const r 只是 Applicative一個實例 ：

instance Monoid m => Applicative (Const m) where
   ...