Data.Container.Base.Endofunctor.Instances

Definitions

compositionBangPos : Functor m => (m <!> (c >@ d)) =%> (c >@ (m <!> d))

Totality: total
Visibility: public export

joinBwComp : Monad m => (m <!> (c >@ d)) =%> (m <!> (c >@ (m <!> d)))

  Composition product analogue of `joinBw`
  On the backward pass, it flattens an `m` of (position, `m` of positions)
  pairs into a single `m` of full positions.

Totality: total
Visibility: public export

coproductBang : (m <!> (c >+< d)) =%> ((m <!> c) >+< (m <!> d))

Totality: total
Visibility: public export

tensorBang : Applicative m => (m <!> (c >< d)) =%> ((m <!> c) >< (m <!> d))

Totality: total
Visibility: public export

compositionBang : Monoid (d .Shp) => (!!) (c >@ d) =%> ((!!) c >@ (!!) d)

Totality: total
Visibility: public export

compositionBangBack : Monad m => ((m <!> c) >@ (m <!> d)) =%> (m <!> (c >@ d))

Totality: total
Visibility: public export