System.IO.Error.Lens
location
description
handle
fileName
errno
errorType
_AlreadyExists
_NoSuchThing
_ResourceBusy
_ResourceExhausted
_EOF
_IllegalOperation
_PermissionDenied
_UserError
_UnsatisfiedConstraints
_SystemError
_ProtocolError
_OtherError
_InvalidArgument
_InappropriateType
_HardwareFault
_UnsupportedOperation
_TimeExpired
_ResourceVanished
_Interrupted