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才能正常工作。从技术上讲,完全有可能通过其他方式(例如手工)制作以这种方式制成的镜片。
热门推荐
10 病人祝福语老师寄语简短
11 新娘生孩子祝福语简短
12 婆婆66岁祝福语简短
13 今天孩子高考祝福语简短
14 送彩票生日祝福语简短
15 分别祝福语简短情话英文
16 画室揭牌仪式祝福语简短
17 女友妈妈生日祝福语简短
18 离别赠言离职祝福语简短