Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
data Interaction a where Source #
PrintLine :: String -> Interaction () | |
ReadLine :: (String -> a) -> Interaction a | |
Step :: Interaction () |
printLine :: (Member (Program Interaction) r, HasCallStack) => String -> Eff r () Source #
printStep :: (Member (Program Interaction) r, HasCallStack) => String -> Eff r () Source #
promptStep :: (Member (Program Interaction) r, HasCallStack) => String -> (String -> a) -> Eff r a Source #
step :: (Member (Program Interaction) r, HasCallStack) => Eff r () Source #
class Interactive f where Source #
singleSteps :: (Member (Program Interaction) r, HasCallStack) => f a -> Eff r a Source #
interactiveProgram :: (HasCallStack, Member (Program Interaction) r, Interactive f) => Eff (Program f ': r) a -> Eff r a Source #
runInteractionIOE :: (SetMember Lift (Lift IO) r, HasCallStack) => Eff (Program Interaction ': r) a -> Eff r a Source #
runInteractionIO :: Eff '[Program Interaction, Lift IO] a -> IO a Source #