Idris2Doc : Control.Category

Control.Category

(source)
Reexports
import public Control.Category.Core as Control.Category
import public Control.Category.Semigroupoid
import public Control.Category.Functor
import public Control.Category.NatTrans
import public Control.Category.Monad
import public Control.Category.Monoidal
import public Control.Category.Braided
import public Control.Category.Cartesian
import public Control.Category.Cocartesian
import public Control.Category.Bimonoidal
import public Control.Category.Promonad
import public Control.Category.Closed
import public Control.Category.Traced