haskell - 如何组成 "Maybe"镜头？

Question

如果我有一个用于嵌套记录的镜头，其中每个镜头都返回一个也许，我怎样才能让它们组合，以便如果“遍历”中有任何内容返回Nothing 最终结果是Nothing？

data Client = Client
  {
    clientProperties :: Maybe Properties
  , ...
  }

data Properties = Properties
  {
    propSmtpConfig :: Maybe SmtpConfig
  , ...
  }

c :: Client 
c = undefined

smtp = c ^. (properties . smtpConfig) -- How to make these lenses compose?

编辑我尝试了很多选项，但这是我能想到的最好的。寻找更干净的东西:

(client ^. properties) >>= (view smtpConfig)

Answer 1

您可以使用_Just prism 。这是一个人为的示例:

> (Just (Just 1, ()), ()) & _1 . _Just . _1 . _Just +~ 1
(Just (Just 2,()),())

就你而言，我认为你想要

properties . _Just . smtpConfig . _Just