Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulepolysemy-1.9.2.0

Polysemy.Embed

1 type
2 values

Packagepolysemy-1.9.2.0
Exports3
LicenceBSD-3-Clause

valuerunEmbedded

:: Member (Embed m2) r
=> forall x. m1 x -> m2 x
-> Sem (Embed m1 ': r) a
-> Sem r a

valueembed :: Member (Embed m) r => m a -> Sem r a

newtypenewtype Embed (m :: Type -> Type) (z :: Type -> Type) a where

Constructors

Embed :: m a -> Embed m z a
- unEmbed :: m a