regions-0.7.0.1: Provides the region monad for safely opening and working with scarce resources.

MaintainerBas van Dijk <v.dijk.bas@gmail.com>

Control.Monad.Trans.Region.ParentOf

Description

 

Synopsis

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)))

Instances

(Monad cr, TypeCast2 cr (RegionT s pcr), ParentOf pr pcr) => ParentOf pr cr 
Monad r => ParentOf r r