Idris2Doc : Data.Linear.Bifunctor

Data.Linear.Bifunctor

Definitions

bimap : (a-@x) -@ ((b-@y) -@ (LPairab-@LPairxy))
  A linear bimap on linear pairs.
There is no general Bifunctor interface because it would not be implementable with
The same type signature consistently, for example LEither does not consume both
`f` and `g` linearly.

Totality: total
Visibility: public export
mapFst : (a-@x) -@ (LPairab-@LPairxb)
Totality: total
Visibility: public export
mapSnd : (b-@y) -@ (LPairab-@LPairay)
Totality: total
Visibility: public export