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 书写大赛祝福语范文简短
13 弟媳离职回家祝福语简短
14 靳年祝福语大全简短
15 生日祝福语简短语股票
16 开工红包祝福语毕业简短
17 给老公祝福语简短2026
18 女孩自己生日祝福语简短