
 0 | module Data.DFunctor
 1 | 
 2 | ||| Dependent version of `Functor`
 3 | public export
 4 | interface DFunctor (0 f : (t -> Type) -> Type) where
 5 |   ||| Analogous to `map`
 6 |   dmap : {0 a, b : t -> Type} -> ({0 x : t} -> a x -> b x) -> f a -> f b
 7 |