sophia_api::term

Trait FromTerm

Source 
pub trait FromTerm: Sized {
    // Required method
    fn from_term<T: Term>(term: T) -> Self;
}
Expand description

A type that can be built from any term.

See also TryFromTerm

Required Methods§

Source

fn from_term<T: Term>(term: T) -> Self

Copy term into an instance of this type.

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§