Trait dacquiri::prelude::HasConstraint

pub trait HasConstraint<Attr, const STAG: EntityTag = DEFAULT_ELEMENT_TAG, const RTAG: EntityTag = DEFAULT_ELEMENT_TAG>where
    Attr: BaseAttribute,{ }

Implementors

impl<Next, Attr1, Attr2, const STAG1: EntityTag, const STAG2: EntityTag, const RTAG1: EntityTag, const RTAG2: EntityTag> HasConstraint<Attr2, STAG2, RTAG2> for ConstraintChain<STAG1, RTAG1, Attr1, Next>where Attr1: BaseAttribute, Attr2: BaseAttribute, Next: HasConstraint<Attr2, STAG2, RTAG2>,

Prove ConstraintChain<_, _, _, HasConstraint<Attr2, STAG2, RTAG2>> => HasConstraint<Attr2, STAG2, RTAG2>

impl<Next, Attr, const STAG: EntityTag, const RTAG: EntityTag> HasConstraint<Attr, STAG, RTAG> for ConstraintChain<STAG, RTAG, Attr, Next>where Attr: BaseAttribute,

Prove ConstraintChain<STAG, RTAG, Attr, _> => HasConstraint<Attr, STAG, RTAG>

impl<Next, EntityType, Attr, const ETAG: EntityTag, const STAG: EntityTag, const RTAG: EntityTag> HasConstraint<Attr, STAG, RTAG> for EntityProof<ETAG, EntityType, Next>where Attr: BaseAttribute, Next: HasConstraint<Attr, STAG, RTAG>,

Prove EntityProof<_, _, HasConstraint<Attr, STAG, RTAG>> => HasConstraint<Attr, STAG, RTAG>