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