Idris2Doc : Data.Container.Base

Data.Container.Base

(source)
Reexports
import public Data.Fin
import public Data.Vect
import public Data.Container.Base.Definitions
import public Data.Container.Base.Instances
import public Data.Trees
import public Data.Functor.Algebra
import public Data.Container.Base.TreeUtils
import public Data.Container.Base.Display2D.Display2D
import public Data.Container.SubTerm