Data.DFunctor

Definitions

interface DFunctor : ((t -> Type) -> Type) -> Type

  Dependent version of `Functor`

Parameters: f
Methods:

dmap : (a x -> b x) -> f a -> f b

  Analogous to `map`

dmap : DFunctor f => (a x -> b x) -> f a -> f b

  Analogous to `map`

Visibility: public export