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

(<$>) : DFunctorf=> (ax->bx) ->fa->fb
  An infix alias for `dmap`

Visibility: public export
Fixity Declaration: infixr operator, level 4
(<&>) : DFunctorf=>fa-> (ax->bx) ->fb
  Flipped version of `<$>`, an infix alias for `dmap`

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