Struct kailua_syntax::ast::FuncKind

pub struct FuncKind {
    pub args: Seq<(Option<Spanned<Name>>, Spanned<Kind>), Spanned<Kind>>,
    pub returns: Returns,
}

A function type for Kailua.

Fields

args: Seq<(Option<Spanned<Name>>, Spanned<Kind>), Spanned<Kind>>

A list of argument types with optional names.

The name is purely for description and has no effect in the type. The parser will issue an error if some arguments have names and others don't or names are not distinct, but the type checker should not care.

returns: Returns

A return type.

Trait Implementations

impl Clone for FuncKind

fn clone(&self) -> FuncKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for FuncKind

fn eq(&self, __arg_0: &FuncKind) -> bool

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

fn ne(&self, __arg_0: &FuncKind) -> bool

This method tests for !=.

impl Debug for FuncKind

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

Formats the value using the given formatter.