Wie kann man einen Aufruf der Fehlerfunktion abfangen (und ignorieren)?

Question

Ich bin überrascht, dass ich nirgends eine Antwort darauf finden konnte.

Ich schreibe ein Roguelike und ich benutze die Ncurses-Bibliothek von Hackage, die ein ziemlich guter Wrapper rund um die Ncurses-Bibliothek ist. Nun hat ncurses diese Eigenart, wenn Sie versuchen, das Zeichen unten rechts zu schreiben, dann versucht es, den Cursor zum nächsten Zeichen zu bewegen, dann scheitert es, weil es nirgendwo verschoben werden kann. Es gibt einen Fehlerwert zurück, den Sie nur ignorieren können.

Mein Problem ist, dass der haskell ncurses Bibliotheksschreiber pflichtbewusst nach Fehlern bei allen Aufrufen sucht, und wenn es einen gibt, ruft er: error "drawText: etc etc.".

In anderen Sprachen, wie C oder Python, um dies zu umgehen, sind Sie gezwungen, den Fehler zu ignorieren oder die Ausnahme zu fangen und zu ignorieren, aber für das Leben von mir kann ich nicht herausfinden, wie es in Haskell zu tun. Ist die Fehlerfunktion nicht wiederherstellbar?

Ich werde die Bibliothek lokal ändern, um nicht auf Fehler auf dieser Funktion zu prüfen, wenn ich muss, aber ich hasse es, das zu tun. Ich bin auch offen für jede Problemumgehung, die es mir erlauben würde, das letzte Zeichen zu zeichnen, ohne den Cursor zu bewegen, aber ich glaube nicht, dass das möglich ist.

Answer 1

error soll als beobachtbare als Endlosschleife sein. Sie können nur error in IO fangen, was wie "yeah you can, wenn Sie magic wissen" ist. Aber aus dem wirklich schönen Teil von Haskell, reinem Code, ist es nicht behebbar, und daher wird dringend empfohlen, nicht in Ihrem Code zu verwenden, nur so viel wie Sie jemals eine Endlosschleife als Fehlercode verwenden würden.

ncurses wird unhöflich und macht Sie Magie, um es zu korrigieren. Ich würde sagen, unsafePerformIO wäre gerechtfertigt, um es aufzuräumen. Abgesehen davon ist dies weitgehend dasselbe wie die Antwort von Paulus.

import qualified Control.Exception as Exc 

{-# NOINLINE unsafeCleanup #-} 
unsafeCleanup :: a -> Maybe a 
unsafeCleanup x = unsafePerformIO $ Exc.catch (x `seq` return (Just x)) handler 
    where 
    handler exc = return Nothing `const` (exc :: Exc.ErrorCall) 

wickeln Dann unsafeCleanup um einen Wert, der auf einen Fehler bewerten wäre es in ein Maybe einzuschalten.

Answer 2

Sie können dies unter Verwendung catch von Control.Exception tun. Beachten Sie jedoch, dass Sie dafür in der IO Monade sein müssen.

import qualified Control.Exception as Exc 

divide :: Float -> Float -> Float 
divide x 0 = error "Division by 0." 
divide x y = x/y 

main :: IO() 
main = Exc.catch (print $ divide 5 0) handler 
    where 
     handler :: Exc.ErrorCall -> IO() 
     handler _ = putStrLn $ "You divided by 0!"