Disco.Effects.Input

Utility functions for input effect.

Documentation

module Polysemy.Input

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

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

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