
  0 | ||| Implementations of `DFunctor` and `DFoldable` for `DList`
  1 | |||
  2 | ||| Separated from the `Data.DList` module, because the implementations are
  3 | ||| actually for `flip DList` which makes their usefullness questionable.
  4 | module Data.DList.Impl
  5 | 
  6 | import public Data.DFoldable
  7 | import public Data.DFunctor
  8 | import public Data.DList
  9 | 
 10 | export
 11 | implementation DFunctor (flip DList xs) where
 12 |   dmap = Data.DList.dmap
 13 | 
 14 | export
 15 | implementation DFoldable (flip DList xs) where
 16 |   dfoldr = Data.DList.dfoldr
 17 |