dev.constructive.eo.laws.eo.discipline

Discipline RuleSet for ComposeAssociativityLaws.

Discipline RuleSet for ComposedFoldMapLaws — capability-keyed fold distribution, stated at the additive Int monoid (sufficient to witness the homomorphism).

Discipline RuleSet for ComposedGetOptionLaws — capability-keyed partial-read distribution.

Discipline RuleSet for ComposedGetLaws — capability-keyed get distribution, usable at any cross-family cell whose three legs all read totally.

Discipline RuleSet for ComposedReverseGetLaws — capability-keyed build distribution.

Discipline RuleSet for FoldMapHomomorphismLaws.

Discipline RuleSet for IsoComposeLaws.

Discipline RuleSet for LensComposeLaws.

Discipline RuleSet for ModifyAConstLaws.

Discipline RuleSet for ModifyAIdLaws.

Discipline RuleSets for MorphLaws. Two entry points — morphPreservesModify and morphPreservesGet — because the two laws require disjoint capabilities on F / G (ForgetfulFunctor vs. Accessor) and not every carrier pair satisfies both.

Discipline RuleSet for OptionalComposeLaws.

Discipline RuleSet for PrismComposeLaws.

Discipline RuleSet for PutIsReverseGetLaws.

Discipline RuleSet for ReverseInvolutionLaws.

Discipline RuleSet for TransformLaws.