構建一個相同的鏡頭

Question

我試圖創建一個getter一個Lens和setter方法是我從另一個Lens有：

import Control.Lens 

idL :: Lens s t a b -> Lens s t a b 
idL l = lens (\s -> view l s) (\s b -> set l b s) 

但是，它未能與一個不起眼的（對我來說）錯誤：

Expected type: Getting a s a 
     Actual type: (a -> Accessor a b) -> s -> Accessor a t 
    In the first argument of `view', namely `l' 

我在做什麼錯？這可能是一些非常基本的東西，但是，唉，我還不知道究竟發生了什麼（Getting,Accessor），以便我自己解開它。

Answer 1

鏡頭中的view的類型要求參數Lens的類型爲Lens s s a a。 它不適用於一般類型Lens s t a b。這是因爲如果view的類型是一般化的，你需要編寫許多類型簽名。

但你可以做什麼看法呢，不限制類型：

import Control.Lens 
import Control.Applicative -- This imports Const 

idL :: Lens s t a b -> Lens s t a b 
idL l = lens (\s -> getConst $ l Const s) (\s b -> set l b s) 

我用Const代替Accessor類型，這樣的代碼將與鏡頭HEAD工作太（其中除去Accessor NEWTYPE）