Data.Yoko.Reduce

A t-algebra reduces a disbanded t into a mediation of t.

Documentation

type Alg m t = Disbanded m t -> Med m t

A t-algebra reduces a disbanded t to the same mediation of t.

newtype Algebra m t

Constructors

Alg (Alg m t)

Instances

Wrapper (Algebra m)

data AlgebraU m t where

Constructors

AlgebraU :: (DT t, AlgebraDT m t) => AlgebraU m t

Instances

(DT t, AlgebraDT m t) => t ::: (AlgebraU m)

algebraFin :: (AlgebraUni m (Inhabitants u), Finite u) => AnRMN m u -> Med m (LeftmostRange (Inhabitants u))

class DT t => AlgebraDT m t where

algebraDT determines the algebra from the type and mediator.

Methods

algebraDT :: Disbanded m t -> Med m t

class AlgebraUni m dcs

algebraUni determines the "algebra" from the type-sum and mediator.

Instances

AlgebraDC m dc => AlgebraUni m (N dc)

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

class DC dc => AlgebraDC m dc where

algebraDC determines the "alegbra" from the constructor type and mediator.

Methods

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