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

Safe HaskellNone

Language.Paraiso.PiSystem

Description

In mathematics, a pi-system is a non-empty family of sets that is closed under finite intersections.

Documentation

class PiSystem a whereSource

Methods

empty :: aSource

an empty set.

null :: a -> BoolSource

is this an empty set?

intersection :: a -> a -> aSource

intersection of two sets.

Instances

(PiSystem a, Vector v) => PiSystem (v a)

a Vector of PiSystem is also a PiSystem. This is an overlapping instance, can be overwritten by more specific instances.

Ord a => PiSystem (Interval a) 
Ord g => PiSystem (Valid g)