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

必须使用Template Haskell扩展程序makeFields才能正常工作。从技术上讲，完全有可能通过其他方式（例如手工）制作以这种方式制成的镜片。