Data.Effect.Output

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

Realizes output of values to the external world.

Documentation

data Output o a where

A general effect representing output of values to the external world.

Constructors

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

Output a value to the external world.

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 a value to the external world.

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

Output a value to the external world.

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

Output a value to the external world.