Idris2Doc : Data.DList.Impl

Data.DList.Impl

(source)
Implementations of `DFunctor` and `DFoldable` for `DList`

Separated from the `Data.DList` module, because the implementations are
actually for `flip DList` which makes their usefullness questionable.

Reexports

import public Data.DFoldable
import public Data.DFunctor
import public Data.DList

Definitions