Control.Eff.Interactive

Documentation

data Interaction a where

Constructors

PrintLine :: String -> Interaction ()

ReadLine :: (String -> a) -> Interaction a

Step :: Interaction ()

printLine :: (Member (Program Interaction) r, HasCallStack) => String -> Eff r ()

printStep :: (Member (Program Interaction) r, HasCallStack) => String -> Eff r ()

promptStep :: (Member (Program Interaction) r, HasCallStack) => String -> (String -> a) -> Eff r a

step :: (Member (Program Interaction) r, HasCallStack) => Eff r ()

class Interactive f where

Minimal complete definition

singleSteps

Methods

singleSteps :: (Member (Program Interaction) r, HasCallStack) => f a -> Eff r a

interactiveProgram :: (HasCallStack, Member (Program Interaction) r, Interactive f) => Eff (Program f ': r) a -> Eff r a

runInteractionIOE :: (SetMember Lift (Lift IO) r, HasCallStack) => Eff (Program Interaction ': r) a -> Eff r a

runInteractionIO :: Eff '[Program Interaction, Lift IO] a -> IO a