Trait clingo::ToSymbol

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

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

Required Methods§

Implementations on Foreign Types§

source§

impl ToSymbol for bool

source§

impl ToSymbol for i8

source§

impl ToSymbol for i16

source§

impl ToSymbol for i32

source§

impl ToSymbol for str

source§

impl ToSymbol for u8

source§

impl ToSymbol for u16

source§

impl ToSymbol for u32

source§

impl ToSymbol for ()

source§

impl ToSymbol for String

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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)

source§

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)

source§

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)

source§

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)

source§

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)

source§

impl<T: ToSymbol> ToSymbol for &T

Implementors§