ContentsIndex
Boolean.Set
Description

This creates the boolean algebra of sets from any base boolean algebra. note that the sets created are true sets in the mathematical sense, not the usual programatic aproximation.

A generalized set can be thought of as a map from keys to boolean values. perhaps the 'map with default' should be seperated out?

Documentation
data Set k v
Constructors
Set v (Map k v)
show/hide Instances
Functor (Set k)
BooleanAlgebra v => BooleanAlgebra (Set k v)
SemiBooleanAlgebra v => SemiBooleanAlgebra (Set k v)
combine :: (v -> v -> v) -> Set k v -> Set k v -> Set k v
member :: k -> Set k v -> v
Produced by Haddock version 0.8