Language.Paraiso.Annotation.Boundary

calculate the Valid regions of the Orthotope where all information needed to update the region is available.

Documentation

newtype Valid g

a type that represents valid region of computation.

Constructors

Valid [Interval (NearBoundary g)]

Instances

Typeable1 Valid

Eq g => Eq (Valid g)

Show g => Show (Valid g)

Ord g => PiSystem (Valid g)

data NearBoundary a

the displacement around either side of the boundary.

Constructors

NegaInfinity

LowerBoundary a

UpperBoundary a

PosiInfinity

Instances

Typeable1 NearBoundary

Eq a => Eq (NearBoundary a)

Ord a => Ord (NearBoundary a)

Show a => Show (NearBoundary a)