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

Safe HaskellNone
LanguageHaskell2010

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 where Source

Methods

empty :: a Source

an empty set.

null :: a -> Bool Source

is this an empty set?

intersection :: a -> a -> a Source

intersection of two sets.

Instances

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

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) Source 
Ord g => PiSystem (Valid g) Source