[][src]Enum gf::datamodel::TyError

pub enum TyError {
    InvalidBindingCount,
    InvalidBindingSort,
    InvalidExprSort,
    InvalidRelationId,
    InvalidRelationKind,
    InvalidTyArgCount,
    InvalidTyArgId,
    InvalidTyArgKind,
}

Type error.

Variants

InvalidBindingCount

Invalid number of bindings.

InvalidBindingSort

Invalid binding sort in a binding expression.

InvalidExprSort

Invalid sort of a bound expression.

InvalidRelationId

Invalid relation ID.

InvalidRelationKind

Invalid relation kind.

InvalidTyArgCount

Invalid number of type arguments.

InvalidTyArgId

Invalid type argument ID.

InvalidTyArgKind

Invalid type argument kind.

Trait Implementations

impl Clone for TyError[src]

impl Copy for TyError[src]

impl Eq for TyError[src]

impl Ord for TyError[src]

impl PartialEq<TyError> for TyError[src]

impl PartialOrd<TyError> for TyError[src]

impl Debug for TyError[src]

impl Hash for TyError[src]

impl StructuralPartialEq for TyError[src]

impl StructuralEq for TyError[src]

Auto Trait Implementations

impl Send for TyError

impl Sync for TyError

impl Unpin for TyError

impl UnwindSafe for TyError

impl RefUnwindSafe for TyError

Blanket Implementations

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> From<T> for T[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]