Trait Database

pub trait Database {
    type Error: Debug;

    // Required methods
    fn empty() -> Self;
    fn add_facts(&mut self, facts: &str) -> Result<(), Self::Error>;
}

This structure takes in facts in string form.

Required Associated Types

type Error: Debug

Required Methods

fn empty() -> Self

fn add_facts(&mut self, facts: &str) -> Result<(), Self::Error>

Add a string containing Prolog facts

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Database for TextualUniverse

type Error = ParseError

impl<T: Database> Database for SaveDumpsWrapper<T>

type Error = <T as Database>::Error