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 :: o -> Output o ()

type LOutput o = LiftIns (Output o)

pattern LOutput :: () => (a ~ (), ()) => o -> LiftIns (Output o) f a

output'' :: forall key (o :: Type) f. SendInsBy key (Output o) f => o -> f ()

output' :: forall tag (o :: Type) f. SendIns (Tag (Output o) tag) f => o -> f ()

output :: forall (o :: Type) f. SendIns (Output o) f => o -> f ()