Agda.Utils.VarSet

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

Documentation

type VarSet = IntSet

union :: IntSet -> IntSet -> IntSet

unions :: Foldable f => f IntSet -> IntSet

member :: Key -> IntSet -> Bool

empty :: IntSet

delete :: Key -> IntSet -> IntSet

singleton :: Key -> IntSet

fromList :: [Key] -> IntSet

toList :: IntSet -> [Key]

toDescList :: IntSet -> [Key]

isSubsetOf :: IntSet -> IntSet -> Bool

null :: IntSet -> Bool

intersection :: IntSet -> IntSet -> IntSet

difference :: IntSet -> IntSet -> IntSet

subtract :: Int -> VarSet -> VarSet