|
universeR,emptyR
|
:: |
Region | ||||
|
compR
|
:: |
Region → Region |
||||
|
∩, ∪, xorR, \
|
:: |
Region → Region → Region |
||||
|
universeR
|
= |
const True |
||||
|
emptyR
|
= |
const False |
Entsprechende Notation in Pan | |||
|
compR
|
= |
lift1 not |
→ | complementR | = |
lift1 notE |
|
∩
|
= |
lift2 and |
→ |
intersectR |
= |
lift2 (&&*) |
|
∪
|
= |
lift2 or |
→ |
unionR |
= |
lift2 (||*) |
|
xorR
|
= |
lift1 (≠) |
→ |
xorR |
= |
lift2 (/=*) |
|
r \ r
|
= |
r ∩ compR r |
→ |
diffR r r' |
= |
r `intersectR` ComplementR
r' |
