
  0 | module Data.Container.Additive
  1 | 
  2 | import public Data.Vect.Quantifiers
  3 | 
  4 | import public Data.ComMonoid
  5 | 
  6 | -- need to import base container as a foundation for additive ones
  7 | import public Data.Container.Base
  8 | 
  9 | import public Data.Container.Additive.Object.Definition
 10 | import public Data.Container.Additive.Morphism.Definition
 11 | import public Data.Container.Additive.Extension.Definition
 12 | import public Data.Container.Additive.Product.Definitions
 13 | 
 14 | import public Data.Container.Additive.Object.Instances
 15 | import public Data.Container.Additive.Morphism.Instances