Data.Effect.Output

This module provides the Output effect, comes from Polysemy.Output in the polysemy package.

Documentation

data Output o a where

Constructors

Output :: forall o. o -> Output o ()

type LOutput o = LiftFOE (Output o)

pattern LOutput :: forall a o f. () => (a ~ (), ()) => o -> LiftFOE (Output o) f a

output :: SendFOE (Output o) f => o -> f ()

output' :: forall {k} (tag :: k) o f. SendFOE (Tag (Output o) tag) f => o -> f ()

output'' :: forall {k} (key :: k) o f. SendFOEBy key (Output o) f => o -> f ()