Unimap.Find

(Import this module qualified)

Documentation

data Changed

Constructors

ChangedYes

ChangedNo

Instances

Show Changed

Defined in Unimap

Methods

showsPrec :: Int -> Changed -> ShowS

show :: Changed -> String

showList :: [Changed] -> ShowS

Eq Changed

Defined in Unimap

Methods

(==) :: Changed -> Changed -> Bool

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

data Equiv k

Constructors

Equiv

Fields

• equivFwd :: !(IntLikeMap k (IntLikeSet k))
• equivBwd :: !(IntLikeMap k k)

Instances

Show k => Show (Equiv k)

Defined in Unimap

Methods

showsPrec :: Int -> Equiv k -> ShowS

show :: Equiv k -> String

showList :: [Equiv k] -> ShowS

Eq k => Eq (Equiv k)

Defined in Unimap

Methods

(==) :: Equiv k -> Equiv k -> Bool

(/=) :: Equiv k -> Equiv k -> Bool

data UnionFind k

Instances

Show k => Show (UnionFind k)

Defined in Unimap.Find

Methods

showsPrec :: Int -> UnionFind k -> ShowS

show :: UnionFind k -> String

showList :: [UnionFind k] -> ShowS

Eq k => Eq (UnionFind k)

Defined in Unimap.Find

Methods

(==) :: UnionFind k -> UnionFind k -> Bool

(/=) :: UnionFind k -> UnionFind k -> Bool

empty :: UnionFind k

singleton :: Coercible k Int => k -> UnionFind k

size :: UnionFind k -> Int

member :: Coercible k Int => k -> UnionFind k -> Bool

data InsertRes k

Constructors

InsertResAdded !(UnionFind k)

InsertResDuplicate

Instances

Show k => Show (InsertRes k)

Defined in Unimap.Find

Methods

showsPrec :: Int -> InsertRes k -> ShowS

show :: InsertRes k -> String

showList :: [InsertRes k] -> ShowS

Eq k => Eq (InsertRes k)

Defined in Unimap.Find

Methods

(==) :: InsertRes k -> InsertRes k -> Bool

(/=) :: InsertRes k -> InsertRes k -> Bool

data InsertVal

Constructors

InsertValInserted

InsertValDuplicate

Instances

Show InsertVal

Defined in Unimap.Find

Methods

showsPrec :: Int -> InsertVal -> ShowS

show :: InsertVal -> String

showList :: [InsertVal] -> ShowS

Eq InsertVal

Defined in Unimap.Find

Methods

(==) :: InsertVal -> InsertVal -> Bool

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

insert :: Coercible k Int => k -> UnionFind k -> InsertRes k

insertLM :: (Coercible k Int, MonadState s m) => UnionFindLens s k -> k -> m InsertVal

insertM :: (Coercible k Int, MonadState (UnionFind k) m) => k -> m InsertVal

data LookupRes k

Constructors

LookupResMissing !k

LookupResFound !k !(IntLikeSet k) !(Maybe (UnionFind k))

Instances

Show k => Show (LookupRes k)

Defined in Unimap.Find

Methods

showsPrec :: Int -> LookupRes k -> ShowS

show :: LookupRes k -> String

showList :: [LookupRes k] -> ShowS

Eq k => Eq (LookupRes k)

Defined in Unimap.Find

Methods

(==) :: LookupRes k -> LookupRes k -> Bool

(/=) :: LookupRes k -> LookupRes k -> Bool

data LookupVal k

Constructors

LookupValMissing !k

LookupValOk !k !(IntLikeSet k) !Changed

Instances

Show k => Show (LookupVal k)

Defined in Unimap.Find

Methods

showsPrec :: Int -> LookupVal k -> ShowS

show :: LookupVal k -> String

showList :: [LookupVal k] -> ShowS

Eq k => Eq (LookupVal k)

Defined in Unimap.Find

Methods

(==) :: LookupVal k -> LookupVal k -> Bool

(/=) :: LookupVal k -> LookupVal k -> Bool

lookup :: Coercible k Int => k -> UnionFind k -> LookupRes k

lookupLM :: (Coercible k Int, MonadState s m) => UnionFindLens s k -> k -> m (LookupVal k)

lookupM :: (Coercible k Int, MonadState (UnionFind k) m) => k -> m (LookupVal k)

equiv :: Coercible k Int => UnionFind k -> (Equiv k, Maybe (UnionFind k))

equivLM :: (Coercible k Int, MonadState s m) => UnionFindLens s k -> m (Equiv k)

equivM :: (Coercible k Int, MonadState (UnionFind k) m) => m (Equiv k)

compact :: Coercible k Int => UnionFind k -> (IntLikeMap k k, UnionFind k)

compactLM :: (Coercible k Int, MonadState s m) => UnionFindLens s k -> m (IntLikeMap k k)

compactM :: (Coercible k Int, MonadState (UnionFind k) m) => m (IntLikeMap k k)

data MergeRes k

Constructors

MergeResMissing !k

MergeResMerged !k !(IntLikeSet k) !(UnionFind k)

Instances

Show k => Show (MergeRes k)

Defined in Unimap.Find

Methods

showsPrec :: Int -> MergeRes k -> ShowS

show :: MergeRes k -> String

showList :: [MergeRes k] -> ShowS

Eq k => Eq (MergeRes k)

Defined in Unimap.Find

Methods

(==) :: MergeRes k -> MergeRes k -> Bool

(/=) :: MergeRes k -> MergeRes k -> Bool

data MergeVal k

Constructors

MergeValMissing !k

MergeValMerged !k !(IntLikeSet k)

Instances

Show k => Show (MergeVal k)

Defined in Unimap.Find

Methods

showsPrec :: Int -> MergeVal k -> ShowS

show :: MergeVal k -> String

showList :: [MergeVal k] -> ShowS

Eq k => Eq (MergeVal k)

Defined in Unimap.Find

Methods

(==) :: MergeVal k -> MergeVal k -> Bool

(/=) :: MergeVal k -> MergeVal k -> Bool

mergeOne :: (Coercible k Int, Eq k) => k -> k -> UnionFind k -> MergeRes k

mergeOneLM :: (Coercible k Int, Eq k, MonadState s m) => UnionFindLens s k -> k -> k -> m (MergeVal k)

mergeOneM :: (Coercible k Int, Eq k, MonadState (UnionFind k) m) => k -> k -> m (MergeVal k)

mergeMany :: (Traversable f, Coercible k Int, Eq k) => k -> f k -> UnionFind k -> MergeRes k

mergeManyLM :: (Traversable f, Coercible k Int, Eq k, MonadState s m) => UnionFindLens s k -> k -> f k -> m (MergeVal k)

mergeManyM :: (Traversable f, Coercible k Int, Eq k, MonadState (UnionFind k) m) => k -> f k -> m (MergeVal k)