License	See the header comment of the source file of this module.
Maintainer	hisaket@outlook.jp
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Polysemy.Scoped.Path.Internal

Description

Synopsis

bundle :: Sem es a -> Sem (Bundle es ': r) a
subsumeBundle_id :: Sem (Bundle r ': r) a -> Sem r a
subsumeBundleUsing :: (forall e. ElemOf e es -> ElemOf e r) -> Sem (Bundle es ': r) a -> Sem r a
unbundle :: Bundle '[e] m a -> e m a
weakenBundle :: (Members es r, KnownList es) => Bundle es m a -> Bundle r m a
weakenMembership :: (Members es r, KnownList es) => ElemOf e es -> ElemOf e r
weakenMembership' :: Members es r => SList es -> ElemOf e es -> ElemOf e r
data ScopedP path resource effect m a where
- Run :: forall path resource effect m a. resource -> effect m a -> ScopedP path resource effect m a
- InScope :: forall path resource effect m a. path -> (resource -> m a) -> ScopedP path resource effect m a
interpretH' :: (forall x. Weaving e (Sem (e ': r)) x -> Sem r x) -> InterpreterFor e r

Documentation

bundle :: Sem es a -> Sem (Bundle es ': r) a Source #

Bundle all effects of Sem into a single Bundle.

subsumeBundleUsing :: (forall e. ElemOf e es -> ElemOf e r) -> Sem (Bundle es ': r) a -> Sem r a Source #

unbundle :: Bundle '[e] m a -> e m a Source #

data ScopedP path resource effect m a where Source #

Constructors

Run :: forall path resource effect m a. resource -> effect m a -> ScopedP path resource effect m a
InScope :: forall path resource effect m a. path -> (resource -> m a) -> ScopedP path resource effect m a

interpretH' :: (forall x. Weaving e (Sem (e ': r)) x -> Sem r x) -> InterpreterFor e r Source #