Idris2Doc : Data.Container.Base.Instances

Data.Container.Base.Instances

(source)
Reexports
import public Data.Container.Base.Object.Instances
import public Data.Container.Base.Extension.Instances
import public Data.Container.Base.Morphism.Instances
import public Data.Container.Base.Properties.Definition
import public Data.Container.Base.Properties.Instances
import public Data.Container.Base.Endofunctor.Instances
import public Data.Container.Base.Monoid.Definition
import public Data.Container.Base.Monoid.Instances
import public Data.Container.Base.RoseTree.Definition
import public Data.Container.Base.RoseTree.Instances