Data.Effect.Input

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

Realizes input of values from the external world.

Documentation

data Input i a where

A general effect representing input of values from the external world.

Constructors

Input :: forall i. Input i i

Retrieve a value input from the external world.

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

Retrieve a value input from the external world.

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

Retrieve a value input from the external world.

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

Retrieve a value input from the external world.

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

Returns the value obtained by transforming the input value using the given function.