Struct FreeBuiltinSchema 

pub struct FreeBuiltinSchema {
    pub name: &'static str,
    pub kind: FreeBuiltinKind,
    pub generics: &'static [&'static str],
    pub params: &'static [ParamSchema],
    pub result: BuiltinType,
}

One builtin that is called on nothing.

A BuiltinSchema is keyed by a receiver, and these have none: Ok(1) and assert(true) are written bare, like a declared function and unlike items.length() or Vector.of(1). Straining the receiver-keyed table to hold them would have meant inventing a receiver they do not have, so they have a table of their own, and it is close to the plainest thing that lets both ends stop restating each other: a name, which kind it is, and the parameters it takes.

The result is here too, because the checker reads it in both directions. A constructor’s result is generic — Ok(value: T) -> Result<T, E> — and the type a call site expects is what settles T and E, so the one declaration that says what Ok produces is also the one that says what its payload must be. That is why this carries a signature rather than only an arity: the arity is what the runtime needs, and the signature is what stops the checker from writing the same five names out again to say what each of them makes.

Fields

name: &'static str

The name Cove source calls, such as Ok.

kind: FreeBuiltinKind

Whether this builds a value or checks one.

generics: &'static [&'static str]

The type parameters this signature binds.

Every type parameter a free builtin names is one it binds itself: there is no receiver to read one off. A call site settles them from the type it expects, and from the arguments where it expects nothing in particular.

params: &'static [ParamSchema]

Parameters in declaration order, labelled as a diagnostic names them.

result: BuiltinType

The type the call produces.

Implementations

impl FreeBuiltinSchema

pub fn arity(&self) -> usize

How many arguments a call must supply.

pub fn signature(&self) -> String

The signature, in the form it would be written in Cove source: assertEqual(actual: T, expected: T) -> Result<Unit, Error>.

Trait Implementations

impl Clone for FreeBuiltinSchema

fn clone(&self) -> FreeBuiltinSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FreeBuiltinSchema

impl Debug for FreeBuiltinSchema

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

Formats the value using the given formatter.

impl Eq for FreeBuiltinSchema

impl PartialEq for FreeBuiltinSchema

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