Enum chalk_engine::Literal[−][src]

pub enum Literal<I: Interner> {
    Positive(InEnvironment<Goal<I>>),
    Negative(InEnvironment<Goal<I>>),
}

Either A or ~A, where A is a Env |- Goal.

Variants

Positive(InEnvironment<Goal>)

Negative(InEnvironment<Goal>)

Trait Implementations

`impl<I: Clone + Interner> Clone for Literal`[src]

`fn clone(&self) -> Literal`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for Literal`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl<I: Interner> Eq for Literal`[src]

`impl<I: Interner> Fold for Literal`[src]

`type Result = Literal`

The type of value that will be produced once folding is done. Typically this is Self, unless Self contains borrowed values, in which case owned values are produced (for example, one can fold over a &T value where T: Fold, in which case you get back a T, not a &T). Read more

`fn fold_with<'i>( self, folder: &mut dyn Folder<'i, I>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i,` [src]

`impl<I: Interner> Hash for Literal`[src]

`fn hash<H: Hasher>(&self, state: &mut H)`[src]

`pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0[src]

`impl<I: Interner> PartialEq<Literal> for Literal`[src]

`fn eq(&self, other: &Literal) -> bool`[src]

`#[must_use]pub fn ne(&self, other: &Rhs) -> bool`1.0.0[src]

`impl<I: Interner> Visit for Literal`[src]

`fn visit_with<'i, B>( &self, visitor: &mut dyn Visitor<'i, I, BreakTy = B>, outer_binder: DebruijnIndex ) -> ControlFlow where I: 'i,` [src]

Auto Trait Implementations

`impl RefUnwindSafe for Literal where ::InternedGoal: RefUnwindSafe, ::InternedProgramClauses: RefUnwindSafe,`

`impl Send for Literal where ::InternedGoal: Send, ::InternedProgramClauses: Send,`

`impl Sync for Literal where ::InternedGoal: Sync, ::InternedProgramClauses: Sync,`

`impl Unpin for Literal where ::InternedGoal: Unpin, ::InternedProgramClauses: Unpin,`

`impl UnwindSafe for Literal where ::InternedGoal: UnwindSafe, ::InternedProgramClauses: UnwindSafe,`

Blanket Implementations

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

`pub fn type_id(&self) -> TypeId`[src]

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

`pub fn borrow(&self) -> &T`[src]

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

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`pub fn cast(self, interner: &::Interner) -> U where Self: CastTo, U: HasInterner,` [src]

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

`pub fn equivalent(&self, key: &K) -> bool`[src]

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

`pub fn from(t: T) -> T`[src]

`impl<T> Instrument for T`[src]

`pub fn instrument(self, span: Span) -> Instrumented<Self>`[src]

`pub fn in_current_span(self) -> Instrumented<Self>`[src]

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

`pub fn into(self) -> U`[src]

`impl<T, I> Shift for T where I: Interner, T: Fold,` [src]

`pub fn shifted_in(self, interner: &I) -> <T as Fold>::Result`[src]

`pub fn shifted_in_from( self, interner: &I, source_binder: DebruijnIndex ) -> <T as Fold>::Result`[src]

`pub fn shifted_out_to( self, interner: &I, target_binder: DebruijnIndex ) -> Result<<T as Fold>::Result, NoSolution>`[src]

`pub fn shifted_out( self, interner: &I ) -> Result<<T as Fold>::Result, NoSolution>`[src]

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

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

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

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

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

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

`impl<T, I> VisitExt for T where I: Interner, T: Visit,` [src]

`pub fn has_free_vars(&self, interner: &I) -> bool`[src]

Enum chalk_engine::Literal[−][src]

Variants

Trait Implementations

impl<I: Clone + Interner> Clone for Literal<I>[src]

fn clone(&self) -> Literal<I>[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl<I: Debug + Interner> Debug for Literal<I>[src]

fn fmt(&self, f: &mut Formatter<'_>) -> Result[src]

impl<I: Interner> Eq for Literal<I>[src]

impl<I: Interner> Fold<I> for Literal<I>[src]

type Result = Literal<I>

fn fold_with<'i>( self, folder: &mut dyn Folder<'i, I>, outer_binder: DebruijnIndex) -> Fallible<Self::Result> where I: 'i, [src]

impl<I: Interner> Hash for Literal<I>[src]

fn hash<H: Hasher>(&self, state: &mut H)[src]

pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher, 1.3.0[src]

impl<I: Interner> PartialEq<Literal<I>> for Literal<I>[src]

fn eq(&self, other: &Literal<I>) -> bool[src]

#[must_use]pub fn ne(&self, other: &Rhs) -> bool1.0.0[src]

impl<I: Interner> Visit<I> for Literal<I>[src]

fn visit_with<'i, B>( &self, visitor: &mut dyn Visitor<'i, I, BreakTy = B>, outer_binder: DebruijnIndex) -> ControlFlow<B> where I: 'i, [src]

Auto Trait Implementations

impl<I> RefUnwindSafe for Literal<I> where <I as Interner>::InternedGoal: RefUnwindSafe, <I as Interner>::InternedProgramClauses: RefUnwindSafe,

