Maintainer | Bas van Dijk <v.dijk.bas@gmail.com> |
---|
Documentation
class (Monad pr, Monad cr) => ParentOf pr cr Source
The ParentOf
class declares the parent/child relationship between regions.
A region is the parent of another region if they're either equivalent like:
RegionT ps pr `ParentOf` RegionT ps pr
or if it is the parent of the parent of the child like:
RegionT ps ppr `ParentOf` RegionT cs (RegionT pcs (RegionT ppcs (RegionT ps ppr)))