List of all items

Structs

• law_check::LawViolation
• property::AdditivelyCommutative
• property::And
• property::FunctorComposition
• property::FunctorIdentity
• property::HasLeftIdentity
• property::HasLeftInverse
• property::HasRightIdentity
• property::HasRightInverse
• property::IsAbelianGroup
• property::IsAbsorptive
• property::IsAssociative
• property::IsBoundedLattice
• property::IsCommutative
• property::IsDistributive
• property::IsField
• property::IsGroup
• property::IsIdempotent
• property::IsLattice
• property::IsLawfulFunctor
• property::IsLawfulMonad
• property::IsMonoid
• property::IsRing
• property::IsSemiring
• property::MonadAssociativity
• property::MonadLeftIdentity
• property::MonadRightIdentity
• property::ZeroAnnihilates
• proven::Proven
• refinement::NonEmpty
• refinement::Positive
• rewrite::AssocLeft
• rewrite::AssocRight
• rewrite::ByAnnihilation
• rewrite::ByAssociativity
• rewrite::ByCommutativity
• rewrite::ByDistribution
• rewrite::ByIdentity
• rewrite::ByInverse
• rewrite::BySymmetry
• rewrite::ByTransitivity
• rewrite::CombineAB
• rewrite::CombineBA
• rewrite::Distributed
• rewrite::Identity
• rewrite::JustA
• rewrite::Rewrite
• rewrite::Undistributed
• rewrite::WithIdentity
• rewrite::WithInverse
• rewrite::Zero
• rewrite::ZeroTimes

Traits

• property::Implies
• property::Property
• rewrite::Justifies

Derive Macros

• VerifyCommutative
• VerifyGroup
• VerifyLattice
• VerifyMonoid
• VerifyRing
• VerifySemigroup
• VerifySemiring

Functions

• law_check::check_absorption
• law_check::check_associativity
• law_check::check_commutativity
• law_check::check_idempotency
• law_check::check_left_distributivity
• law_check::check_left_identity
• law_check::check_left_inverse
• law_check::check_right_distributivity
• law_check::check_right_identity
• law_check::check_right_inverse