Expand description
Broadcast lemmas establishing disjoint_domains
for common combinator compositions.
Functionsยง
- disjoint_
boundary_ lemmas - disjoint_
leaf_ lemmas - disjoint_
left_ composite_ lemmas - disjoint_
left_ wrapper_ lemmas - disjoint_
right_ continuation_ lemmas - disjoint_
right_ wrapper_ lemmas - disjointness_
lemmas - lemma_
disjoint_ alt - lemma_
disjoint_ alt_ left - lemma_
disjoint_ and_ then - lemma_
disjoint_ and_ then_ left - lemma_
disjoint_ bimap - lemma_
disjoint_ bimap_ left - lemma_
disjoint_ bind - lemma_
disjoint_ bind_ left - lemma_
disjoint_ choice - lemma_
disjoint_ choice_ left - lemma_
disjoint_ choices - lemma_
disjoint_ cond - lemma_
disjoint_ const - lemma_
disjoint_ const_ refined - lemma_
disjoint_ eof - lemma_
disjoint_ eof_ left - lemma_
disjoint_ implicit - lemma_
disjoint_ implicit_ left - lemma_
disjoint_ mapped - lemma_
disjoint_ mapped_ left - lemma_
disjoint_ named_ left - lemma_
disjoint_ named_ right - lemma_
disjoint_ option_ end - lemma_
disjoint_ optional - lemma_
disjoint_ optional_ left - lemma_
disjoint_ preceded - lemma_
disjoint_ preceded_ left - lemma_
disjoint_ prefix_ tagged - lemma_
disjoint_ ref_ left - lemma_
disjoint_ ref_ right - lemma_
disjoint_ refined - lemma_
disjoint_ refined_ left - lemma_
disjoint_ refined_ right - lemma_
disjoint_ refs - lemma_
disjoint_ repeat - lemma_
disjoint_ repeat_ left - lemma_
disjoint_ repeat_ till_ end - lemma_
disjoint_ symmetric - lemma_
disjoint_ terminated - lemma_
disjoint_ terminated_ left - lemma_
disjoint_ tuple - lemma_
disjoint_ tuple_ 2 - lemma_
disjoint_ tuple_ left - lemma_
disjoint_ void_ left - lemma_
disjoint_ void_ right