Language.Paraiso.PiSystem

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

Documentation

class PiSystem a where

Methods

empty :: a

an empty set.

null :: a -> Bool

is this an empty set?

intersection :: a -> a -> a

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)