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 幼儿狗年祝福语大全简短
18 好听的元旦简短祝福语