ContentsIndex
Org.Org.Semantic.HBase.Basic.SetLike
Description
These are all nominal classes, with fairly vague semantics.
Synopsis
empty :: HasNothing a => a
class HasSize i a where
size :: a -> i
length :: HasSize Int a => a -> Int
class Unionable a b ab | a b -> ab where
union :: a -> b -> ab
class Intersectable a b ab | a b -> ab where
intersect :: a -> b -> ab
class Removable a b ab | a b -> ab where
remove :: a -> b -> ab
class Xorable a b ab | a b -> ab where
xor :: a -> b -> ab
Documentation
empty :: HasNothing a => a
class HasSize i a where
Has some kind of size. If (HasNothing a), then (size empty) should be zero.
Methods
size :: a -> i
Instances
HasSize Int [a]
HasSize Integer (AlwaysEmptySet a)
Eq a => HasSize Int (ListSet a)
HasSize Integer NullSet
HasSize Integer (SingularSet m)
HasSize Int (ArrayList a)
length :: HasSize Int a => a -> Int
same as size
class Unionable a b ab | a b -> ab where
Methods
union :: a -> b -> ab
Instances
Eq a => Unionable [a] [a] [a]
Unionable (AlwaysEmptySet a) (AlwaysEmptySet a) (AlwaysEmptySet a)
MemberKnownSet m sa => Unionable sa (FunctionSet m) (FunctionSet m)
Eq a => Unionable (ListSet a) (ListSet a) (ListSet a)
Unionable NullSet NullSet NullSet
Ordered m => Unionable (PhaseSet m) (PhaseSet m) (PhaseSet m)
Ordered m => Unionable (StationSet m) (StationSet m) (StationSet m)
class Intersectable a b ab | a b -> ab where
Methods
intersect :: a -> b -> ab
Instances
Eq a => Intersectable [a] [a] [a]
Intersectable (AlwaysEmptySet a) (AlwaysEmptySet a) (AlwaysEmptySet a)
MemberKnownSet m sa => Intersectable sa (FunctionSet m) (FunctionSet m)
Eq a => Intersectable (ListSet a) (ListSet a) (ListSet a)
Intersectable NullSet NullSet NullSet
Ordered m => Intersectable (PhaseSet m) (PhaseSet m) (PhaseSet m)
Ordered m => Intersectable (StationSet m) (PhaseSet m) (StationSet m)
(Ordered m, MemberKnownSet m sa) => Intersectable sa (StationSet m) (StationSet m)
class Removable a b ab | a b -> ab where
Methods
remove :: a -> b -> ab
watch out: remove a b = b - a
Instances
Eq a => Removable [a] [a] [a]
Removable (AlwaysEmptySet a) (AlwaysEmptySet a) (AlwaysEmptySet a)
MemberKnownSet m sa => Removable sa (FunctionSet m) (FunctionSet m)
Eq a => Removable (ListSet a) (ListSet a) (ListSet a)
Removable NullSet NullSet NullSet
Ordered m => Removable (PhaseSet m) (PhaseSet m) (PhaseSet m)
(Ordered m, MemberKnownSet m sa) => Removable sa (StationSet m) (StationSet m)
class Xorable a b ab | a b -> ab where
Methods
xor :: a -> b -> ab
Instances
Xorable (AlwaysEmptySet a) (AlwaysEmptySet a) (AlwaysEmptySet a)
MemberKnownSet m sa => Xorable sa (FunctionSet m) (FunctionSet m)
Eq a => Xorable (ListSet a) (ListSet a) (ListSet a)
Xorable NullSet NullSet NullSet
Ordered m => Xorable (PhaseSet m) (PhaseSet m) (PhaseSet m)
Ordered m => Xorable (StationSet m) (StationSet m) (StationSet m)
Produced by Haddock version 0.6