Paraiso-0.3.1.0: a code generator for partial differential equations solvers.

Safe HaskellSafe-Infered

Language.Paraiso.Interval

Description

an Interval is a pair of lower and upper, representing some interval in ordered system. The lower bound is inclusive and the upper bound is exclusive: (lower <= x < upper) . The intersection of two intervals are also interval but the union of two intervals are not, so Interval constitute a PiSystem.

Documentation

data Interval a Source

Constructors

Empty

an empty interval.

Interval

a non-empty interval.

Fields

lower :: a
 
upper :: a
 

Instances