Struct AdvancedExportBundle 

pub struct AdvancedExportBundle {
    pub hierarchy: Option<HashMap<String, Vec<String>>>,
    pub constraints: HashMap<String, PredicateConstraints>,
    pub refinement_types: HashMap<String, String>,
    pub dependent_types: HashMap<String, String>,
    pub linear_types: HashMap<String, String>,
    pub effects: HashMap<String, Vec<String>>,
}

Advanced export bundle containing type system information.

Fields

hierarchy: Option<HashMap<String, Vec<String>>>

Domain hierarchy (subtype relationships).

constraints: HashMap<String, PredicateConstraints>

Predicate constraints.

refinement_types: HashMap<String, String>

Refinement type specifications.

dependent_types: HashMap<String, String>

Dependent type specifications.

linear_types: HashMap<String, String>

Linear type specifications.

effects: HashMap<String, Vec<String>>

Effect specifications.

Implementations

impl AdvancedExportBundle

pub fn new() -> Self

Create an empty advanced export bundle.

pub fn is_empty(&self) -> bool

Check if the bundle is empty.

Trait Implementations

impl Clone for AdvancedExportBundle

fn clone(&self) -> AdvancedExportBundle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdvancedExportBundle

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

Formats the value using the given formatter.

impl Default for AdvancedExportBundle

fn default() -> Self

Returns the “default value” for a type.