readInputLine mit IO-String

Question

Ich möchte eine Eingabezeichenfolge mit einer benutzerdefinierten Eingabeaufforderung lesen, jedoch stammt die Eingabeaufforderungszeichenfolge aus unreinem Kontext, daher kann ich readInputLine nicht verwenden, wie es ist. Ich habe versucht, eine Funktion auf this answer

getLineIO :: MonadException m => IO String -> InputT m (Maybe String) 
getLineIO ios = do 
    s <- ios 
    res <- getInputLine s 
    lift res 

aber ich bekomme

einen Fehler

Couldn't match expected type ‘InputT m String’ 
       with actual type ‘IO String’ 
    Relevant bindings include 
     getLineIO :: IO String -> InputT m (Maybe String) 
     (bound at Main.hs:38:1) 
    In a stmt of a 'do' block: s <- ios 
    In the expression: 
     do { s <- ios; 
      return $ getInputLine s } 

Update-Basis zu implementieren: es wurde basierend arbeiten auf @ bheklilr der answer

getLineIO :: (MonadException m, MonadIO m) => IO String -> InputT m (Maybe String) 
getLineIO ios = do 
     s <- liftIO ios 
     getInputLine s 

Answer 1

Der Code

do 
    s <- ios 
    res <- getInputLine s 
    lift res 

Ruft die entzuckert in

ios >>= \s -> (getInputLine s >>= \res -> lift res) 

Wo

(>>=) :: Monad m => m a -> (a -> m b) -> m b 

Diese Art Unterschrift bedeutet, dass m überall die gleiche Monad Instanz sein muss. Sie haben es ios :: IO String und \s -> getInputLine s :: String -> InputT n (Maybe String) gegeben, aber m kann nicht sowohl IO als auch InputT n sein, daher der Compilerfehler.

Sie können einfach liftIO auf ios verwenden, sofern instance MonadIO m => MonadIO (InputT m) definiert ist, was es ist. So können Sie einfach tun

getLineIO :: (MonadException m) => IO String -> InputT m (Maybe String) 
getLineIO ios = do 
    s <- liftIO ios 
    res <- getInputLine s 
    lift res