impl<I> Send for Literal<I> where <I as Interner>::InternedGoal: Send, <I as Interner>::InternedProgramClauses: Send,

impl<I> Sync for Literal<I> where <I as Interner>::InternedGoal: Sync, <I as Interner>::InternedProgramClauses: Sync,

impl<I> Unpin for Literal<I> where <I as Interner>::InternedGoal: Unpin, <I as Interner>::InternedProgramClauses: Unpin,

impl<I> UnwindSafe for Literal<I> where <I as Interner>::InternedGoal: UnwindSafe, <I as Interner>::InternedProgramClauses: UnwindSafe,

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

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

pub fn borrow(&self) -> &T[src]

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

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<T> Cast for T[src]

pub fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where Self: CastTo<U>, U: HasInterner, [src]

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

pub fn equivalent(&self, key: &K) -> bool[src]

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

pub fn from(t: T) -> T[src]

impl<T> Instrument for T[src]

pub fn instrument(self, span: Span) -> Instrumented<Self>[src]

pub fn in_current_span(self) -> Instrumented<Self>[src]

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

pub fn into(self) -> U[src]

impl<T, I> Shift<I> for T where I: Interner, T: Fold<I>, [src]

pub fn shifted_in(self, interner: &I) -> <T as Fold<I>>::Result[src]

pub fn shifted_in_from( self, interner: &I, source_binder: DebruijnIndex) -> <T as Fold<I>>::Result[src]

pub fn shifted_out_to( self, interner: &I, target_binder: DebruijnIndex) -> Result<<T as Fold<I>>::Result, NoSolution>[src]

pub fn shifted_out( self, interner: &I) -> Result<<T as Fold<I>>::Result, NoSolution>[src]

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

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

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

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

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

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

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<T, I> VisitExt<I> for T where I: Interner, T: Visit<I>, [src]

pub fn has_free_vars(&self, interner: &I) -> bool[src]

`impl<I: Clone + Interner> Clone for Literal<I>`[src]

`fn clone(&self) -> Literal<I>`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for Literal<I>`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl<I: Interner> Eq for Literal<I>`[src]

`impl<I: Interner> Fold<I> for Literal<I>`[src]

`type Result = Literal<I>`

`fn fold_with<'i>( self, folder: &mut dyn Folder<'i, I>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i,` [src]

`impl<I: Interner> Hash for Literal<I>`[src]

`fn hash<H: Hasher>(&self, state: &mut H)`[src]

`pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0[src]

`impl<I: Interner> PartialEq<Literal<I>> for Literal<I>`[src]

`fn eq(&self, other: &Literal<I>) -> bool`[src]

`#[must_use]pub fn ne(&self, other: &Rhs) -> bool`1.0.0[src]

`impl<I: Interner> Visit<I> for Literal<I>`[src]

`fn visit_with<'i, B>( &self, visitor: &mut dyn Visitor<'i, I, BreakTy = B>, outer_binder: DebruijnIndex ) -> ControlFlow<B> where I: 'i,` [src]

`impl<I> RefUnwindSafe for Literal<I> where <I as Interner>::InternedGoal: RefUnwindSafe, <I as Interner>::InternedProgramClauses: RefUnwindSafe,`

`impl<I> Send for Literal<I> where <I as Interner>::InternedGoal: Send, <I as Interner>::InternedProgramClauses: Send,`

`impl<I> Sync for Literal<I> where <I as Interner>::InternedGoal: Sync, <I as Interner>::InternedProgramClauses: Sync,`

`impl<I> Unpin for Literal<I> where <I as Interner>::InternedGoal: Unpin, <I as Interner>::InternedProgramClauses: Unpin,`

`impl<I> UnwindSafe for Literal<I> where <I as Interner>::InternedGoal: UnwindSafe, <I as Interner>::InternedProgramClauses: UnwindSafe,`

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

`pub fn type_id(&self) -> TypeId`[src]

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

`pub fn borrow(&self) -> &T`[src]

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

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`pub fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where Self: CastTo<U>, U: HasInterner,` [src]

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

`pub fn equivalent(&self, key: &K) -> bool`[src]

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

`pub fn from(t: T) -> T`[src]

`impl<T> Instrument for T`[src]

`pub fn instrument(self, span: Span) -> Instrumented<Self>`[src]

`pub fn in_current_span(self) -> Instrumented<Self>`[src]

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

`pub fn into(self) -> U`[src]

`impl<T, I> Shift<I> for T where I: Interner, T: Fold<I>,` [src]

`pub fn shifted_in(self, interner: &I) -> <T as Fold<I>>::Result`[src]

`pub fn shifted_in_from( self, interner: &I, source_binder: DebruijnIndex ) -> <T as Fold<I>>::Result`[src]

`pub fn shifted_out_to( self, interner: &I, target_binder: DebruijnIndex ) -> Result<<T as Fold<I>>::Result, NoSolution>`[src]

`pub fn shifted_out( self, interner: &I ) -> Result<<T as Fold<I>>::Result, NoSolution>`[src]

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

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

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

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

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

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<T, I> VisitExt<I> for T where I: Interner, T: Visit<I>,` [src]

`pub fn has_free_vars(&self, interner: &I) -> bool`[src]