如何結合幾種類型約束？

Question

使用lenses自動鏡頭生成方法我結束了與HasX類型的若干類型的類：

class HasPositionX s a | s -> a where 
    positionX :: Lens' s a 

class HasPositionY s a | s -> a where 
    positionY :: Lens' s a 

這當然是2D矢量類型的一部分。現在我正在尋找一種方式，這些約束合併成一個，基本上說IsVector s a可用這樣的：通過定義一個只包含一個新的記錄爲此

showVec :: (Num a, IsVector v a) => v -> String 
showVec a = show (view positionX a) ++ "," ++ show (view positionY a) 

Answer 1

座標：

data Position = Position { 
    _positionX :: Int 
    _positionY :: Int 
} 

然後用位置字段替換成對的座標字段。然後IsVector是HasPosition並且鏡片看起來像position . x而不是positionX。