other-modules: Aftok.AuctionSpec
               , Aftok.Generators
               , Aftok.PaymentsSpec
               , Aftok.TimeLogSpec
               , Aftok.Util.HttpSpec

    , haskoin-core 

{-# OPTIONS_GHC -Wwarn -fno-warn-orphans #-}

import           Aftok
import           Aftok.Auction
import           Aftok.Types

import           Aftok
import           Aftok.Auction
import           Aftok.Generators
import           Aftok.Types

uuidGen :: Gen UUID
uuidGen = fromWords <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary

genSatoshi :: Gen Satoshi
genSatoshi = Satoshi <$> arbitrary

genBid = Bid <$> (UserId <$> uuidGen)

genBid = Bid <$> (UserId <$> genUUID)

          InsufficientBids t  ->

          InsufficientBids _  ->

module Aftok.Generators where
import           ClassyPrelude
import           Data.UUID
import           Network.Haskoin.Test (ArbitraryAddress(..))
import           Aftok (BtcAddr(..))
import           Aftok.Types (Satoshi(..))
import           Test.QuickCheck
genUUID :: Gen UUID
genUUID = fromWords <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary
genSatoshi :: Gen Satoshi
genSatoshi = Satoshi <$> arbitrary
genBtcAddr :: Gen BtcAddr
genBtcAddr = fmap (\(ArbitraryAddress addr) -> BtcAddr addr) arbitrary

{-# OPTIONS_GHC -Wwarn -fno-warn-orphans #-}
module Aftok.PaymentsSpec (main, spec) where
import           ClassyPrelude
import           Test.Hspec
spec :: Spec
spec = do
    describe "finding unbilled dates" $ do
      pure ()
      --it "returns the billing date in the presence of an expired payment request" $
      --  forAll ((,) <$> genSatoshi <*> listOf genBid) $
      --    \(raiseAmount', bids) ->
      --      case runAuction' raiseAmount' bids of
      --        WinningBids xs     -> bidsTotal xs == raiseAmount'
      --        InsufficientBids t -> t == (raiseAmount' - bidsTotal bids)
main :: IO ()
main = hspec spec

import           Aftok.Generators

genBtcAddr :: Gen BtcAddr
genBtcAddr =
  BtcAddr . pack <$> vectorOf 34 arbitrary

                  pure (addr, ivals)

                  pure (CreditToAddress addr, ivals)

          testIntervals :: [(BtcAddr, Interval)]

          testIntervals :: [(CreditTo, Interval)]

            pure $ (addr, I.interval start' end')

            pure $ (CreditToAddress addr, I.interval start' end')