polysemy-1.6.0.0: Higher-order, low-boilerplate free monads.
Safe HaskellNone
LanguageHaskell2010

Polysemy.Internal.Bundle

Documentation

extendMembership :: forall r r' e. ElemOf e r -> ElemOf e (Append r r') Source #

subsumeMembership :: forall r r' e. Members r r' => ElemOf e r -> ElemOf e r' Source #