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

Language.Paraiso.PiSystem

Description

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

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

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

Vector

PiSystem