@leanprover/infoview
    Preparing search index...

    Enumeration RpcErrorCode

    Index
    ContentModified InternalError InvalidParams InvalidRequest MethodNotFound ParseError RequestCancelled RpcNeedsReconnect ServerNotInitialized UnknownErrorCode WorkerCrashed WorkerExited
    ContentModified: -32801
    InternalError: -32603
    InvalidParams: -32602
    InvalidRequest: -32600
    MethodNotFound: -32601
    ParseError: -32700
    RequestCancelled: -32800
    RpcNeedsReconnect: -32900
    ServerNotInitialized: -32002
    UnknownErrorCode: -32001
    WorkerCrashed: -32902
    WorkerExited: -32901

    Settings
    Member Visibility

    On This Page
    Enumeration Members