Agda.Utils.VarSet

Var field implementation of sets of (small) natural numbers.

Documentation

type VarSet = IntSet

union :: IntSet -> IntSet -> IntSet

unions :: [IntSet] -> IntSet

member :: Int -> IntSet -> Bool

empty :: IntSet

delete :: Int -> IntSet -> IntSet

singleton :: Int -> IntSet

fromList :: [Int] -> IntSet

toList :: IntSet -> [Int]

isSubsetOf :: IntSet -> IntSet -> Bool

null :: IntSet -> Bool

subtract :: Int -> VarSet -> VarSet