Safe Haskell | Safe-Infered |
---|
calculate the Valid
regions for each Orthotope
value
where all information needed to update
the region is available.
also annotates the global boundary condition.
- newtype Valid g = Valid [Interval (NearBoundary g)]
- data NearBoundary a
- = NegaInfinity
- | LowerBoundary a
- | UpperBoundary a
- | PosiInfinity
- data Condition
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) |