Contents Index

Org.Org.Semantic.HBase.Mathematics.Set

Synopsis

class (HasNothing s, Unionable s s s, Intersectable s s s, Xorable s s s, Removable s s s) => SetConstructibleSet s class SetConstructibleSet s => UniversibleConstructibleSet s where universal :: s invert :: s -> s class MemberConstructibleSet m s | s -> m where singular :: m -> s class MemberKnownSet m s | s -> m where member :: s -> m -> Bool class (Eq s, HasNothingKnown s) => SetKnownSet s where subset :: s -> s -> Bool

Documentation

class (HasNothing s, Unionable s s s, Intersectable s s s, Xorable s s s, Removable s s s) => SetConstructibleSet s

a set from which sets can be constructed Instances SetConstructibleSet (AlwaysEmptySet a) SetConstructibleSet (FunctionSet m) Eq a => SetConstructibleSet (ListSet a) SetConstructibleSet NullSet Ordered m => SetConstructibleSet (PhaseSet m) Ordered m => SetConstructibleSet (StationSet m)

class SetConstructibleSet s => UniversibleConstructibleSet s where

a set from which sets can be constructed with a universal set Methods universal :: s invert :: s -> s Instances UniversibleConstructibleSet (AlwaysEmptySet a) UniversibleConstructibleSet (FunctionSet m) UniversibleConstructibleSet NullSet Ordered m => UniversibleConstructibleSet (PhaseSet m)

class MemberConstructibleSet m s | s -> m where

a set which can be constructed from single members Methods singular :: m -> s Instances Eq m => MemberConstructibleSet m (FunctionSet m) Eq a => MemberConstructibleSet a (ListSet a) MemberConstructibleSet m (SingularSet m) Ordered m => MemberConstructibleSet m (StationSet m)

class MemberKnownSet m s | s -> m where

a set which knows about membership Methods member :: s -> m -> Bool Instances MemberKnownSet a (AlwaysEmptySet a) MemberKnownSet NaNInfRational Double MemberKnownSet m (FunctionSet m) MemberKnownSet NaNInfRational EIReal Eq a => MemberKnownSet a (ListSet a) Ordered m => MemberKnownSet m (PhaseSet m) Eq m => MemberKnownSet m (SingularSet m) Ordered m => MemberKnownSet m (StationSet m)

class (Eq s, HasNothingKnown s) => SetKnownSet s where

a set which knows about subsets Methods subset :: s -> s -> Bool Instances SetKnownSet (AlwaysEmptySet a) SetKnownSet Double SetKnownSet EIReal Eq a => SetKnownSet (ListSet a) SetKnownSet NullSet Eq m => SetKnownSet (SingularSet m)

Produced by Haddock version 0.6