Documentation

Laws for instances of Monus.

Includes the following laws:

a <\> a == mempty

mempty <\> a == mempty

a <> (b <\> a) == b <> (a <\> b)

(a <\> b) <\> c == a <\> (b <> c)

a <\> b == stripPrefixOverlap b a

a <\> b == stripSuffixOverlap b a

Note that the following superclass laws are not included:

• commutativeLaws
• monoidLaws
• overlappingGCDMonoidLaws

Laws for instances of OverlappingGCDMonoid.

Includes the following laws:

Reductivity

isJust (stripSuffix (overlap a b) a)

isJust (stripPrefix (overlap a b) b)

Idempotence

overlap a a == a

Identity

overlap mempty a == mempty

overlap a mempty == mempty

Equivalences

overlap a b <> stripPrefixOverlap a b == b

stripSuffixOverlap b a <> overlap a b == a

stripOverlap a b & \(_, x, _) -> x == overlap a b

stripOverlap a b & \(_, _, x) -> x == stripPrefixOverlap a b

stripOverlap a b & \(x, _, _) -> x == stripSuffixOverlap b a

Note that the following superclass laws are not included:

• monoidLaws
• leftReductiveLaws
• rightReductiveLaws