Idris2Doc : Data.DFunctor.Operators

Data.DFunctor.Operators

(source)
Module with operators for the `DFunctor` intrerface
I put them in a separate module to make it possible to avoid name
ambiguities.

Definitions

(<$>) : DFunctor f => (a x -> b x) -> f a -> f b
  An infix alias for `dmap`

Visibility: public export
Fixity Declaration: infixr operator, level 4
(<&>) : DFunctor f => f a -> (a x -> b x) -> f b
  Flipped version of `<$>`, an infix alias for `dmap`

Visibility: public export
Fixity Declaration: infixl operator, level 1