Struct RationalNumbersLib 

pub struct RationalNumbersLib;

The library that installs the numbers/rational domain: its literal class and shapes, the Rational value class, the reduced arithmetic ops, and the promotion rules to and from the integer and f64 domains.

Examples

use std::sync::Arc;
use sim_kernel::{Cx, DefaultFactory, NoopEvalPolicy};
use sim_lib_numbers_rational::{RationalNumbersLib, number_domain};

let mut cx = Cx::new(Arc::new(NoopEvalPolicy), Arc::new(DefaultFactory));
cx.load_lib(&RationalNumbersLib::new()).unwrap();

// Rational literals parse into the domain even before any base scalar lib
// is loaded; arithmetic over them additionally needs the integer libs.
let value = cx
    .factory()
    .number_literal(number_domain(), "1/2".to_owned())
    .unwrap();
let number = cx.number_value_ref(value).unwrap().unwrap();
assert_eq!(number.domain, number_domain());

Implementations

impl RationalNumbersLib

pub fn new() -> Self

Creates a new numbers/rational domain library.

Trait Implementations

impl Default for RationalNumbersLib

fn default() -> Self

Returns the “default value” for a type.

impl Lib for RationalNumbersLib

fn manifest(&self) -> LibManifest

Returns the library’s manifest.

fn load(&self, _cx: &mut LoadCx, linker: &mut Linker<'_>) -> Result<()>

Registers the library’s exports against the registry via linker.

fn unload(&self, _cx: &mut Cx, _linker: &mut Linker<'_>) -> Result<(), Error>

Tears down external resources that cannot be represented in the registry’s recorded load delta.