Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Bundle

1 type
4 values

Packagepolysemy-1.9.2.0
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause
SourceBundle.hs

Effect

1 declaration

datadata Bundle (r :: [k -> k1 -> Type]) (m :: k) (a :: k1) where

An effect for collecting multiple effects into one effect.

Useful for effect newtypes -- effects defined through creating a newtype over an existing effect, and then defining actions and interpretations on the newtype by using rewrite and transform.

By making a newtype of Bundle, it's possible to wrap multiple effects in one newtype.

Constructors

Bundle :: ElemOf e r -> e m a -> Bundle r m a

Actions

2 declarations

valuesendBundle

:: (Member e r', Member (Bundle r') r)
=> Sem (e ': r) a
-> Sem r a

Send uses of an effect to a Bundle containing that effect.

valueinjBundle :: Member e r => e m a -> Bundle r m a

Injects an effect into a Bundle. Useful together with transform.

Interpretations

2 declarations

valuerunBundle :: KnownList r' => Sem (Bundle r' ': r) a -> Sem (Append r' r) a

Run a Bundle r by prepending r to the effect stack.

valuesubsumeBundle :: Members r' r => Sem (Bundle r' ': r) a -> Sem r a

Run a Bundle r if the effect stack contains all effects of r.

Miscellaneous

0 declarations