From 91b17fef3fea6a3a22db2aaee697e1a27e81d097 Mon Sep 17 00:00:00 2001
From: Jens Nolte <git@queezle.net>
Date: Wed, 11 Aug 2021 23:14:18 +0200
Subject: [PATCH] Remove undecidable instance
---
src/Quasar/Observable.hs | 12 ------------
1 file changed, 12 deletions(-)
diff --git a/src/Quasar/Observable.hs b/src/Quasar/Observable.hs
index f119cd6..85fcd6c 100644
--- a/src/Quasar/Observable.hs
+++ b/src/Quasar/Observable.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}
module Quasar.Observable (
@@ -94,16 +93,6 @@ observeFixed observable callback = fixIO $ \disposable -> observe observable (ca
type ObservableCallback v = ObservableMessage v -> IO ()
-instance IsRetrievable v o => IsRetrievable v (IO o) where
- retrieve :: HasResourceManager m => IO o -> m (Task v)
- retrieve = retrieve <=< liftIO
-
-instance IsObservable v o => IsObservable v (IO o) where
- observe :: IO o -> (ObservableMessage v -> IO ()) -> IO Disposable
- observe getObservable callback = do
- observable <- getObservable
- observe observable callback
-
-- | Existential quantification wrapper for the IsObservable type class.
data Observable v = forall o. IsObservable v o => Observable o
@@ -221,7 +210,6 @@ instance IsObservable r (BindObservable r) where
(\currentKey -> when (Just key == currentKey) $ callback x)
-
data CatchObservable e r = Exception e => CatchObservable (Observable r) (e -> Observable r)
instance IsRetrievable r (CatchObservable e r) where
--
GitLab