Language.Paraiso.Annotation.Boundary

calculate the Valid regions for each Orthotope value where all information needed to update the region is available. also annotates the global boundary condition.

Documentation

newtype Valid g

a type that represents valid region of computation.

Constructors

Valid [Interval (NearBoundary g)]

Instances

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

Eq a => Eq (NearBoundary a)

Ord a => Ord (NearBoundary a)

Show a => Show (NearBoundary a)

data Condition

type for global boundary conditions

Constructors

Open

open boundary; do not touch anything

Cyclic

cyclic boundary; data out of the bounds are copied from the other side

Instances

Eq Condition

Read Condition

Show Condition