Struct FutharkFun 

pub struct FutharkFun {
    pub name: String,
    pub type_params: Vec<String>,
    pub params: Vec<(String, FutharkType)>,
    pub return_type: FutharkType,
    pub body: Vec<FutharkStmt>,
    pub is_entry: bool,
    pub attrs: Vec<FutharkAttr>,
}

A Futhark function (or entry point).

Fields

name: String

Function name

type_params: Vec<String>

Type parameters (e.g., 't)

params: Vec<(String, FutharkType)>

Parameters: (name : type)

return_type: FutharkType

Return type

body: Vec<FutharkStmt>

Body statements

is_entry: bool

Whether this is an entry point

attrs: Vec<FutharkAttr>

Function attributes

Implementations

impl FutharkFun

pub fn new( name: impl Into<String>, params: Vec<(String, FutharkType)>, return_type: FutharkType, body: Vec<FutharkStmt>, ) -> Self

Create a new regular function.

pub fn entry( name: impl Into<String>, params: Vec<(String, FutharkType)>, return_type: FutharkType, body: Vec<FutharkStmt>, ) -> Self

Create a new entry point.

pub fn with_type_param(self, tp: impl Into<String>) -> Self

Add a type parameter.

pub fn with_attr(self, attr: FutharkAttr) -> Self

Add an attribute.

Trait Implementations

impl Clone for FutharkFun

fn clone(&self) -> FutharkFun

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FutharkFun

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

Formats the value using the given formatter.