Struct ImplLogic 

pub struct ImplLogic<'gcx> { /* private fields */ }

Logic DB about impl blocks. The DB also will include something associated with the impl blocks such as trait or struct.

Implementations

impl<'gcx> ImplLogic<'gcx>

pub fn query( &mut self, expr: Expr<Name<Interned<'gcx, str>>>, ) -> ProveCx<'_, 'gcx, GlobalCx<'gcx>>

pub fn clauses(&self) -> ClauseIter<'_, 'gcx, GlobalCx<'gcx>>

pub fn to_prolog(&self) -> String

pub fn insert_clause(&mut self, clause: Clause<Name<Interned<'gcx, str>>>)

pub fn commit(&mut self)

Trait Implementations

impl<'gcx> Debug for ImplLogic<'gcx>

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

Formats the value using the given formatter.