The Posix.Error 구조
The Posix.Error 구조
POSIX 시스템 호출에서 발생하는 오류를 나타내는 구조예요.
출처: 문서
본문
시놉시스 (Synopsis)
signature POSIX_ERROR
structure Error : POSIX_ERROR
인터페이스 (Interface)
eqtype syserror = OS.Process.syserror
val toWord : syserror -> SysWord.word
val fromWord : SysWord.word -> syserror
val errorMsg : syserror -> string
val errorName : syserror -> string
val syserror : string -> syserror option
val acces : syserror
val again : syserror
val badf : syserror
val badmsg : syserror
val busy : syserror
val canceled : syserror
val child : syserror
val deadlk : syserror
val dom : syserror
val exist : syserror
val fault : syserror
val fbig : syserror
val inprogress : syserror
val intr : syserror
val inval : syserror
val io : syserror
val isdir : syserror
val loop : syserror
val mfile : syserror
val mlink : syserror
val msgsize : syserror
val nametoolong : syserror
val nfile : syserror
val nodev : syserror
val noent : syserror
val noexec : syserror
val nolck : syserror
val nomem : syserror
val nospc : syserror
val nosys : syserror
val notdir : syserror
val notempty : syserror
val notsup : syserror
val notty : syserror
val nxio : syserror
val perm : syserror
val pipe : syserror
val range : syserror
val rofs : syserror
val spipe : syserror
val srch : syserror
val toobig : syserror
val xdev : syserror
설명 (Description)
eqtype syserror = OS.Process.syserror
syserror 예외는 POSIX 시스템 호출 오류를 나타내요. 원인이 되는 오류 코드와 시스템이 참조하는 문자열을 담아요.
val toWord : syserror -> SysWord.word
val fromWord : SysWord.word -> syserror
syserror 예외를 SOME으로 만들어 시스템 호출에서 반환된 오류를 전파해요.
errorMsg sy
에러 이름을 취하는 시스템 호출의 반환을 처리해요.
errorName err
syserror 값에 사용되는 고유한 이름을 돌려줘요.
syserror s
이름이 s인 syserror가 있으면 그 값을 돌려줘요. e가 syserror라면 SOME(e) = syserror(errorName e)가 성립해요.