equivalence 0.1 → 0.1.1

raw patch · 3 files changed

+10/−17 lines, 3 files

Files

• equivalence.cabal +1/−1
• src/Data/Equivalence/Monad.hs +6/−11
• src/Data/Equivalence/STT.hs +3/−5

@@ -1,5 +1,5 @@ Name:            equivalence-Version:         0.1+Version:         0.1.1 License:         BSD3 License-File:    LICENSE Author:          Patrick Bahr <paba@diku.dk>

@@ -91,11 +91,9 @@ combine two equivalence class descriptors. -}  runEquivT :: (Monad m)-          -- | used to construct an equivalence class descriptor for a singleton class-          => (v -> c)-          -- | used to combine the equivalence class descriptor of two classes-          --   which are meant to be combined.-          -> (c -> c -> c)+          => (v -> c) -- ^ used to construct an equivalence class descriptor for a singleton class+          -> (c -> c -> c) -- ^ used to combine the equivalence class descriptor of two classes+                           --   which are meant to be combined.           -> (forall s. EquivT s c v m a)           -> m a runEquivT mk com m = runST $ do@@ -106,12 +104,9 @@ equivalence relation. The first tow arguments specify how to construct an equivalence class descriptor for a singleton class and how to combine two equivalence class descriptors. -}-runEquivM ::-          -- | used to construct an equivalence class descriptor for a singleton class-             (v -> c)-          -- | used to combine the equivalence class descriptor of two classes-          --   which are meant to be combined.-          -> (c -> c -> c)+runEquivM :: (v -> c) -- ^ used to construct an equivalence class descriptor for a singleton class+          -> (c -> c -> c) -- ^ used to combine the equivalence class descriptor of two classes+                           --   which are meant to be combined.           -> (forall s. EquivM s c v a)           -> a runEquivM sing comb m = runIdentity $ runEquivT sing comb m

@@ -106,11 +106,9 @@ descriptors. -}  leastEquiv :: Monad m-          -- | used to construct an equivalence class descriptor for a singleton class-           => (a -> c)-          -- | used to combine the equivalence class descriptor of two classes-          --   which are meant to be combined.-           -> (c -> c -> c)+           => (a -> c) -- ^ used to construct an equivalence class descriptor for a singleton class+           -> (c -> c -> c) -- ^ used to combine the equivalence class descriptor of two classes+                            --   which are meant to be combined.            -> STT s m (Equiv s c a) leastEquiv mk com = do    es <- newSTRef Map.empty