import           Aftok.Project (ProjectId)

  { _initiator    :: UserId

  { _projectId    :: ProjectId
  , _initiator    :: UserId

  Auction <$> fieldWith uidParser

  Auction <$> fieldWith pidParser
          <*> fieldWith uidParser

  dbEval (CreateAuction pid auc) =

  dbEval (CreateAuction auc) =

      ( pid ^. _ProjectId

      ( auc ^. (A.projectId . _ProjectId)

  CreateAuction    :: ProjectId -> Auction -> DBOp AuctionId

  CreateAuction    :: Auction -> DBOp AuctionId

checkProjectAuth :: ProjectId -> UserId -> DBOp a -> DBProg ()
checkProjectAuth pid uid act = do
  px <- findUserProjects uid
  if any (\(pid', _) -> pid' == pid) px
    then pure ()
    else void . fc $ raiseOpForbidden uid UserNotProjectMember act

      withProjectAuth (i ^. projectId) (i ^. invitingUser) act

      withProjectAuth (i ^. P.projectId) (i ^. P.invitingUser) act

createAuction :: ProjectId -> Auction -> DBProg AuctionId
createAuction pid a = do
  withProjectAuth pid (a ^. A.initiator) $ CreateAuction pid a

createAuction :: Auction -> DBProg AuctionId
createAuction a = do
  withProjectAuth (a ^. A.projectId) (a ^. A.initiator) $ CreateAuction a
findAuction :: AuctionId -> UserId -> DBProg (Maybe Auction)
findAuction aid uid = 
  let findAuc = FindAuction aid
  in  do
    maybeAuc <- fc findAuc
    _ <- traverse (\auc -> checkProjectAuth (auc ^. A.projectId) uid findAuc) maybeAuc
    pure maybeAuc

  snapEval . createAuction pid $ Auction uid (Satoshi . raiseAmount $ req) (auctionEnd req)

  snapEval . createAuction $ Auction pid uid (Satoshi . raiseAmount $ req) (auctionEnd req)