Idris2Doc : Data.Container.Applicative

Data.Container.Applicative

(source)
Reexports
import public Data.Container.Base
import public Data.Container.Applicative.Object.Instances
import public Data.Container.Applicative.Extension.Instances
import public Data.Container.Applicative.Concrete.Instances
import public Data.Container.Applicative.Product.Interfaces
import public Data.Container.Applicative.TreeUtils