Control.Effect.Class.Output

Description

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

Documentation

class Output o f where Source #

Methods

output :: o -> f () Source #

Instances details

SendIns (OutputI o) f => Output o (EffectsVia EffectDataHandler f) Source #
Instance details Defined in Control.Effect.Class.Output Methods output :: o -> EffectsVia EffectDataHandler f () Source #

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

Constructors

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

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