Trait aitia::Fact

pub trait Fact: FactTraits {
    type Context;

    // Required methods
    fn check(&self, ctx: &Self::Context) -> bool;
    fn dep(&self, ctx: &Self::Context) -> DepResult<Self>;

    // Provided methods
    fn explain(&self, _ctx: &Self::Context) -> String { ... }
    fn traverse(
        self,
        ctx: &Self::Context,
    ) -> Result<Traversal<'_, Self>, TraversalError<'_, Self>> { ... }
}

Required Associated Types

type Context

Required Methods

fn check(&self, ctx: &Self::Context) -> bool

fn dep(&self, ctx: &Self::Context) -> DepResult<Self>

Provided Methods

fn explain(&self, _ctx: &Self::Context) -> String

fn traverse( self, ctx: &Self::Context, ) -> Result<Traversal<'_, Self>, TraversalError<'_, Self>>

Object Safety

This trait is not object safe.

Implementors