Idris2Doc : Node.Error

Node.Error

(source)
Definitions
data SystemErrorCode : Type
  Totality: total
  Visibility: public export
  Constructors:
  
EACCES : SystemErrorCode
  
EADDRINUSE : SystemErrorCode
  
ECONNREFUSED : SystemErrorCode
  
ECONNRESET : SystemErrorCode
  
EEXIST : SystemErrorCode
  
EISDIR : SystemErrorCode
  
EMFILE : SystemErrorCode
  
ENOENT : SystemErrorCode
  
ENOTDIR : SystemErrorCode
  
ENOTEMPTY : SystemErrorCode
  
ENOTFOUND : SystemErrorCode
  
EPERM : SystemErrorCode
  
EPIPE : SystemErrorCode
  
ETIMEDOUT : SystemErrorCode
  
OtherSystemErrorCode : String -> SystemErrorCode

  Hint: 
Eq SystemErrorCode
data Code : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ABORT_ERR : Code
  
ERR_AMBIGUOUS_ARGUMENT : Code
  
ERR_ARG_NOT_ITERABLE : Code
  
ERR_ASSERTION : Code
  
ERR_ASYNC_CALLBACK : Code
  
ERR_ASYNC_TYPE : Code
  
ERR_BROTLI_COMPRESSION_FAILED : Code
  
ERR_BROTLI_INVALID_PARAM : Code
  
ERR_BUFFER_CONTEXT_NOT_AVAILABLE : Code
  
ERR_BUFFER_OUT_OF_BOUNDS : Code
  
ERR_BUFFER_TOO_LARGE : Code
  
ERR_CANNOT_WATCH_SIGINT : Code
  
ERR_CHILD_CLOSED_BEFORE_REPLY : Code
  
ERR_CHILD_PROCESS_IPC_REQUIRED : Code
  
ERR_CHILD_PROCESS_STDIO_MAXBUFFER : Code
  
ERR_CLOSED_MESSAGE_PORT : Code
  
ERR_CONSOLE_WRITABLE_STREAM : Code
  
ERR_CONSTRUCT_CALL_INVALID : Code
  
ERR_CONSTRUCT_CALL_REQUIRED : Code
  
ERR_CONTEXT_NOT_INITIALIZED : Code
  
ERR_CPU_USAGE : Code
  
ERR_CRYPTO_CUSTOM_ENGINE_NOT_SUPPORTED : Code
  
ERR_CRYPTO_ECDH_INVALID_FORMAT : Code
  
ERR_CRYPTO_ECDH_INVALID_PUBLIC_KEY : Code
  
ERR_CRYPTO_ENGINE_UNKNOWN : Code
  
ERR_CRYPTO_FIPS_FORCED : Code
  
ERR_CRYPTO_FIPS_UNAVAILABLE : Code
  
ERR_CRYPTO_HASH_FINALIZED : Code
  
ERR_CRYPTO_HASH_UPDATE_FAILED : Code
  
ERR_CRYPTO_INCOMPATIBLE_KEY : Code
  
ERR_CRYPTO_INCOMPATIBLE_KEY_OPTIONS : Code
  
ERR_CRYPTO_INVALID_DIGEST : Code
  
ERR_CRYPTO_INVALID_KEY_OBJECT_TYPE : Code
  
ERR_CRYPTO_INVALID_STATE : Code
  
ERR_CRYPTO_PBKDF2_ERROR : Code
  
ERR_CRYPTO_SCRYPT_INVALID_PARAMETER : Code
  
ERR_CRYPTO_SCRYPT_NOT_SUPPORTED : Code
  
ERR_CRYPTO_SIGN_KEY_REQUIRED : Code
  
ERR_CRYPTO_TIMING_SAFE_EQUAL_LENGTH : Code
  
ERR_CRYPTO_UNKNOWN_CIPHER : Code
  
ERR_CRYPTO_UNKNOWN_DH_GROUP : Code
  
ERR_DEBUGGER_ERROR : Code
  
