Haskell - Ống kính, sử dụng chức năng 'to'

Question

Tôi có mã sau đây. Tôi muốn có thể thay đổi cuộc sống của người chơi đang hoạt động khi đưa ra trạng thái trò chơi. Tôi đã đưa ra một ống kính activePlayer, nhưng khi tôi cố gắng và sử dụng nó kết hợp với -= điều hành tôi nhận được lỗi sau:

> over (activePlayer.life) (+1) initialState 
<interactive>:2:7: 
    No instance for (Contravariant Mutator) 
     arising from a use of `activePlayer' 
    Possible fix: 
     add an instance declaration for (Contravariant Mutator) 
    In the first argument of `(.)', namely `activePlayer' 
    In the first argument of `over', namely `(activePlayer . life)' 
    In the expression: over (activePlayer . life) (+ 1) initialState`` 

và mã trong câu hỏi:

{-# LANGUAGE TemplateHaskell #-} 
module Scratch where 

import Control.Lens 
import Control.Monad.Trans.Class 
import Control.Monad.Trans.State 
import Data.Sequence (Seq) 
import qualified Data.Sequence as S 

data Game = Game 
    { _players :: (Int, Seq Player) -- active player, list of players 
    , _winners :: Seq Player 
    } 
    deriving (Show) 

initialState = Game 
    { _players = (0, S.fromList [player1, player2]) 
    , _winners = S.empty 
    } 

data Player = Player 
    { _life :: Integer 
    } 
    deriving (Show, Eq) 

player1 = Player 
    { _life = 10 
    } 

player2 = Player 
    { _life = 10 
    } 

makeLenses ''Game 
makeLenses ''Player 

activePlayer 
    :: (Functor f, Contravariant f) => 
     (Player -> f Player) -> Game -> f Game 
activePlayer = players.to (\(i, ps) -> S.index ps i) 

Mỗi người chơi mất đến lượt họ. Tôi cần phải theo dõi tất cả các cầu thủ cùng một lúc cũng như hiện đang hoạt động, đó là lý do tôi cấu trúc như thế nào, mặc dù tôi mở ra các cấu trúc khác nhau vì tôi có thể chưa có cấu trúc phù hợp.

Answer 1

Khi bạn soạn nhiều mục khác nhau trong thư viện ống kính với (.), chúng có thể mất khả năng theo loại kiểu phụ (xem bên dưới). Trong trường hợp này, bạn đã sáng tác một Lens (players) với Getter (to f cho một số chức năng f) và do đó kết hợp chỉ là Getter trong khi over hoạt động trên các ống kính mà cả hai có thể nhận và đặt. Tuy nhiên,

activePlayer nên tạo thành một ống kính hợp lệ để bạn có thể viết thủ công như một cặp getter/setter. Tôi đang viết nó một phần dưới đây dưới giả định rằng chỉ mục không bao giờ có thể không hợp lệ.

activePlayer :: Lens' Game Player 
activePlayer = lens get set 
    where 
    get :: Game -> Player 
    get (Game { _players = (index, seq) }) = Seq.index seq index 

    set :: Game -> Player -> Game 
    set g@(Game { _players = (index, seq) }) player = 
     g { _players = (index, Seq.update index player seq) } 

Để hiểu rõ hơn về subtyping đó xảy ra trong thư viện lens chúng ta có thể sử dụng the Big Lattice Diagram from Hackage

Bất cứ khi nào bạn kết hợp hai loại ống kính với (.) bạn kết thúc với hậu duệ chung đầu tiên của họ trong bảng xếp hạng mà . Vì vậy, nếu bạn kết hợp Lens và Prism, bạn có thể thấy rằng mũi tên của chúng hội tụ trên Traversal. Nếu bạn kết hợp Lens và Getter (trong đó to f là) thì bạn sẽ nhận được Getter từ Getter là hậu duệ trực tiếp của Lens.