Polysemy.Internal.Union.Inject

inject :: Inject effs r => Sem effs a -> Sem r a Source #

Morally:

inject :: Members effs r => Sem effs a -> Sem r a

inject

Members

Sem

class Inject effs r Source #

Helper class for munging the Union so that we can implement inject.

Union

Minimal complete definition

deject

Defined in Polysemy.Internal.Union.Inject

Methods

deject :: Union r (Sem r) a -> Union r (Sem r) a

deject :: Union '[] (Sem r) a -> Union r (Sem r) a

deject :: Union (eff ': effs) (Sem r) a -> Union r (Sem r) a