ERR_DEBUGGER_STARTUP_ERROR : Code
  
ERR_DIR_CLOSED : Code
  
ERR_DIR_CONCURRENT_OPERATION : Code
  
ERR_DNS_SET_SERVERS_FAILED : Code
  
ERR_DOMAIN_CALLBACK_NOT_AVAILABLE : Code
  
ERR_DOMAIN_CANNOT_SET_UNCAUGHT_EXCEPTION_CAPTURE : Code
  
ERR_ENCODING_INVALID_ENCODED_DATA : Code
  
ERR_ENCODING_NOT_SUPPORTED : Code
  
ERR_EVAL_ESM_CANNOT_PRINT : Code
  
ERR_EVENT_RECURSION : Code
  
ERR_EXECUTION_ENVIRONMENT_NOT_AVAILABLE : Code
  
ERR_FALSY_VALUE_REJECTION : Code
  
ERR_FEATURE_UNAVAILABLE_ON_PLATFORM : Code
  
ERR_FS_EISDIR : Code
  
ERR_FS_FILE_TOO_LARGE : Code
    
ERR_HTTP_HEADERS_SENT : Code
  
ERR_HTTP_INVALID_HEADER_VALUE : Code
  
ERR_HTTP_INVALID_STATUS_CODE : Code
  
ERR_HTTP_TRAILER_INVALID : Code
  
ERR_HTTP2_ALTSVC_INVALID_ORIGIN : Code
  
ERR_HTTP2_ALTSVC_LENGTH : Code
  
ERR_HTTP2_CONNECT_AUTHORITY : Code
  
ERR_HTTP2_CONNECT_PATH : Code
  
ERR_HTTP2_CONNECT_SCHEME : Code
  
ERR_HTTP2_ERROR : Code
  
ERR_HTTP2_GOAWAY_SESSION : Code
  
ERR_HTTP2_HEADER_SINGLE_VALUE : Code
  
ERR_HTTP2_HEADERS_AFTER_RESPOND : Code
  
ERR_HTTP2_HEADERS_SENT : Code
  
ERR_HTTP2_INFO_STATUS_NOT_ALLOWED : Code
  
ERR_HTTP2_INVALID_CONNECTION_HEADERS : Code
  
ERR_HTTP2_INVALID_HEADER_VALUE : Code
  
ERR_HTTP2_INVALID_INFO_STATUS : Code
  
ERR_HTTP2_INVALID_ORIGIN : Code
  
ERR_HTTP2_INVALID_PACKED_SETTINGS_LENGTH : Code
  
ERR_HTTP2_INVALID_PSEUDOHEADER : Code
  
ERR_HTTP2_INVALID_SESSION : Code
  
ERR_HTTP2_INVALID_SETTING_VALUE : Code
  
ERR_HTTP2_INVALID_STREAM : Code
  
ERR_HTTP2_MAX_PENDING_SETTINGS_ACK : Code
  
ERR_HTTP2_NESTED_PUSH : Code
  
ERR_HTTP2_NO_SOCKET_MANIPULATION : Code
  
ERR_HTTP2_ORIGIN_LENGTH : Code
  
ERR_HTTP2_OUT_OF_STREAMS : Code
  
ERR_HTTP2_PAYLOAD_FORBIDDEN : Code
  
ERR_HTTP2_PING_CANCEL : Code
  
ERR_HTTP2_PING_LENGTH : Code
  
ERR_HTTP2_PSEUDOHEADER_NOT_ALLOWED : Code
  
ERR_HTTP2_PUSH_DISABLED : Code
  
ERR_HTTP2_SEND_FILE : Code
  
ERR_HTTP2_SEND_FILE_NOSEEK : Code
  
ERR_HTTP2_SESSION_ERROR : Code
  
ERR_HTTP2_SETTINGS_CANCEL : Code
  
ERR_HTTP2_SOCKET_BOUND : Code
  
ERR_HTTP2_SOCKET_UNBOUND : Code
  
ERR_HTTP2_STATUS_101 : Code
  
