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

Agda.Utils.VarSet

Description

Manage sets of natural numbers (de Bruijn indices).

Synopsis

Documentation

type VarSet = IntSet Source #

empty :: IntSet #

insert :: Key -> IntSet -> IntSet #

singleton :: Key -> IntSet #

union :: IntSet -> IntSet -> IntSet #

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

fromList :: [Key] -> IntSet #

toList :: IntSet -> [Key] #

toAscList :: IntSet -> [Key] #

toDescList :: IntSet -> [Key] #

disjoint :: IntSet -> IntSet -> Bool #

isSubsetOf :: IntSet -> IntSet -> Bool #

member :: Key -> IntSet -> Bool #

null :: IntSet -> Bool #

delete :: Key -> IntSet -> IntSet #

difference :: IntSet -> IntSet -> IntSet #

filter :: (Key -> Bool) -> IntSet -> IntSet #

filterGE :: Int -> VarSet -> VarSet Source #

Keep only elements greater or equal to the given pivot.

intersection :: IntSet -> IntSet -> IntSet #

mapMonotonic :: (Key -> Key) -> IntSet -> IntSet #

subtract :: Int -> VarSet -> VarSet Source #

Subtract from each element.