Enum FutharkType 

pub enum FutharkType {
    I8,
    I16,
    I32,
    I64,
    U8,
    U16,
    U32,
    U64,
    F16,
    F32,
    F64,
    Bool,
    Array(Box<FutharkType>, Vec<Option<String>>),
    Tuple(Vec<FutharkType>),
    Record(Vec<(String, FutharkType)>),
    Opaque(String),
    Named(String),
    Parametric(String, Vec<String>),
}

Futhark type representation.

Variants

I8

i8

I16

i16

I32

i32

I64

i64

U8

u8

U16

u16

U32

u32

U64

u64

F16

f16

F32

f32

F64

f64

Bool

bool

Array(Box<FutharkType>, Vec<Option<String>>)

Multi-dimensional array: [n][m]...t

Tuple(Vec<FutharkType>)

Tuple: (t1, t2, ...)

Record(Vec<(String, FutharkType)>)

Record: {field: type, ...}

Opaque(String)

Opaque type (abstract/named): #[opaque] type Foo

Named(String)

Named (user-defined) type alias

Parametric(String, Vec<String>)

Parametric type: name 't

Trait Implementations

impl Clone for FutharkType

fn clone(&self) -> FutharkType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FutharkType

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

Formats the value using the given formatter.

impl Display for FutharkType

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

Formats the value using the given formatter.

impl PartialEq for FutharkType

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for FutharkType