Enum candid::types::internal::Type

pub enum Type {
    Null,
    Bool,
    Nat,
    Int,
    Nat8,
    Nat16,
    Nat32,
    Nat64,
    Int8,
    Int16,
    Int32,
    Int64,
    Float32,
    Float64,
    Text,
    Reserved,
    Empty,
    Knot(TypeId),
    Var(String),
    Unknown,
    Opt(Box<Type>),
    Vec(Box<Type>),
    Record(Vec<Field>),
    Variant(Vec<Field>),
    Func(Function),
    Service(Vec<(String, Type)>),
    Class(Vec<Type>, Box<Type>),
    Principal,
}

Variants

Null

Bool

Nat

Int

Nat8

Nat16

Nat32

Nat64

Int8

Int16

Int32

Int64

Float32

Float64

Text

Reserved

Empty

Knot(TypeId)

Tuple Fields of Knot

0: TypeId

Var(String)

Tuple Fields of Var

0: String

Unknown

Opt(Box<Type>)

Tuple Fields of Opt

0: Box<Type>

Vec(Box<Type>)

Tuple Fields of Vec

0: Box<Type>

Record(Vec<Field>)

Tuple Fields of Record

0: Vec<Field>

Variant(Vec<Field>)

Tuple Fields of Variant

0: Vec<Field>

Func(Function)

Tuple Fields of Func

0: Function

Service(Vec<(String, Type)>)

Tuple Fields of Service

0: Vec<(String, Type)>

Class(Vec<Type>, Box<Type>)

Tuple Fields of Class

0: Vec<Type>1: Box<Type>

Principal

Implementations

impl Type

pub fn subst(self, tau: &BTreeMap<String, String>) -> Self

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Display for Type

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

Formats the value using the given formatter.

impl Hash for Type

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<Type> for Type

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for Type

impl StructuralEq for Type

impl StructuralPartialEq for Type