Struct ResourceSchema 

pub struct ResourceSchema {
    pub name: &'static str,
    pub task_safe: bool,
    pub operations: &'static [OperationSchema],
}

One kind of host resource: a value the host owns and Cove only names.

ADR 0013 states the contract this carries. A handle is an identity, not state: the host keeps whatever a database.Connection really is, and Cove holds the name of it. So a resource declares three things and nothing else — what it is called, which operations it answers, and whether the name may cross a task boundary.

task_safe is the Language Card’s sentence applied to a host’s own types: “Host resources declare task-safety in their Host API schema.” A resource whose state the host keeps behind a lock says true, and its name then crosses like any other immutable value; one whose state belongs to the task that opened it says false, and the name is refused at the boundary with the same diagnostic a vector gets.

Fields

name: &'static str

The name Cove source writes after the module, such as Connection.

task_safe: bool

Whether a handle to this resource may cross a task boundary.

operations: &'static [OperationSchema]

The operations a handle answers, called as methods on it.

Implementations

impl ResourceSchema

pub fn operation(&self, name: &str) -> Option<&'static OperationSchema>

The operation name, if this resource has one.

Trait Implementations

impl Clone for ResourceSchema

fn clone(&self) -> ResourceSchema

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for ResourceSchema

impl Debug for ResourceSchema

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for ResourceSchema

impl PartialEq for ResourceSchema

fn eq(&self, other: &ResourceSchema) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ResourceSchema