Enum BuiltinType 

pub enum BuiltinType {
    Unit,
    Bool,
    Int,
    Float,
    String,
    Error,
    Duration,
    Array(&'static BuiltinType),
    Vector(&'static BuiltinType),
    Set(&'static BuiltinType),
    Map(&'static BuiltinType, &'static BuiltinType),
    MapEntry(&'static BuiltinType, &'static BuiltinType),
    Option(&'static BuiltinType),
    Result(&'static BuiltinType, &'static BuiltinType),
    Task(&'static BuiltinType),
    Shared(&'static BuiltinType),
    Fn(&'static [BuiltinType], &'static BuiltinType),
    Param(&'static str),
    SelfType,
}

A type in a builtin’s signature, written in Cove’s source vocabulary.

Like HostType this is a small enum rather than cove_syntax::ast::Type, because a builtin has no source to point a span at, and like HostType its fmt::Display produces the form the type would be written in Cove.

Variants

Unit

Unit, what a method that produces nothing answers.

Bool

Bool.

Int

Int, a signed 64-bit integer.

Float

Float, a 64-bit binary floating-point number.

String

String.

Error

Error, the builtin error struct.

Duration

Duration, a signed count of nanoseconds.

Array(&'static BuiltinType)

Array<T>, the fixed-length immutable sequence.

Vector(&'static BuiltinType)

Vector<T>, the growable one.

Set(&'static BuiltinType)

Set<T>.

Map(&'static BuiltinType, &'static BuiltinType)

Map<K, V>.

MapEntry(&'static BuiltinType, &'static BuiltinType)

MapEntry<K, V>, the one key/value pair Map.of collects.

Option(&'static BuiltinType)

Option<T>.

Result(&'static BuiltinType, &'static BuiltinType)

Result<T, E>.

Task(&'static BuiltinType)

Task<T>, the handle scope.spawn { ... } hands back.

Shared(&'static BuiltinType)

Shared<T>, the synchronized value Shared(...) wraps one in.

Fn(&'static [BuiltinType], &'static BuiltinType)

fn(A, B) -> R: what a builtin that takes a callback declares, such as Shared<T>.lock or Scope.spawn.

Param(&'static str)

A type parameter, by name.

It is bound either by the receiver — the T of the Array<T> a method was called on — or by the signature itself, as Vector.of(items: T...) binds one. Which of the two a name is comes from where it is declared: BuiltinSchema::parameters for the receiver’s, MethodSchema::generics for the signature’s.

SelfType

The receiver’s own type, written Self.

This is what snapshot answers, and it is one of the reasons a builtin’s signature cannot be written in the host vocabulary: an immutable builtin snapshots to itself, so its result is not a type at all until there is a receiver to read it off.

Trait Implementations

impl Clone for BuiltinType

fn clone(&self) -> BuiltinType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BuiltinType

impl Debug for BuiltinType

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

Formats the value using the given formatter.

impl Display for BuiltinType

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

Formats the value using the given formatter.

impl Eq for BuiltinType

impl PartialEq for BuiltinType

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