Struct Config 

pub struct Config {
    pub strategy: String,
    pub domains: HashMap<String, usize>,
    pub output_format: String,
    pub validate: bool,
    pub debug: bool,
    pub colored: bool,
    pub repl: ReplConfig,
    pub watch: WatchConfig,
    pub cache: CacheConfig,
    pub macros: Vec<MacroDef>,
}

Configuration structure

Fields

strategy: String

Default compilation strategy

domains: HashMap<String, usize>

Default domains (name -> size)

output_format: String

Default output format

validate: bool

Enable validation by default

debug: bool

Enable debug output by default

colored: bool

Enable colored output

repl: ReplConfig

REPL settings

watch: WatchConfig

Watch settings

cache: CacheConfig

Cache settings

macros: Vec<MacroDef>

Macro definitions

Implementations

impl Config

pub fn load(path: &Path) -> Result<Self>

Load configuration from file

pub fn save(&self, path: &Path) -> Result<()>

Save configuration to file

pub fn load_default() -> Self

Find and load configuration file

Search order:

1. TENSORLOGIC_CONFIG environment variable
2. .tensorlogicrc in current directory
3. .tensorlogicrc in user home directory

pub fn config_path() -> PathBuf

Get configuration file path (current or home)

pub fn create_default() -> Result<PathBuf>

Create a default configuration file

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Config

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

Formats the value using the given formatter.

impl Default for Config

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Config

where Config: Default,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Config

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.