Dep.Injects

Inject values into accumulators.

General-purpose injector.

class Injects r_ (m :: Type -> Type) (accum :: Type) | accum -> m where

Mirror image of Has.

Can be useful with AccumConstructor to register particular monoidal values into a "wider" monoidal value which is accumulated accross all components.

Methods

inject :: r_ m -> accum

Given a value parameterized by the accumulator's effect monad m, produce an accumulator.

Instances

Monoid a => Injects r_ m (a, r_ m)

Defined in Dep.Injects

Methods

inject :: r_ m -> (a, r_ m)

Monoid b => Injects r_ m (r_ m, b)

Defined in Dep.Injects

Methods

inject :: r_ m -> (r_ m, b)

(Monoid a, Monoid b) => Injects r_ m (a, b, r_ m)

Defined in Dep.Injects

Methods

inject :: r_ m -> (a, b, r_ m)

(Monoid a, Monoid c) => Injects r_ m (a, r_ m, c)

Defined in Dep.Injects

Methods

inject :: r_ m -> (a, r_ m, c)

(Monoid b, Monoid c) => Injects r_ m (r_ m, b, c)

Defined in Dep.Injects

Methods

inject :: r_ m -> (r_ m, b, c)

(Monoid a, Monoid b, Monoid c) => Injects r_ m (a, b, c, r_ m)

Defined in Dep.Injects

Methods

inject :: r_ m -> (a, b, c, r_ m)

(Monoid a, Monoid b, Monoid d) => Injects r_ m (a, b, r_ m, d)

Defined in Dep.Injects

Methods

inject :: r_ m -> (a, b, r_ m, d)

(Monoid a, Monoid c, Monoid d) => Injects r_ m (a, r_ m, c, d)

Defined in Dep.Injects

Methods

inject :: r_ m -> (a, r_ m, c, d)

(Monoid b, Monoid c, Monoid d) => Injects r_ m (r_ m, b, c, d)

Defined in Dep.Injects

Methods

inject :: r_ m -> (r_ m, b, c, d)

type family InjectsAll rs_ m e where ...

Mirror image of HasAll.

Equations

InjectsAll '[] m e = ()

InjectsAll (r_ ': rs_) m e = (Injects r_ m e, InjectsAll rs_ m e)