Data.Effect.Input

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

Documentation

data Input i a where

Constructors

Input :: forall i. Input i i

type LInput i = LiftFOE (Input i)

pattern LInput :: forall a i f. () => (a ~ i, ()) => LiftFOE (Input i) f a

input :: SendFOE (Input i) f => f i

input' :: forall {k} (tag :: k) i f. SendFOE (Tag (Input i) tag) f => f i

input'' :: forall {k} (key :: k) i f. SendFOEBy key (Input i) f => f i

inputs :: (Input i <: f, Functor f) => (i -> a) -> f a