Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

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 #