Struct BoolNumbersLib 

pub struct BoolNumbersLib;

The library that installs the numbers/bool domain: its literal class and shapes, value shape, boolean ops, and widening promotion rules.

Examples

use std::sync::Arc;
use sim_kernel::{Cx, DefaultFactory, NoopEvalPolicy};
use sim_lib_numbers_bool::{BoolNumbersLib, number_domain};

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

let value = cx.factory().bool(true).unwrap();
let number = cx.number_value_ref(value).unwrap().unwrap();
assert_eq!(number.domain, number_domain());

Implementations

impl BoolNumbersLib

pub fn new() -> Self

Construct the bool library installer.

Trait Implementations

impl Default for BoolNumbersLib

fn default() -> Self

Returns the “default value” for a type.

impl Lib for BoolNumbersLib

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.