ERR_HTTP2_STATUS_INVALID : Code
  
ERR_HTTP2_STREAM_CANCEL : Code
  
ERR_HTTP2_STREAM_ERROR : Code
  
ERR_HTTP2_STREAM_SELF_DEPENDENCY : Code
  
ERR_HTTP2_TRAILERS_ALREADY_SENT : Code
  
ERR_HTTP2_TRAILERS_NOT_READY : Code
  
ERR_HTTP2_UNSUPPORTED_PROTOCOL : Code
  
ERR_INCOMPATIBLE_OPTION_PAIR : Code
  
ERR_INPUT_TYPE_NOT_ALLOWED : Code
  
ERR_INSPECTOR_ALREADY_ACTIVATED : Code
  
ERR_INSPECTOR_ALREADY_CONNECTED : Code
  
ERR_INSPECTOR_CLOSED : Code
  
ERR_INSPECTOR_COMMAND : Code
  
ERR_INSPECTOR_NOT_ACTIVE : Code
  
ERR_INSPECTOR_NOT_AVAILABLE : Code
  
ERR_INSPECTOR_NOT_CONNECTED : Code
  
ERR_INSPECTOR_NOT_WORKER : Code
  
ERR_INTERNAL_ASSERTION : Code
  
ERR_INVALID_ADDRESS_FAMILY : Code
  
ERR_INVALID_ARG_TYPE : Code
  
ERR_INVALID_ARG_VALUE : Code
  
ERR_INVALID_ASYNC_ID : Code
  
ERR_INVALID_BUFFER_SIZE : Code
  
ERR_INVALID_CALLBACK : Code
  
ERR_INVALID_CHAR : Code
  
ERR_INVALID_CURSOR_POS : Code
  
ERR_INVALID_FD : Code
  
ERR_INVALID_FD_TYPE : Code
  
ERR_INVALID_FILE_URL_HOST : Code
  
ERR_INVALID_FILE_URL_PATH : Code
  
ERR_INVALID_HANDLE_TYPE : Code
  
ERR_INVALID_HTTP_TOKEN : Code
  
ERR_INVALID_IP_ADDRESS : Code
  
ERR_INVALID_MODULE_SPECIFIER : Code
  
ERR_INVALID_OPT_VALUE : Code
  
ERR_INVALID_OPT_VALUE_ENCODING : Code
  
ERR_INVALID_PACKAGE_CONFIG : Code
  
ERR_INVALID_PACKAGE_TARGET : Code
  
ERR_INVALID_PERFORMANCE_MARK : Code
  
ERR_INVALID_PROTOCOL : Code
  
ERR_INVALID_REPL_EVAL_CONFIG : Code
  
ERR_INVALID_REPL_INPUT : Code
  
ERR_INVALID_RETURN_PROPERTY : Code
  
ERR_INVALID_RETURN_PROPERTY_VALUE : Code
  
ERR_INVALID_RETURN_VALUE : Code
  
ERR_INVALID_SYNC_FORK_INPUT : Code
  
ERR_INVALID_THIS : Code
  
ERR_INVALID_TRANSFER_OBJECT : Code
  
ERR_INVALID_TUPLE : Code
  
ERR_INVALID_URI : Code
  
ERR_INVALID_URL : Code
  
ERR_INVALID_URL_SCHEME : Code
  
ERR_IPC_CHANNEL_CLOSED : Code
  
ERR_IPC_DISCONNECTED : Code
  
ERR_IPC_ONE_PIPE : Code
  
ERR_IPC_SYNC_FORK : Code
  
ERR_MANIFEST_ASSERT_INTEGRITY : Code
  
ERR_MANIFEST_DEPENDENCY_MISSING : Code
  
ERR_MANIFEST_INTEGRITY_MISMATCH : Code
  
ERR_MANIFEST_INVALID_RESOURCE_FIELD : Code
  
ERR_MANIFEST_PARSE_POLICY : Code
  
ERR_MANIFEST_TDZ : Code
  
ERR_MANIFEST_UNKNOWN_ONERROR : Code
  
