@@ -296,8 +296,14 @@ data Row = Row {
296newtype RowParser a = RP { unRP :: ReaderT Row (StateT PQ.Column Conversion) a }
296newtype RowParser a = RP { unRP :: ReaderT Row (StateT PQ.Column Conversion) a }
297 deriving ( Functor, Applicative, Alternative, Monad )
297 deriving ( Functor, Applicative, Alternative, Monad )
299+liftRowParser :: IO a -> RowParser a
300+liftRowParser = lift . lift
299newtype Conversion a = Conversion { runConversion :: Connection -> IO (Ok a) }
302newtype Conversion a = Conversion { runConversion :: Connection -> IO (Ok a) }
304+liftConversion :: IO a -> Conversion a
305+liftConversion m = Conversion (\_ -> Ok <$> m)
301instance Functor Conversion where
307instance Functor Conversion where
302 fmap f m = Conversion $ \conn -> (fmap . fmap) f (runConversion m conn)
308 fmap f m = Conversion $ \conn -> (fmap . fmap) f (runConversion m conn)