Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Output o m a where
- output :: forall o r. MemberWithError (Output o) r => o -> Sem r ()
- runOutputAsList :: forall o r a. Sem (Output o ': r) a -> Sem r ([o], a)
- runFoldMapOutput :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o ': r) a -> Sem r (m, a)
- runIgnoringOutput :: Sem (Output o ': r) a -> Sem r a
- runBatchOutput :: forall o r a. Int -> Sem (Output o ': r) a -> Sem (Output [o] ': r) a
Effect
data Output o m a where Source #
An effect capable of sending messages. Useful for streaming output and for logging.
Instances
type DefiningModule (Output :: Type -> k -> Type -> Type) Source # | |
Defined in Polysemy.Output |
Actions
Interpretations
runOutputAsList :: forall o r a. Sem (Output o ': r) a -> Sem r ([o], a) Source #
Run an Output
effect by transforming it into a list of its values.