Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Internal.Bundle

valueextendMembership :: ElemOf e r -> ElemOf e (Append r r')

Extend a membership proof's stack by arbitrary effects.

valuesubsumeMembership :: Members r r' => ElemOf e r -> ElemOf e r'

Transform a membership proof's stack by arbitrary effects using evidence from the context.