Haskell记录镜头
示例
简单记录
{-# LANGUAGE TemplateHaskell #-}
import Control.Lens
data Point = Point {
_x :: Float,
_y :: Float
}
makeLenses ''Point镜头x和y被创建。
let p = Point 5.0 6.0
p ^. x -- returns 5.0
set x 10 p -- returns Point { _x = 10.0, _y = 6.0 }
p & x +~ 1 -- returns Point { _x = 6.0, _y = 6.0 }使用重复的字段名称管理记录
data Person = Person { _personName :: String }
makeFields ''Person创建一个类型HasName，透镜name为Person，使Person的一个实例HasName。随后的记录也将添加到该类中：
data Entity = Entity { _entityName :: String }
makeFields ''Entity必须使用TemplateHaskell扩展程序makeFields才能正常工作。从技术上讲，完全有可能通过其他方式（例如手工）制作以这种方式制成的镜片。