[{"display_html":"data Equiv s c a","name":"Equiv","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#t:Equiv"},{"display_html":"data Class s c a","name":"Class","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#t:Class"},{"display_html":"leastEquiv :: (Monad m, Applicative m) => (a -> c) -> (c -> c -> c) -> STT s m (Equiv s c a)","name":"leastEquiv","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:leastEquiv"},{"display_html":"getClass :: (Monad m, Applicative m, Ord a) => Equiv s c a -> a -> STT s m (Class s c a)","name":"getClass","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:getClass"},{"display_html":"combine :: (Monad m, Applicative m, Ord a) => Equiv s c a -> Class s c a -> Class s c a -> STT s m (Class s c a)","name":"combine","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:combine"},{"display_html":"combineAll :: (Monad m, Applicative m, Ord a) => Equiv s c a -> [Class s c a] -> STT s m ()","name":"combineAll","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:combineAll"},{"display_html":"same :: (Monad m, Applicative m, Ord a) => Equiv s c a -> Class s c a -> Class s c a -> STT s m Bool","name":"same","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:same"},{"display_html":"desc :: (Monad m, Applicative m, Ord a) => Equiv s c a -> Class s c a -> STT s m c","name":"desc","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:desc"},{"display_html":"remove :: (Monad m, Applicative m, Ord a) => Equiv s c a -> Class s c a -> STT s m Bool","name":"remove","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:remove"},{"display_html":"equate :: (Monad m, Applicative m, Ord a) => Equiv s c a -> a -> a -> STT s m ()","name":"equate","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:equate"},{"display_html":"equateAll :: (Monad m, Applicative m, Ord a) => Equiv s c a -> [a] -> STT s m ()","name":"equateAll","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:equateAll"},{"display_html":"equivalent :: (Monad m, Applicative m, Ord a) => Equiv s c a -> a -> a -> STT s m Bool","name":"equivalent","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:equivalent"},{"display_html":"classDesc :: (Monad m, Applicative m, Ord a) => Equiv s c a -> a -> STT s m c","name":"classDesc","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:classDesc"},{"display_html":"removeClass :: (Monad m, Applicative m, Ord a) => Equiv s c a -> a -> STT s m Bool","name":"removeClass","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:removeClass"},{"display_html":"values :: (Monad m, Applicative m, Ord a) => Equiv s c a -> STT s m [a]","name":"values","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:values"},{"display_html":"classes :: (Monad m, Applicative m, Ord a) => Equiv s c a -> STT s m [Class s c a]","name":"classes","module":"Data.Equivalence.STT","link":"Data-Equivalence-STT.html#v:classes"},{"display_html":"class (Monad m, Applicative m, Ord v) => MonadEquiv c v d m | m -> v, m -> c, m -> d where","name":"MonadEquiv getClass combine combineAll desc remove equate equateAll equivalent classDesc removeClass values classes ===","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#t:MonadEquiv"},{"display_html":"newtype EquivT s c v m a = EquivT {}","name":"EquivT EquivT unEquivT","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#t:EquivT"},{"display_html":"type EquivT' s = EquivT s ()","name":"EquivT'","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#t:EquivT-39-"},{"display_html":"type EquivM s c v = EquivT s c v Identity","name":"EquivM","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#t:EquivM"},{"display_html":"type EquivM' s v = EquivM s () v","name":"EquivM'","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#t:EquivM-39-"},{"display_html":"runEquivT :: (Monad m, Applicative m) => (v -> c) -> (c -> c -> c) -> (forall s. EquivT s c v m a) -> m a","name":"runEquivT","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#v:runEquivT"},{"display_html":"runEquivT' :: (Monad m, Applicative m) => (forall s. EquivT' s v m a) -> m a","name":"runEquivT'","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#v:runEquivT-39-"},{"display_html":"runEquivM :: (v -> c) -> (c -> c -> c) -> (forall s. EquivM s c v a) -> a","name":"runEquivM","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#v:runEquivM"},{"display_html":"runEquivM' :: (forall s. EquivM' s v a) -> a","name":"runEquivM'","module":"Data.Equivalence.Monad","link":"Data-Equivalence-Monad.html#v:runEquivM-39-"}]