Is there any reason why the Profunctor instance of (->) defines both dimap and lmap/rmap?

后端 未结 0 983
独厮守ぢ
独厮守ぢ 2021-01-24 23:13

In the source code on Hackage I read this:

instance Profunctor (->) where
  dimap ab cd bc = cd . bc . ab
  {-# INLINE d         


        
相关标签:
回答
  • 消灭零回复
提交回复
热议问题