Trait clingo::ToSymbol

pub trait ToSymbol {
    // Required method
    fn symbol(&self) -> Result<Symbol, ClingoError>;
}

helper types and traits to simplify conversion from structs to clingo symbols

Required Methods

fn symbol(&self) -> Result<Symbol, ClingoError>

Implementations on Foreign Types

impl ToSymbol for bool

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for i8

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for i16

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for i32

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for str

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for u8

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for u16

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for u32

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for ()

fn symbol(&self) -> Result<Symbol, ClingoError>

impl ToSymbol for String

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol> ToSymbol for (A, B)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol> ToSymbol for (A, B, C)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol> ToSymbol for (A, B, C, D)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol> ToSymbol for (A, B, C, D, E)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol, F: ToSymbol> ToSymbol for (A, B, C, D, E, F)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol, F: ToSymbol, G: ToSymbol> ToSymbol for (A, B, C, D, E, F, G)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol, F: ToSymbol, G: ToSymbol, H: ToSymbol> ToSymbol for (A, B, C, D, E, F, G, H)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol, F: ToSymbol, G: ToSymbol, H: ToSymbol, I: ToSymbol> ToSymbol for (A, B, C, D, E, F, G, H, I)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol, F: ToSymbol, G: ToSymbol, H: ToSymbol, I: ToSymbol, J: ToSymbol> ToSymbol for (A, B, C, D, E, F, G, H, I, J)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol, F: ToSymbol, G: ToSymbol, H: ToSymbol, I: ToSymbol, J: ToSymbol, K: ToSymbol> ToSymbol for (A, B, C, D, E, F, G, H, I, J, K)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<A: ToSymbol, B: ToSymbol, C: ToSymbol, D: ToSymbol, E: ToSymbol, F: ToSymbol, G: ToSymbol, H: ToSymbol, I: ToSymbol, J: ToSymbol, K: ToSymbol, L: ToSymbol> ToSymbol for (A, B, C, D, E, F, G, H, I, J, K, L)

fn symbol(&self) -> Result<Symbol, ClingoError>

impl<T: ToSymbol> ToSymbol for &T

fn symbol(&self) -> Result<Symbol, ClingoError>

Implementors

impl ToSymbol for Symbol