Struct polytype::Arrow

pub struct Arrow {
    pub arg: Type,
    pub ret: Type,
}

A curried function.

Examples

use polytype::{Type, Arrow};

let func = Arrow{
    arg: Type::Variable(0),
    ret: Type::Arrow(Box::new(Arrow{
        arg: Type::Variable(1),
        ret: Type::Variable(2),
    })),
};

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

With the macros:

let func = arrow![tp!(0), tp!(1), tp!(2)];

if let Type::Arrow(arr) = func {
    assert_eq!(Vec::from(arr.args()), vec![&tp!(0), &tp!(1)]);
    assert_eq!(arr.returns(), &tp!(2));
} else { unreachable!() } // we know func is an arrow

Fields

arg: Type

ret: Type

Methods

impl Arrow

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

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

pub fn returns(&self) -> &Type

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

Trait Implementations

impl From<Arrow> for Type

fn from(arrow: Arrow) -> Type

Performs the conversion.

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 Hash for Arrow

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

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 !=.

impl Eq for Arrow