Control.Effect.Class.Output

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

Documentation

class Output o f where

Methods

output :: o -> f ()

Instances

SendIns (OutputI o) f => Output o (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Output

Methods

output :: o -> EffectsVia EffectDataHandler f ()

data OutputI (o :: Type) (a :: Type) where

Constructors

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

type OutputS o = LiftIns (OutputI o)

pattern OutputS :: () => a_6989586621679054565 ~ () => o -> LiftIns (OutputI o) f a_6989586621679054565