gistfile1.hs

modelIO :: IO a -> Model a
modelIO action = do
  Model $ ReaderT (\_ -> action)

insertBook :: Book -> Model (LoadedCoreEntity Book)
insertBook bookSpec = do
  bookGid <- (modelIO randomIO) :: Model UUID
  bookRow <- head `fmap` query insertQuery [ toSql "Hello" ]
  return $ bookFromRow bookRow
  where insertQuery = unlines [ "INSERT INTO book (name)"
                              , "VALUES (?)"
                              , "RETURNING *"
                              ]