因此,Functor制作1-1逻辑数据流 - a Lens.所述Applicative使得n-1个数据流的逻辑-一个Traversal.在Applicative上Choice Profunctor使得"打破部分"机制-一个Prism.
Functor
Lens
Applicative
Traversal
Choice
Profunctor
Prism
有没有涉及任何有趣的已知结构Monad,MonadPlus等功能或一些其他子集Profunctors?
Monad
MonadPlus
Profunctors