Control.Effect.Interpreter.Heftia.Input

Documentation

runInputEff :: forall i r eh fr u c. (Freer c fr, Union u, Applicative (Eff u fr eh r), HFunctor (u eh)) => Eff u fr eh r i -> Eff u fr eh (LInput i ': r) ~> Eff u fr eh r

runInputConst :: forall i r eh fr u c. (Freer c fr, Union u, Applicative (Eff u fr eh r), HFunctor (u eh)) => i -> Eff u fr eh (LInput i ': r) ~> Eff u fr eh r

runInputList :: forall i r fr u c. (Freer c fr, Union u, Applicative (Eff u fr '[] r), Monad (Eff u fr '[] (LState [i] ': r)), c (Eff u fr '[] r), c (StateT [i] (Eff u fr '[] r)), Member u (State [i]) (LState [i] ': r), HFunctor (u '[])) => [i] -> Eff u fr '[] (LInput (Maybe i) ': r) ~> Eff u fr '[] r