Data.LVar.SatMap

class PartialJoinSemiLattice a

data SatMap k s v

type SatMapContents k v

type OnSat

forEachHP

newEmptyMap

newMap

newFromList

withCallbacksThenFreeze

forEach

insert

whenSat

saturate

fromIMap

t0

t1