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)

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