Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Utils.VarSet
Description
Manage sets of natural numbers (de Bruijn indices).
Synopsis
- type VarSet = IntSet
- 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
- intersection :: IntSet -> IntSet -> IntSet
- mapMonotonic :: (Key -> Key) -> IntSet -> IntSet
- subtract :: Int -> VarSet -> VarSet
Documentation
toDescList :: IntSet -> [Key] #
isSubsetOf :: IntSet -> IntSet -> Bool #
difference :: IntSet -> IntSet -> IntSet #
intersection :: IntSet -> IntSet -> IntSet #
mapMonotonic :: (Key -> Key) -> IntSet -> IntSet #