Commit 29b72c00 authored by Ben Gamari's avatar Ben Gamari 🐢

VarSet: Introduce nonDetFoldVarSet

parent e8004e5d
......@@ -23,6 +23,7 @@ module VarSet (
sizeVarSet, seqVarSet,
elemVarSetByKey, partitionVarSet,
pluralVarSet, pprVarSet,
nonDetFoldVarSet,
-- * Deterministic Var set types
DVarSet, DIdSet, DTyVarSet, DTyCoVarSet,
......@@ -151,6 +152,9 @@ allVarSet = uniqSetAll
mapVarSet :: Uniquable b => (a -> b) -> UniqSet a -> UniqSet b
mapVarSet = mapUniqSet
nonDetFoldVarSet :: (Var -> a -> a) -> a -> VarSet -> a
nonDetFoldVarSet = nonDetFoldUniqSet
fixVarSet :: (VarSet -> VarSet) -- Map the current set to a new set
-> VarSet -> VarSet
-- (fixVarSet f s) repeatedly applies f to the set s,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment