diff --git a/lib/Data/Internal/Dependency.hs b/lib/Data/Internal/Dependency.hs index 8ba3d44..510a38b 100644 --- a/lib/Data/Internal/Dependency.hs +++ b/lib/Data/Internal/Dependency.hs @@ -69,8 +69,8 @@ module Data.Internal.Dependency , readWireless , socketExists -- lifting - , ioSometimes - , ioAlways + -- , ioSometimes + -- , ioAlways -- feature construction , always1 , sometimes1 @@ -905,28 +905,28 @@ testDBusDepNoCache_ _ (DBusIO i) = testIODepNoCache_ i -------------------------------------------------------------------------------- -- IO Lifting functions -ioSometimes :: MonadIO m => Sometimes (IO a) -> Sometimes (m a) -ioSometimes (Sometimes n t xs) = Sometimes n t $ fmap ioSubfeature xs +-- ioSometimes :: MonadIO m => Sometimes (IO a) -> Sometimes (m a) +-- ioSometimes (Sometimes n t xs) = Sometimes n t $ fmap ioSubfeature xs -ioAlways :: MonadIO m => Always (IO a) -> Always (m a) -ioAlways (Always n x) = Always n $ ioAlways' x +-- ioAlways :: MonadIO m => Always (IO a) -> Always (m a) +-- ioAlways (Always n x) = Always n $ ioAlways' x -ioAlways' :: MonadIO m => Always_ (IO a) -> Always_ (m a) -ioAlways' (Always_ ar) = Always_ $ ioFallbackRoot ar -ioAlways' (Option sf a) = Option (ioSubfeature sf) $ ioAlways' a +-- ioAlways' :: MonadIO m => Always_ (IO a) -> Always_ (m a) +-- ioAlways' (Always_ ar) = Always_ $ ioFallbackRoot ar +-- ioAlways' (Option sf a) = Option (ioSubfeature sf) $ ioAlways' a -ioFallbackRoot :: MonadIO m => FallbackRoot (IO a) -> FallbackRoot (m a) -ioFallbackRoot (FallbackAlone a) = FallbackAlone $ io a -ioFallbackRoot (FallbackTree a s) = FallbackTree (io . a) s +-- ioFallbackRoot :: MonadIO m => FallbackRoot (IO a) -> FallbackRoot (m a) +-- ioFallbackRoot (FallbackAlone a) = FallbackAlone $ io a +-- ioFallbackRoot (FallbackTree a s) = FallbackTree (io . a) s -ioSubfeature :: MonadIO m => SubfeatureRoot (IO a) -> SubfeatureRoot (m a) -ioSubfeature sf = sf {sfData = ioRoot $ sfData sf} +-- ioSubfeature :: MonadIO m => SubfeatureRoot (IO a) -> SubfeatureRoot (m a) +-- ioSubfeature sf = sf {sfData = ioRoot $ sfData sf} -ioRoot :: MonadIO m => Root (IO a) -> Root (m a) -ioRoot (IORoot a t) = IORoot (io . a) t -ioRoot (IORoot_ a t) = IORoot_ (io a) t -ioRoot (DBusRoot a t cl) = DBusRoot (\p c -> io $ a p c) t cl -ioRoot (DBusRoot_ a t cl) = DBusRoot_ (io . a) t cl +-- ioRoot :: MonadIO m => Root (IO a) -> Root (m a) +-- ioRoot (IORoot a t) = IORoot (io . a) t +-- ioRoot (IORoot_ a t) = IORoot_ (io a) t +-- ioRoot (DBusRoot a t cl) = DBusRoot (\p c -> io $ a p c) t cl +-- ioRoot (DBusRoot_ a t cl) = DBusRoot_ (io . a) t cl -------------------------------------------------------------------------------- -- Feature constructors