-- = Uploading a file
-- | provide data from a user-push request
pushUProvider :: PushURequest -> Query Morgue PushUData
pushUProvider (PushURequest user file) = do
    morgue <- ask
    return (getOne $ allUsers morgue @= user, file)

-- | add a file to a user's files
pushUProvider :: PushURequest -> Query Morgue PushUData
pushUProvider (PushURequest user file) = do
    morgue <- ask
    return (getOne $ allUsers morgue @= user, file)

-- | add a file to a user's files
pushUProvider (PushURequest user file) = do
    morgue <- ask
    return (getOne $ allUsers morgue @= user, file)

-- | add a file to a user's files