Safe Haskell | Safe-Infered |
---|

calculate the `Valid`

regions of the `Orthotope`

where all information needed to update
the region is available.

- newtype Valid g = Valid [Interval (NearBoundary g)]
- data NearBoundary a
- = NegaInfinity
- | LowerBoundary a
- | UpperBoundary a
- | PosiInfinity

# Documentation

a type that represents valid region of computation.

Valid [Interval (NearBoundary g)] |

data NearBoundary a Source

the displacement around either side of the boundary.

Typeable1 NearBoundary | |

Eq a => Eq (NearBoundary a) | |

Ord a => Ord (NearBoundary a) | |

Show a => Show (NearBoundary a) |