ERR_MEMORY_ALLOCATION_FAILED : Code
  
ERR_MESSAGE_TARGET_CONTEXT_UNAVAILABLE : Code
  
ERR_METHOD_NOT_IMPLEMENTED : Code
  
ERR_MISSING_ARGS : Code
  
ERR_MISSING_MESSAGE_PORT_IN_TRANSFER_LIST : Code
  
ERR_MISSING_OPTION : Code
  
ERR_MISSING_PASSPHRASE : Code
  
ERR_MISSING_PLATFORM_FOR_WORKER : Code
  
ERR_MODULE_NOT_FOUND : Code
  
ERR_MULTIPLE_CALLBACK : Code
  
ERR_NAPI_CONS_FUNCTION : Code
  
ERR_NAPI_INVALID_DATAVIEW_ARGS : Code
  
ERR_NAPI_INVALID_TYPEDARRAY_ALIGNMENT : Code
  
ERR_NAPI_INVALID_TYPEDARRAY_LENGTH : Code
  
ERR_NAPI_TSFN_CALL_JS : Code
  
ERR_NAPI_TSFN_GET_UNDEFINED : Code
  
ERR_NAPI_TSFN_START_IDLE_LOOP : Code
  
ERR_NAPI_TSFN_STOP_IDLE_LOOP : Code
  
ERR_NO_CRYPTO : Code
  
ERR_NO_ICU : Code
  
ERR_NON_CONTEXT_AWARE_DISABLED : Code
  
ERR_OPERATION_FAILED : Code
  
ERR_OUT_OF_RANGE : Code
  
ERR_PACKAGE_IMPORT_NOT_DEFINED : Code
  
ERR_PACKAGE_PATH_NOT_EXPORTED : Code
  
ERR_PROTO_ACCESS : Code
  
ERR_REQUIRE_ESM : Code
  
ERR_SCRIPT_EXECUTION_INTERRUPTED : Code
  
ERR_SCRIPT_EXECUTION_TIMEOUT : Code
  
ERR_SERVER_ALREADY_LISTEN : Code
  
ERR_SERVER_NOT_RUNNING : Code
  
ERR_SOCKET_ALREADY_BOUND : Code
  
ERR_SOCKET_BAD_BUFFER_SIZE : Code
  
ERR_SOCKET_BAD_PORT : Code
  
ERR_SOCKET_BAD_TYPE : Code
  
ERR_SOCKET_BUFFER_SIZE : Code
  
ERR_SOCKET_CLOSED : Code
  
ERR_SOCKET_DGRAM_IS_CONNECTED : Code
  
ERR_SOCKET_DGRAM_NOT_CONNECTED : Code
  
ERR_SOCKET_DGRAM_NOT_RUNNING : Code
  
ERR_SRI_PARSE : Code
  
ERR_STREAM_ALREADY_FINISHED : Code
  
ERR_STREAM_CANNOT_PIPE : Code
  
ERR_STREAM_DESTROYED : Code
  
ERR_STREAM_NULL_VALUES : Code
  
ERR_STREAM_PREMATURE_CLOSE : Code
  
ERR_STREAM_PUSH_AFTER_EOF : Code
  
ERR_STREAM_UNSHIFT_AFTER_END_EVENT : Code
  
ERR_STREAM_WRAP : Code
  
ERR_STREAM_WRITE_AFTER_END : Code
  
ERR_STRING_TOO_LONG : Code
  
ERR_SYNTHETIC : Code
  
ERR_SYSTEM_ERROR : Code
  
ERR_TLS_CERT_ALTNAME_INVALID : Code
  
ERR_TLS_DH_PARAM_SIZE : Code
  
ERR_TLS_HANDSHAKE_TIMEOUT : Code
  
ERR_TLS_INVALID_CONTEXT : Code
  
ERR_TLS_INVALID_PROTOCOL_METHOD : Code
  
ERR_TLS_INVALID_PROTOCOL_VERSION : Code
  
ERR_TLS_INVALID_STATE : Code
  
