Struct polytype::Arrow

pub struct Arrow {
    pub arg: Box<Type>,
    pub ret: Box<Type>,
}

An arrow (function), curried.

Examples

use polytype::{Type, Arrow};

let arrow = Arrow::new(
    Type::Variable(0),
    Arrow::new(
        Type::Variable(1),
        Type::Variable(2),
    ).into(),
);

assert_eq!(Vec::from(arrow.args()),
           vec![&Type::Variable(0), &Type::Variable(1)]);
assert_eq!(arrow.returns(),
           &Type::Variable(2));

Fields

arg: Box<Type>

ret: Box<Type>

Methods

impl Arrow

fn new(arg: Type, ret: Type) -> Arrow

fn args(&self) -> VecDeque<&Type>

Get all arguments to the function, recursing through curried functions.

fn returns(&self) -> &Type

Get the return type of the function, recursing through curried function returns.

Trait Implementations

impl Debug for Arrow

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

Formats the value using the given formatter.

impl Clone for Arrow

fn clone(&self) -> Arrow

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Arrow

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

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

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

This method tests for !=.