Idris2Doc : Data.Profunctor

Data.Profunctor

(source)
Reexports
import public Data.Profunctor.Types
import public Data.Profunctor.Functor
import public Data.Profunctor.Strong
import public Data.Profunctor.Closed