classy-effects-0.1.0.1: An interface for a handler-independent, typeclass-based effect system.
Copyright(c) 2023 Yamada Ryo
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

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

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 () 

type OutputS o = LiftIns (OutputI o) Source #

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