ERR_TLS_PROTOCOL_VERSION_CONFLICT : Code
  
ERR_TLS_PSK_SET_IDENTIY_HINT_FAILED : Code
  
ERR_TLS_RENEGOTIATION_DISABLED : Code
  
ERR_TLS_REQUIRED_SERVER_NAME : Code
  
ERR_TLS_SESSION_ATTACK : Code
  
ERR_TLS_SNI_FROM_SERVER : Code
  
ERR_TRACE_EVENTS_CATEGORY_REQUIRED : Code
  
ERR_TRACE_EVENTS_UNAVAILABLE : Code
  
ERR_TRANSFORM_ALREADY_TRANSFORMING : Code
  
ERR_TRANSFORM_WITH_LENGTH_0 : Code
  
ERR_TTY_INIT_FAILED : Code
  
ERR_UNAVAILABLE_DURING_EXIT : Code
  
ERR_UNCAUGHT_EXCEPTION_CAPTURE_ALREADY_SET : Code
  
ERR_UNESCAPED_CHARACTERS : Code
  
ERR_UNHANDLED_ERROR : Code
  
ERR_UNKNOWN_BUILTIN_MODULE : Code
  
ERR_UNKNOWN_CREDENTIAL : Code
  
ERR_UNKNOWN_ENCODING : Code
  
ERR_UNKNOWN_FILE_EXTENSION : Code
  
ERR_UNKNOWN_MODULE_FORMAT : Code
  
ERR_UNKNOWN_SIGNAL : Code
  
ERR_UNSUPPORTED_DIR_IMPORT : Code
  
ERR_UNSUPPORTED_ESM_URL_SCHEME : Code
  
ERR_VALID_PERFORMANCE_ENTRY_TYPE : Code
  
ERR_VM_DYNAMIC_IMPORT_CALLBACK_MISSING : Code
  
ERR_VM_MODULE_ALREADY_LINKED : Code
  
ERR_VM_MODULE_CACHED_DATA_REJECTED : Code
  
ERR_VM_MODULE_CANNOT_CREATE_CACHED_DATA : Code
  
ERR_VM_MODULE_DIFFERENT_CONTEXT : Code
  
ERR_VM_MODULE_LINKING_ERRORED : Code
    
ERR_VM_MODULE_NOT_MODULE : Code
  
ERR_VM_MODULE_STATUS : Code
  
ERR_WASI_ALREADY_STARTED : Code
  
ERR_WASI_NOT_STARTED : Code
  
ERR_WORKER_INIT_FAILED : Code
  
ERR_WORKER_INVALID_EXEC_ARGV : Code
  
ERR_WORKER_NOT_RUNNING : Code
  
ERR_WORKER_OUT_OF_MEMORY : Code
  
ERR_WORKER_PATH : Code
  
ERR_WORKER_UNSERIALIZABLE_ERROR : Code
  
ERR_WORKER_UNSUPPORTED_EXTENSION : Code
  
ERR_WORKER_UNSUPPORTED_OPERATION : Code
  
ERR_ZLIB_INITIALIZATION_FAILED : Code
  
HPE_HEADER_OVERFLOW : Code
  
HPE_UNEXPECTED_CONTENT_LENGTH : Code
  
MODULE_NOT_FOUND : Code
  
SystemError : SystemErrorCode -> Code
  
OtherCode : String -> Code

  Hint: 
Eq Code
unsafeErrorMessage : e -> String
unsafeErrorStack : e -> String
unsafeErrorCode : e -> Code
  Visibility: export
interface ErrorClass : Type -> Type
  Parameters: e
Methods:
  
.message : e -> String
  
.stack : e -> String
  
.code : e -> Code

Implementation: 
ErrorClass Error
.message : ErrorClass e => e -> String
  Visibility: public export
.stack : ErrorClass e => e -> String
  Visibility: public export
.code : ErrorClass e => e -> Code
  Visibility: public export
data Error : Type
  Totality: total
  Visibility: export
  Hint: 
ErrorClass Error