Data.LVar.PureSet

Basic operations

data ISet s a

newEmptySet

newSet

newFromList

insert

waitElem

waitSize

Iteration and callbacks

forEach

forEachHP

Quasi-deterministic operations

freezeSetAfter

withCallbacksThenFreeze

freezeSet

fromISet

Higher-level derived operations

copy

traverseSet

traverseSet_

union

intersection

cartesianProd

cartesianProds

Alternate versions of derived ops that expose HandlerPools they create

traverseSetHP

traverseSetHP_

unionHP

intersectionHP

cartesianProdHP

cartesianProdsHP