Safe Haskell	None
Language	Haskell2010

Agda.Utils.VarSet

Description

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

Documentation

type VarSet = IntSet Source #

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 #