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)
Maintainer[email protected]
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

Control.Effect.Class.Input

Description

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

Documentation

class Input i (f :: Type -> Type) where Source #

Methods

input :: f i Source #

Instances

Instances details
SendIns (InputI i) f => Input i (EffectsVia EffectDataHandler f) Source # 
Instance details

Defined in Control.Effect.Class.Input

Methods

input :: EffectsVia EffectDataHandler f i Source #

data InputI (i :: Type) (a :: Type) where Source #

Constructors

Input :: forall i. InputI i i 

type InputS i = LiftIns (InputI i) Source #

pattern InputS :: () => a_6989586621679055195 ~ i => LiftIns (InputI i) f a_6989586621679055195 Source #