Struct dyon::Dfn

pub struct Dfn {
    pub lts: Vec<Lt>,
    pub tys: Vec<Type>,
    pub ret: Type,
    pub ext: Vec<(Vec<Arc<String>>, Vec<Type>, Type)>,
    pub lazy: &'static [&'static [Lazy]],
}

Stores preloaded function constraints. These are already checked.

Fields

lts: Vec<Lt>

Lifetimes of argument.

tys: Vec<Type>

Argument types of function.

ret: Type

Return type of function.

ext: Vec<(Vec<Arc<String>>, Vec<Type>, Type)>

Extra type information.

Stores type variables, argument types, return type.

lazy: &'static [&'static [Lazy]]

Stores lazy invariants.

Implementations

impl Dfn

pub fn nl(args: Vec<Type>, ret: Type) -> Dfn

Creates a new function signature with no lifetime or refinement.

pub fn new(f: &Function) -> Dfn

Creates new function signature from an AST function.

pub fn returns(&self) -> bool

Returns true if the function returns something.

Trait Implementations

impl Clone for Dfn

fn clone(&self) -> Dfn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Dfn

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

Formats the value using the given formatter.

impl PartialEq<Dfn> for Dfn

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

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

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

This method tests for !=.

impl StructuralPartialEq for Dfn