Struct CaseSchema 

pub struct CaseSchema {
    pub name: &'static str,
    pub payload: &'static [BuiltinType],
}

One case of a builtin enum.

A case is what a builtin enum is made of, the way a FieldSchema is what a builtin struct is made of, and the payload is written in the receiver’s own type parameters: Some carries a T and Err carries an E. So a pattern reads its binding’s type off the scrutinee exactly as a method reads its result off its receiver, and there is one description of what Ok carries rather than one on each side of the toolchain.

This is TypeSchema::cases in the builtin vocabulary. A host’s enum cases are bare names, because a boundary hands over data it has already made; a builtin’s carry a payload the language itself binds.

Fields

name: &'static str

The name Cove source writes in a pattern or a call, such as Ok.

payload: &'static [BuiltinType]

What the case carries, in order.

Empty for a case that carries nothing, which is None and only None: it is the one builtin case a program writes as a bare name rather than as a call.

Implementations

impl CaseSchema

pub fn signature(&self) -> String

The case, in the form a declaration would write it: Ok(T), or None for a case that carries nothing.

pub fn wildcard_pattern(&self) -> String

The case as a pattern that binds nothing: Ok(_), or None for a case that carries nothing.

This is how a diagnostic points inside a value: a host that declares Result<String, Error> and hands back an Ok(1) is told the mismatch is inside Ok(_).

Trait Implementations

impl Clone for CaseSchema

fn clone(&self) -> CaseSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CaseSchema

impl Debug for CaseSchema

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

Formats the value using the given formatter.

impl Eq for CaseSchema

impl PartialEq for CaseSchema

fn eq(&self, other: &CaseSchema) -> 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 CaseSchema