Type Alias TypedFunction

pub type TypedFunction = Function<Rc<Type>, TypedExpr, TypedArg>;

Aliased Type

pub struct TypedFunction {
    pub arguments: Vec<TypedArg>,
    pub body: TypedExpr,
    pub doc: Option<String>,
    pub location: Span,
    pub name: String,
    pub public: bool,
    pub return_annotation: Option<Annotation>,
    pub return_type: Rc<Type>,
    pub end_position: usize,
    pub on_test_failure: OnTestFailure,
}

Fields

arguments: Vec<TypedArg>

body: TypedExpr

doc: Option<String>

location: Span

name: String

public: bool

return_annotation: Option<Annotation>

return_type: Rc<Type>

end_position: usize

on_test_failure: OnTestFailure

Implementations

impl TypedFunction

pub fn find_node(&self, byte_index: usize) -> Option<Located<'_>>

pub fn has_valid_purpose_name(&self) -> bool

pub fn validator_arity(&self) -> usize

Trait Implementations

impl From<Function<Rc<Type>, TypedExpr, ArgVia<TypedArg, TypedExpr>>> for TypedFunction

fn from(f: TypedTest) -> Self

Converts to this type from the input type.