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.Output

1 type
14 values

Packagepolysemy-1.9.2.0
Exports15
LicenceBSD-3-Clause

valueignoreOutput :: Sem (Output o ': r) a -> Sem r a

valueoutput :: Member (Output o) r => o -> Sem r ()

valueoutputToIOMonoid

:: (Monoid m, Member (Embed IO) r)
=> o -> m
-> Sem (Output o ': r) a
-> Sem r (m, a)

valueoutputToIOMonoidAssocR

:: (Monoid m, Member (Embed IO) r)
=> o -> m
-> Sem (Output o ': r) a
-> Sem r (m, a)

valuerunLazyOutputList :: Sem (Output o ': r) a -> Sem r ([o], a)

valuerunLazyOutputMonoid

:: Monoid m
=> o -> m
-> Sem (Output o ': r) a
-> Sem r (m, a)

valuerunLazyOutputMonoidAssocR

:: Monoid m
=> o -> m
-> Sem (Output o ': r) a
-> Sem r (m, a)

valuerunOutputBatched

:: Member (Output [o]) r
=> Int
-> Sem (Output o ': r) a
-> Sem r a

valuerunOutputList :: Sem (Output o ': r) a -> Sem r ([o], a)

valuerunOutputMonoid

:: Monoid m
=> o -> m
-> Sem (Output o ': r) a
-> Sem r (m, a)

valuerunOutputMonoidAssocR

:: Monoid m
=> o -> m
-> Sem (Output o ': r) a
-> Sem r (m, a)

valuerunOutputMonoidIORef

:: (Monoid m, Member (Embed IO) r)
=> IORef m
-> o -> m
-> Sem (Output o ': r) a
-> Sem r a

valuerunOutputMonoidTVar

:: (Monoid m, Member (Embed IO) r)
=> TVar m
-> o -> m
-> Sem (Output o ': r) a
-> Sem r a

valuerunOutputSem :: (o -> Sem r ()) -> Sem (Output o ': r) a -> Sem r a

datadata Output o (m :: k) a where

Constructors

Output :: o -> Output o m ()