Haskell: łowienie niski poziom wyjątki IO

Question

Według the System.Directory haddock, renameFile może zakończyć się niepowodzeniem z kilku powodów: Wystąpił

• HardwareFault fizyczna I/O error. [EIO]
• InvalidArgument Każdy argument operand nie jest prawidłową nazwą. [ENAMETOOLONG, ELOOP]
• isDoesNotExistError/NoSuchThing oryginalnego pliku nie istnieje, lub nie ma ścieżki do celu. [ENOENT, ENOTDIR]
• isPermissionError/PermissionDenied Proces ma niewystarczające uprawnienia do wykonywania tej operacji. [EROFS, EACCES, EPERM]
• ResourceExhausted Niewystarczające zasoby są dostępne, aby wykonać tę operację. [, ENOSPC, ENOMEM EMLINK EDQUOT,]
• UnsatisfiedConstraints ograniczenia zależne od implementacji nie są spełnione. [EBUSY]
• UnsupportedOperation Implementacja nie obsługuje zmiany nazwy w tej sytuacji. [EXDEV]
• InappropriateType Każda ścieżka odnosi się do istniejącego katalogu. [ENOTDIR, EISDIR, EINVAL, EEXIST, ENOTEMPTY]

Kilka z nich (isPermissionError, isDoesNotExistError) mają funkcje testowania, ale inni (w tym UnsupportedOperation, w którym jestem zainteresowany) nie wydaje się odpowiadać byle co. Co to jest UnsupportedOperation i jak mogę go przetestować?

Bardziej ogólnie, w jaki sposób powinny przejść o ustaleniu co coś w tym jest. Nie widzę nigdzie w kodzie źródłowym, w którym został podniesiony, więc domyślam się, że jest to opakowanie o niższym poziomie błędu - ale jak mam sobie z tym poradzić?

Answer 1

UnsupportedOperation jest ghc-specific. Więc musisz zaimportować GHC.IO.Exception, zawiera wszystko, czego potrzebujesz, aby sprawdzić typ wyjątku.

Oto przykład:

import Control.Exception 
import GHC.IO.Exception 

main :: IO() 
main = do 
    action `catch` (\(IOError _ UnsupportedOperation _ _ _ _) -> print "UnsupportedOperation") 
    where 
    action = throw $ IOError Nothing UnsupportedOperation "loc" "desc" Nothing Nothing