Enum DataType 

pub enum DataType {
    Number,
    Integer,
    Real {
        precision: Option<u8>,
    },
    Boolean,
    Logical,
    String {
        width: Option<usize>,
        fixed: bool,
    },
    Binary {
        width: Option<usize>,
        fixed: bool,
    },
    TypeRef {
        name: String,
    },
    Array {
        bound: Option<BoundSpec>,
        optional: bool,
        unique: bool,
        base_type: Box<DataType>,
    },
    List {
        bound: Option<BoundSpec>,
        unique: bool,
        base_type: Box<DataType>,
    },
    Bag {
        bound: Option<BoundSpec>,
        base_type: Box<DataType>,
    },
    Set {
        bound: Option<BoundSpec>,
        base_type: Box<DataType>,
    },
    Enum {
        values: Vec<String>,
    },
    Select {
        types: Vec<String>,
    },
    Generic {
        type_label: Option<String>,
    },
    Aggregate {
        type_label: Option<String>,
        base_type: Box<DataType>,
    },
}

Variants

Number

Integer

Real

Fields

precision: Option<u8>

Boolean

Logical

String

Fields

width: Option<usize>

fixed: bool

Binary

Fields

width: Option<usize>

fixed: bool

TypeRef

Fields

name: String

Array

Fields

bound: Option<BoundSpec>

optional: bool

unique: bool

base_type: Box<DataType>

List

Ordered elements

Fields

bound: Option<BoundSpec>

unique: bool

base_type: Box<DataType>

Bag

Unordered elements

Fields

bound: Option<BoundSpec>

base_type: Box<DataType>

Set

Unordered and unqiue elements

Fields

bound: Option<BoundSpec>

base_type: Box<DataType>

Enum

Enumeration

Fields

values: Vec<String>

Select

Union of named types

Fields

types: Vec<String>

Generic

Fields

type_label: Option<String>

Aggregate

Fields

type_label: Option<String>

base_type: Box<DataType>

Implementations

impl DataType

pub fn is_number(&self) -> bool

pub fn is_real(&self) -> bool

pub fn is_integer(&self) -> bool

pub fn type_ref(&self) -> Option<&String>

Trait Implementations

impl Clone for DataType

fn clone(&self) -> DataType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataType

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

Formats the value using the given formatter.