Trait RuleLike 

pub trait RuleLike {
    type A: Action<Single>;
    type P: PredicateInner;

    // Required methods
    fn action(&self) -> &Self::A;
    fn predicate(&self) -> &Predicate<Self::P>;
}

Required Associated Types

type A: Action<Single>

type P: PredicateInner

Required Methods

fn action(&self) -> &Self::A

fn predicate(&self) -> &Predicate<Self::P>

Implementors

impl<P, A> RuleLike for rapimt::im::ib::rule::Rule<P, A>

where P: PredicateInner, A: Action<Single>,

type A = A

type P = P

impl<P, A> RuleLike for rapimt::prelude::Rule<P, A>

where P: PredicateInner, A: Action<Single>,

type A = A

type P = P