Data.Yoko.Reduce

Reduction of a band of constructors into a mediation of their range.

Documentation

type AnRMNUni m ts = AnRMN m (Uni ts)

class dcs ::: (All IsDC) => Reduce m dcs where

reduce embeds a mediated sum of constructors into a mediation of their range.

Methods

reduce :: AnRMNUni m dcs -> Med m (LeftmostRange dcs)

Instances

ReduceDC m dc => Reduce m (N dc)

(Med m (LeftmostRange ts) ~ Med m (LeftmostRange us), Reduce m ts, Reduce m us) => Reduce m (:+ ts us)

class DC dc => ReduceDC m dc where

reduceDC embeds a mediated constructor into a mediation of its range.

Methods

reduceDC :: RMN m dc -> Med m (Range dc)