Schwierigkeit mit Zoom und frei Monaden

Question

ich mit freiem Monaden und Objektiv bin herumschlagen, die freie Monade mit meiner eigenen Version des IO Monade zu erstellen:

data MyIO next 
    = LogMsg String next 
    | GetInput (String -> next) 
    deriving (Functor) 

ich dies von einem Zustand Monade oben am Stapel etwa so: FreeT MyIO (State GameState) a wo GameState ist:

data GameState = GameState { _players :: [PlayerState] } 

Nun, was ich möchte, ist ein Weg, um ein PlayerState von einem GameState Kontext „Zoom-in“. Etwas wie folgt aus:

zoomPlayer :: Int -> FreeT MyIO (State PlayerState) a -> FreeT MyIO (State GameState) a 
zoomPlayer i prog = hoistFreeT (zoom (players . element i)) prog 

Aber ich bin immer diese Fehlermeldung:

No instance for (Data.Monoid.Monoid a1) 
    arising from a use of ‘_head’ 

Dieser Fehler auf die Tatsache, dass scheint players . element i ein Traversal ist; wenn ich den Listenaspekt von _players entferne und normales Objektiv verwende, funktioniert der Code.

Irgendwelche Ideen zum Schreiben dieser Funktion?

Answer 1

Wenn Sie sicher, dass Sie nie Index in eine nicht existierende Spieler und nicht ein wenig unsafety dagegen haben, können Sie die unsafeSingular combinator verwenden, um eine Traversal in eine Lens zu drehen, wie folgt aus:

zoomPlayer :: Int -> FreeT MyIO (State PlayerState) a -> FreeT MyIO (State GameState) a 
zoomPlayer i prog = hoistFreeT (zoom (players . unsafeSingular (element i))) prog 

(auch würde ich vielleicht ix statt element verwenden, aber das für das Problem nicht verwandt ist.)

Wir auch sichere Indizierung Linsen für immer unendliche Sequenzen, wie Ströme definiert Cofree vommit konstruierenPaket:

import Control.Lens (Lens', _Wrapped') 
import Control.Comonad.Cofree (Cofree, telescoped) 
import Data.Functor.Identity 
import Control 

sureIx :: Int -> Lens' (Cofree Identity a) a 
sureIx i = telescoped $ replicate i _Wrapped' 

Aber ein Spiel ist unwahrscheinlich, endlose Spieler zu haben.