Idris2Doc : Data.Container.Base.Definitions

Data.Container.Base.Definitions

(source)
Reexports
import public Data.Container.Base.Object.Definition
import public Data.Container.Base.Extension.Definition
import public Data.Container.Base.Morphism.Definition
import public Data.Container.Base.Concrete.Definition
import public Data.Container.Base.Product.Definitions