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.Tree
import public Data.Functor.Algebra
import public Data.Container.Base.TreeUtils
import public Data.Container.SubTerm