redraw/error

Types

Main error type. Currently, only used in conjuction with Context functions.

pub type Error {
  ExistingContext(name: String)
  UnknownContext(name: String)
}

Constructors

  • ExistingContext(name: String)

    Error thrown in create_context_. Context with the corresponding name already exists.

  • UnknownContext(name: String)

    Error thrown in get_context. Context with the corresponding name does not exists.

Search Document