Skip to content
Snippets Groups Projects
Verified Commit 252a5bb8 authored by Legy (Beini)'s avatar Legy (Beini)
Browse files

Add some instances for MonadBarIO

parent dd550005
No related branches found
No related tags found
No related merge requests found
...@@ -14,6 +14,8 @@ import Control.Exception (IOException) ...@@ -14,6 +14,8 @@ import Control.Exception (IOException)
import Control.Lens import Control.Lens
import Control.Monad (forever) import Control.Monad (forever)
import Control.Monad.Reader (ReaderT, runReaderT, ask) import Control.Monad.Reader (ReaderT, runReaderT, ask)
import Control.Monad.State (StateT)
import Control.Monad.Writer (WriterT)
import Data.Aeson.TH import Data.Aeson.TH
import qualified Data.ByteString.Lazy.Char8 as C8 import qualified Data.ByteString.Lazy.Char8 as C8
import Data.Int (Int64) import Data.Int (Int64)
...@@ -93,6 +95,12 @@ instance MonadBarIO BarIO where ...@@ -93,6 +95,12 @@ instance MonadBarIO BarIO where
liftBarIO = id liftBarIO = id
instance (MonadBarIO m) => MonadBarIO (Proxy a' a b' b m) where instance (MonadBarIO m) => MonadBarIO (Proxy a' a b' b m) where
liftBarIO = lift . liftBarIO liftBarIO = lift . liftBarIO
instance (MonadBarIO m) => MonadBarIO (StateT a m) where
liftBarIO = lift . liftBarIO
instance (MonadBarIO m) => MonadBarIO (ReaderT a m) where
liftBarIO = lift . liftBarIO
instance (MonadBarIO m, Monoid a) => MonadBarIO (WriterT a m) where
liftBarIO = lift . liftBarIO
askBar :: MonadBarIO m => m Bar askBar :: MonadBarIO m => m Bar
askBar = liftBarIO $ lift ask askBar = liftBarIO $ lift ask
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment