Haskell在没有模板Haskell的情况下写镜头

2024-04-16 04:53:05 351

示例

为了揭开Haskell模板的神秘面纱，假设您有

data Example a = Example { _foo :: Int, _bar :: a }

然后

makeLenses 'Example

产生（或多或少）

foo :: Lens' (Example a) Int bar :: Lens (Example a) (Example b) a b

但是，没有什么特别神奇的事情发生。您可以自己编写以下内容：

foo :: Lens' (Example a) Int -- :: Functor f => (Int -> f Int) -> (Example a -> f (Example a)) ;; expand the alias foo wrap (Example foo bar) = fmap (\newFoo -> Example newFoo bar) (wrap foo) bar :: Lens (Example a) (Example b) a b -- :: Functor f => (a -> f b) -> (Example a -> f (Example b)) ;; expand the alias bar wrap (Example foo bar) = fmap (\newBar -> Example foo newBar) (wrap bar)

本质上，您想使用该wrap功能“访问”镜头的“焦点”，然后重建“整个”类型。

Haskell在没有模板Haskell的情况下写镜头

示例

热门推荐

随机推荐