polysemy-1.9.0.0: Higher-order, low-boilerplate free monads.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Internal.Bundle

Description

Synopsis

extendMembership :: forall r r' e. ElemOf e r -> ElemOf e (Append r r')
subsumeMembership :: forall r r' e. Members r r' => ElemOf e r -> ElemOf e r'

Documentation

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

Extend a membership proof's stack by arbitrary effects.

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

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