Disco.Effects.Input

Description

Utility functions for input effect.

Synopsis

module Polysemy.Input
inputToState :: forall s r a. Member (State s) r => Sem (Input s ': r) a -> Sem r a
mapInput :: forall s t r a. Member (Input s) r => (s -> t) -> Sem (Input t ': r) a -> Sem r a

Documentation

inputToState :: forall s r a. Member (State s) r => Sem (Input s ': r) a -> Sem r a Source #

Run an input effect in terms of an ambient state effect.

mapInput :: forall s t r a. Member (Input s) r => (s -> t) -> Sem (Input t ': r) a -> Sem r a Source #

Use a function to (contravariantly) transform the input value in an input effect.