From 3b1104303147c587ae7f08e5c9946f5e7e11c056 Mon Sep 17 00:00:00 2001 From: Jens Nolte <git@queezle.net> Date: Tue, 31 Aug 2021 20:22:20 +0200 Subject: [PATCH] Rename HasResourceManager to IsResourceManager --- src/Quasar/Disposable.hs | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/src/Quasar/Disposable.hs b/src/Quasar/Disposable.hs index befa2e3..3e80585 100644 --- a/src/Quasar/Disposable.hs +++ b/src/Quasar/Disposable.hs @@ -10,7 +10,7 @@ module Quasar.Disposable ( -- ** ResourceManager ResourceManager, - HasResourceManager(..), + IsResourceManager(..), MonadResourceManager(..), withResourceManager, withOnResourceManager, @@ -203,11 +203,13 @@ entryIsEmpty :: ResourceManagerEntry -> STM Bool entryIsEmpty (ResourceManagerEntry var) = isEmptyTMVar var -class HasResourceManager a where - getResourceManager :: a -> ResourceManager +class IsResourceManager a where + toResourceManager :: a -> ResourceManager + -- TODO move to class + --attachDisposable :: (IsDisposable b, MonadIO m) => a -> b -> m () -instance HasResourceManager ResourceManager where - getResourceManager = id +instance IsResourceManager ResourceManager where + toResourceManager = id class (MonadAwait m, MonadMask m, MonadIO m) => MonadResourceManager m where registerDisposable :: IsDisposable a => a -> m () @@ -244,8 +246,8 @@ instance {-# OVERLAPPABLE #-} MonadResourceManager m => MonadResourceManager (Re -onResourceManager :: (HasResourceManager a) => a -> ReaderT ResourceManager m r -> m r -onResourceManager target action = runReaderT action (getResourceManager target) +onResourceManager :: (IsResourceManager a) => a -> ReaderT ResourceManager m r -> m r +onResourceManager target action = runReaderT action (toResourceManager target) -- GitLab