Schritt in den Reißverschluss mit `to` Objektiv

Question

Ich habe Probleme mit lens und zippers. Betrachten wir unter Code ausführen in ghci

> import Control.Lens 
> import Control.Zipper 
> 
> :t within (ix 1) $ zipper ([1,2,3] :: [Int]) 
> within (ix 1) $ zipper ([1,2,3] :: [Int]) 
    :: Control.Monad.MonadPlus m => m (Zipper Top Int [Int] :>> Int) 

Mit data A t = A t, wie kann ich Art von Reißverschluss schaffen wie: Control.Monad.MonadPlus m => m (Zipper Top Int [Int] :>> A Int)?

Ich versuchte within (ix 1 . to A) $ zipper ([1,2,3] :: [Int]) aber es gibt einen Fehler:

Could not deduce (Contravariant 
        (Bazaar (Indexed Int) (A Int) (A Int))) 
    arising from a use of ‘to’ 
from the context (Control.Monad.MonadPlus m) 
    bound by the inferred type of 
      it :: Control.Monad.MonadPlus m => 
       m (Zipper Top Int [Int] :>> A Int) 
    at Top level 
In the second argument of ‘(.)’, namely ‘to A’ 
In the first argument of ‘within’, namely ‘(ix 1 . to A)’ 
In the expression: within (ix 1 . to A) 

Answer 1

Eine Möglichkeit ist es, eine Iso und komponieren damit zu machen. In GHCI:

> import Control.Lens 
> import Control.Zipper 
> 
> data A t = A t 
> let _A = iso A (\(A a) -> a) 
> 
> let a = within (ix 1 . _A) $ zipper ([1,2,3] :: [Int]) 
> :t a 
a :: MonadPlus m => m (Zipper Top Int [Int] :>> A Int) 
> a ^? _Just . focus 
Just (A 2) 

Edit: Der Grund müssen Sie (\(A a) -> a) ist so können Sie wieder raus.

> data A t = A t 
> let _A = iso A (error "Can't unA") 
> 
> let a = within (ix 1 . _A) $ zipper ([1,2,3] :: [Int]) 
> a ^? _Just . focus 
Just (A 2) 
> fmap upward a ^? _Just . focus 
Just [1,*** Exception: Can't unA 

Ich glaube nicht, dass es eine gültige Art und Weise ist das zum Extrahieren von A ohne eine Funktion zu machen. Sie könnten eine ungültige Traversal schreiben, aber es wird immer noch nicht richtig funktioniert:

> data A t = A t 
> let _A f a = a <$ f (A a) 
> 
> let a = within (ix 1 . _A) $ zipper ([1,2,3] :: [Int]) 
> let b = a & _Just . focus .~ A 10 
> b ^? _Just . focus 
Just (A 10) 
> fmap upward b ^? _Just . focus 
Just [1,2,3] -- Should be Just [1, 10, 3]