Heart.Core.UnionFind

Documentation

data PartitionAlloc

data Term

Instances

Eq Term

Defined in Heart.Core.UnionFind

Methods

(==) :: Term -> Term -> Bool

(/=) :: Term -> Term -> Bool

Ord Term

Defined in Heart.Core.UnionFind

Methods

compare :: Term -> Term -> Ordering

(<) :: Term -> Term -> Bool

(<=) :: Term -> Term -> Bool

(>) :: Term -> Term -> Bool

(>=) :: Term -> Term -> Bool

max :: Term -> Term -> Term

min :: Term -> Term -> Term

Hashable Term

Defined in Heart.Core.UnionFind

Methods

hashWithSalt :: Int -> Term -> Int

hash :: Term -> Int

newPartitionAlloc :: MonadIO m => m PartitionAlloc

newTerm :: MonadIO m => PartitionAlloc -> m Term

findTermRank :: MonadIO m => Term -> m (Int, Term)

findTerm :: MonadIO m => Term -> m Term

unionTerm :: MonadIO m => Term -> Term -> m ()

decideEqTerm :: MonadIO m => Term -> Term -> m Bool

hashSplitClasses :: (Eq k, Hashable k, MonadIO m) => HashMap k Term -> m (HashMultiMap Term k)

ordSplitClasses :: (Ord k, MonadIO m) => Map k Term -> m (OrdMultiMap Term k)