[−][src]Trait oso::FromPolar
Required methods
fn from_polar(term: &Term, host: &mut Host) -> Result<Self>
Provided methods
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
Implementations on Foreign Types
impl FromPolar for bool
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for u8
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for i8
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for u16
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for i16
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for u32
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for i32
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for i64
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for f64
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl FromPolar for String
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
impl<T: FromPolar> FromPolar for Vec<T>
[src]
fn from_polar(term: &Term, host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<T: FromPolar> FromPolar for HashMap<String, T>
[src]
fn from_polar(term: &Term, host: &mut Host) -> Result<Self>
[src]
impl FromPolar for ()
[src]
fn from_polar(term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], _host: &mut Host) -> Result<Self>
[src]
impl<A> FromPolar for (A,) where
A: FromPolar,
[src]
A: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B> FromPolar for (A, B) where
A: FromPolar,
B: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C> FromPolar for (A, B, C) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D> FromPolar for (A, B, C, D) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E> FromPolar for (A, B, C, D, E) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G> FromPolar for (A, B, C, D, E, G) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H> FromPolar for (A, B, C, D, E, G, H) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I> FromPolar for (A, B, C, D, E, G, H, I) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J> FromPolar for (A, B, C, D, E, G, H, I, J) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J, K> FromPolar for (A, B, C, D, E, G, H, I, J, K) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J, K, L> FromPolar for (A, B, C, D, E, G, H, I, J, K, L) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J, K, L, M> FromPolar for (A, B, C, D, E, G, H, I, J, K, L, M) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J, K, L, M, N> FromPolar for (A, B, C, D, E, G, H, I, J, K, L, M, N) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J, K, L, M, N, O> FromPolar for (A, B, C, D, E, G, H, I, J, K, L, M, N, O) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
O: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
O: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J, K, L, M, N, O, P> FromPolar for (A, B, C, D, E, G, H, I, J, K, L, M, N, O, P) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
O: FromPolar,
P: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
O: FromPolar,
P: FromPolar,
fn from_polar(_term: &Term, _host: &mut Host) -> Result<Self>
[src]
fn from_polar_list(terms: &[Term], host: &mut Host) -> Result<Self>
[src]
impl<A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q> FromPolar for (A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q) where
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
O: FromPolar,
P: FromPolar,
Q: FromPolar,
[src]
A: FromPolar,
B: FromPolar,
C: FromPolar,
D: FromPolar,
E: FromPolar,
G: FromPolar,
H: FromPolar,
I: FromPolar,
J: FromPolar,
K: FromPolar,
L: FromPolar,
M: FromPolar,
N: FromPolar,
O: FromPolar,
P: FromPolar,
Q: FromPolar,