Data.Effect.Input

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

Documentation

data Input i (a :: Type) where

Constructors

Input :: Input i i

type LInput i = LiftIns (Input i)

pattern LInput :: () => (a ~ i, ()) => LiftIns (Input i) f a

input'' :: forall key (i :: Type) f. SendInsBy key (Input i) f => f i

input' :: forall tag (i :: Type) f. SendIns (Tag (Input i) tag) f => f i

input :: forall (i :: Type) f. SendIns (Input i) f => f i

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