IR.Constraint.UnionFind
data Point a Source #
Defined in IR.Constraint.UnionFind
Methods
(==) :: Point a -> Point a -> Bool #
(/=) :: Point a -> Point a -> Bool #
fresh :: MonadIO m => a -> m (Point a) Source #
union :: (MonadIO m, MonadFail m) => Point a -> Point a -> a -> m () Source #
equivalent :: MonadIO m => Point a -> Point a -> m Bool Source #
redundant :: MonadIO m => Point a -> m Bool Source #
get :: MonadIO m => Point a -> m a Source #
set :: MonadIO m => Point a -> a -> m () Source #
modify :: MonadIO m => Point a -> (a -> a) -> m () Source #