Data.Generics.Strafunski.StrategyLib.PathTheme

Below

Strictly below

belowS

Below or at the same height

beloweqS

Type-specialised versions

belowTP

beloweqTP

Above

Strictly above

aboveS

Above or at the same height

aboveeqS

Type-specialised versions

aboveTP

aboveeqTP