如何组合包含上下文的镜头？

Question

我从authorityL开始authorityHostL到hostBSL - 我知道你可以通过

组合镜头

(authorityL . authorityHostL . hostBSL)

但是Couldn't match type ‘Authority’ with ‘Maybe Authority’失败了。我如何正确处理Maybe？

Answer 1

您可以在其间添加_Just，只关注成功的结果。

(authorityL . _Just . authorityHostL . hostBSL)

就像它在评论中说的那样。