polysemy-check-0.4.0.0: QuickCheck for Polysemy
Safe HaskellNone
LanguageHaskell2010

Polysemy.Internal.Union.Inject

Synopsis

Documentation

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

Morally:

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

class Inject effs r Source #

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

Minimal complete definition

deject

Instances

Instances details
Inject r r Source # 
Instance details

Defined in Polysemy.Internal.Union.Inject

Methods

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

Inject ('[] :: [Effect]) r Source # 
Instance details

Defined in Polysemy.Internal.Union.Inject

Methods

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

(Member eff r, Inject effs r) => Inject (eff ': effs) r Source # 
Instance details

Defined in Polysemy.Internal.Union.Inject

Methods

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