pub trait ShedNext<const TAG: EntityTag, EntityType, Next> {
    // Required method
    fn shed(self) -> (EntityType, Next);
}

Required Methods§

Implementors§

source§

impl<Next, ChainNext, EntityType, Attr, const STAG: EntityTag, const RTAG: EntityTag, const ETAG: EntityTag> ShedNext<ETAG, EntityType, Next> for ConstraintChain<STAG, RTAG, Attr, ChainNext>where Attr: BaseAttribute, ChainNext: ShedNext<ETAG, EntityType, Next> + ConstraintT, EntityType: ConstraintEntity + 'static,

source§

impl<Next, EntityType, const ETAG: EntityTag> ShedNext<ETAG, EntityType, Next> for EntityProof<ETAG, EntityType, Next>where Next: ConstraintT, EntityType: ConstraintEntity + 'static,