Control.Lens를 사용하여 목록의 i 번째 요소를 업데이트하는 방법은 무엇입니까?

Question

내가 Control.Lens를 사용

data Outer = Outer { _list :: [ Inner ] } 
data Inner = Inner { _bool :: Bool } 

의 라인을 따라 몇 가지 데이터 유형을 가지고,이

boolValue <- gets (^. list . to (!! i) . inner) 

I처럼 (A '국가 외부'모나드 내부) i 번째 내부의 _bool에 액세스 할 수 있습니다 또한 (나의 이해에 의해) 그러나

list ^. (to (!! i)) ^. inner %= True 

처럼 뭔가이 값을 업데이트 할 수 있도록하고 싶습니다, '받는 사람'기능 만 게터가 아닌 진정한 렌을 만듭니다 s는 getter 또는 setter로 사용할 수 있습니다.

그래서 어떻게하면이 필드를 업데이트 할 수있는 렌즈로 변환 할 수 있습니까?

Answer 1

당신은 *는 Getter 이외의 렌즈와 같은 일에 (!!)를 켤 수 없습니다 -하지만 이런 종류의 할 수있는 기능이있다 : ix이 일을 액세스하기위한, 인덱스에서. 실제로는 Traversal이 아니고 Lens이 아닙니다. 여기서는 인덱스가 범위를 벗어난 경우 실패 할 수 있음을 의미합니다.하지만 인덱스가 목록에 있으면 작동합니다.

또 다른 문제가 있지만 - (^.)도 값을 가져 오는 데만 사용되는 연산자입니다. 예를 들어 호환되지 않습니다. (%=)은 첫 번째 인수로 렌즈와 같은 것을 사용합니다. 그리고 : (%=)은 기존 값보다 기능을 매핑하기위한 것입니다. 설정하려는 경우 (.=)을 사용할 수 있습니다. 그래서 당신은 아마 뭔가를 원하는 :

list . ix i . inner .= True 

* 실제로이이 작업을 수행 할 수있는 기능입니다 - 그것은 upon을라고 -하지만 멋진 사악한 마술을 사용하고 당신이 적어도 그것을 사용하지 말아야합니다 이것 (그리고 아마도 실제 코드가 아님).

Answer 2

지정된리스트의 요소에 Traversal이다 사용 element :

list . element i . inner %= True :: Outer -> Outer 

당신이 목록 요소가되지 않을 수도 있기 때문에 그래서 Maybe를 사용하여 수행해야합니다 목록 요소 얻고 싶은 경우에 :

를

myList :: Outer 

myList ^? list . element i . inner :: Maybe Bool