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 correspondingname
already exists. -
UnknownContext(name: String)
Error thrown in
get_context
. Context with the correspondingname
does not exists.