| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Paraiso.Annotation.Boundary
Description
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
- data Condition
Documentation
a type that represents valid region of computation.
Constructors
| Valid [Interval (NearBoundary g)] |
data NearBoundary a Source
the displacement around either side of the boundary.
Constructors
| NegaInfinity | |
| LowerBoundary a | |
| UpperBoundary a | |
| PosiInfinity |
Instances
| Eq a => Eq (NearBoundary a) Source | |
| Ord a => Ord (NearBoundary a) Source | |
| Show a => Show (NearBoundary a) Source |