Control.Monad.Operational.Console

Documentation

data ConsoleI content a where

Constructors

GetI :: ConsoleI content content

PutI :: content -> ConsoleI content ()

get :: ProgramT (ConsoleI content) m content

put :: content -> ProgramT (ConsoleI content) m ()

getRetry :: Monad m => (content -> content) -> (content -> Maybe a) -> ProgramT (ConsoleI content) m a

interpretConsoleStringIO :: ConsoleI String a -> IO a

interpretConsoleTextIO :: ConsoleI Text a -> IO a

interpretConsoleLazyTextIO :: ConsoleI Text a -> IO a

interpretConsoleByteStringIO :: ConsoleI ByteString a -> IO a

interpretConsoleLazyByteStringIO :: ConsoleI ByteString a -> IO a