Safe Haskell	None
Language	Haskell2010

ProductMixAuction.BudgetConstraints.Types

Contents

Core types

Description

Core types for budget constrained PMA auctions

Synopsis

Core types

data AuctionKind Source #

Constructors

Standard
BudgetConstrained

Instances

Bounded AuctionKind Source #
Methods minBound :: AuctionKind # maxBound :: AuctionKind #
Enum AuctionKind Source #
Methods succ :: AuctionKind -> AuctionKind # pred :: AuctionKind -> AuctionKind # toEnum :: Int -> AuctionKind # fromEnum :: AuctionKind -> Int # enumFrom :: AuctionKind -> [AuctionKind] # enumFromThen :: AuctionKind -> AuctionKind -> [AuctionKind] # enumFromTo :: AuctionKind -> AuctionKind -> [AuctionKind] # enumFromThenTo :: AuctionKind -> AuctionKind -> AuctionKind -> [AuctionKind] #
Eq AuctionKind Source #
Methods (==) :: AuctionKind -> AuctionKind -> Bool # (/=) :: AuctionKind -> AuctionKind -> Bool #
Show AuctionKind Source #
Methods showsPrec :: Int -> AuctionKind -> ShowS # show :: AuctionKind -> String # showList :: [AuctionKind] -> ShowS #
Generic AuctionKind Source #
Associated Types type Rep AuctionKind :: * -> * # Methods from :: AuctionKind -> Rep AuctionKind x # to :: Rep AuctionKind x -> AuctionKind #
ToJSON AuctionKind Source #
Methods toJSON :: AuctionKind -> Value toEncoding :: AuctionKind -> Encoding toJSONList :: [AuctionKind] -> Value toEncodingList :: [AuctionKind] -> Encoding
FromJSON AuctionKind Source #
Methods parseJSON :: Value -> Parser AuctionKind parseJSONList :: Value -> Parser [AuctionKind]
Default AuctionKind Source #
Methods def :: AuctionKind
Arbitrary AuctionKind Source #
Methods arbitrary :: Gen AuctionKind shrink :: AuctionKind -> [AuctionKind]
type Rep AuctionKind Source #
type Rep AuctionKind = D1 (MetaData "AuctionKind" "ProductMixAuction.BudgetConstraints.Types" "product-mix-auction-0.1.0.0-inplace" False) ((:+:) (C1 (MetaCons "Standard" PrefixI False) U1) (C1 (MetaCons "BudgetConstrained" PrefixI False) U1))

data FilterPrices Source #

Constructors

AllPrices
FilterPrices

Instances

Bounded FilterPrices Source #
Methods minBound :: FilterPrices # maxBound :: FilterPrices #
Enum FilterPrices Source #
Methods succ :: FilterPrices -> FilterPrices # pred :: FilterPrices -> FilterPrices # toEnum :: Int -> FilterPrices # fromEnum :: FilterPrices -> Int # enumFrom :: FilterPrices -> [FilterPrices] # enumFromThen :: FilterPrices -> FilterPrices -> [FilterPrices] # enumFromTo :: FilterPrices -> FilterPrices -> [FilterPrices] # enumFromThenTo :: FilterPrices -> FilterPrices -> FilterPrices -> [FilterPrices] #
Eq FilterPrices Source #
Methods (==) :: FilterPrices -> FilterPrices -> Bool # (/=) :: FilterPrices -> FilterPrices -> Bool #
Show FilterPrices Source #
Methods showsPrec :: Int -> FilterPrices -> ShowS # show :: FilterPrices -> String # showList :: [FilterPrices] -> ShowS #
Generic FilterPrices Source #
Associated Types type Rep FilterPrices :: * -> * # Methods from :: FilterPrices -> Rep FilterPrices x # to :: Rep FilterPrices x -> FilterPrices #
Arbitrary FilterPrices Source #
Methods arbitrary :: Gen FilterPrices shrink :: FilterPrices -> [FilterPrices]
type Rep FilterPrices Source #
type Rep FilterPrices = D1 (MetaData "FilterPrices" "ProductMixAuction.BudgetConstraints.Types" "product-mix-auction-0.1.0.0-inplace" False) ((:+:) (C1 (MetaCons "AllPrices" PrefixI False) U1) (C1 (MetaCons "FilterPrices" PrefixI False) U1))

type Good = Int Source #

Goods are identified by non-negative integers (with 0 being the first good).

type Dimension = Int Source #

The number of goods must be a positive integer.

newtype Price Source #

Constructors

Price
Fields _Price :: Double

Instances

Eq Price Source #
Methods (==) :: Price -> Price -> Bool # (/=) :: Price -> Price -> Bool #
Floating Price Source #
Methods pi :: Price # exp :: Price -> Price # log :: Price -> Price # sqrt :: Price -> Price # (**) :: Price -> Price -> Price # logBase :: Price -> Price -> Price # sin :: Price -> Price # cos :: Price -> Price # tan :: Price -> Price # asin :: Price -> Price # acos :: Price -> Price # atan :: Price -> Price # sinh :: Price -> Price # cosh :: Price -> Price # tanh :: Price -> Price # asinh :: Price -> Price # acosh :: Price -> Price # atanh :: Price -> Price # log1p :: Price -> Price # expm1 :: Price -> Price # log1pexp :: Price -> Price # log1mexp :: Price -> Price #
Fractional Price Source #
Methods (/) :: Price -> Price -> Price # recip :: Price -> Price # fromRational :: Rational -> Price #
Num Price Source #
Methods (+) :: Price -> Price -> Price # (-) :: Price -> Price -> Price # (*) :: Price -> Price -> Price # negate :: Price -> Price # abs :: Price -> Price # signum :: Price -> Price # fromInteger :: Integer -> Price #
Ord Price Source #
Methods compare :: Price -> Price -> Ordering # (<) :: Price -> Price -> Bool # (<=) :: Price -> Price -> Bool # (>) :: Price -> Price -> Bool # (>=) :: Price -> Price -> Bool # max :: Price -> Price -> Price # min :: Price -> Price -> Price #
Real Price Source #
Methods toRational :: Price -> Rational #
RealFloat Price Source #
Methods floatRadix :: Price -> Integer # floatDigits :: Price -> Int # floatRange :: Price -> (Int, Int) # decodeFloat :: Price -> (Integer, Int) # encodeFloat :: Integer -> Int -> Price # exponent :: Price -> Int # significand :: Price -> Price # scaleFloat :: Int -> Price -> Price # isNaN :: Price -> Bool # isInfinite :: Price -> Bool # isDenormalized :: Price -> Bool # isNegativeZero :: Price -> Bool # isIEEE :: Price -> Bool # atan2 :: Price -> Price -> Price #
RealFrac Price Source #
Methods properFraction :: Integral b => Price -> (b, Price) # truncate :: Integral b => Price -> b # round :: Integral b => Price -> b # ceiling :: Integral b => Price -> b # floor :: Integral b => Price -> b #
Show Price Source #
Methods showsPrec :: Int -> Price -> ShowS # show :: Price -> String # showList :: [Price] -> ShowS #
Generic Price Source #
Associated Types type Rep Price :: * -> * # Methods from :: Price -> Rep Price x # to :: Rep Price x -> Price #
NFData Price Source #
Methods rnf :: Price -> () #
ToJSON Price Source #
Methods toJSON :: Price -> Value toEncoding :: Price -> Encoding toJSONList :: [Price] -> Value toEncodingList :: [Price] -> Encoding
FromJSON Price Source #
Methods parseJSON :: Value -> Parser Price parseJSONList :: Value -> Parser [Price]
ToField Price Source #
Methods toField :: Price -> Field
FromField Price Source #
Methods parseField :: Field -> Parser Price
Default Price Source #
Methods def :: Price
Random Price Source #
Methods randomR :: RandomGen g => (Price, Price) -> g -> (Price, g) random :: RandomGen g => g -> (Price, g) randomRs :: RandomGen g => (Price, Price) -> g -> [Price] randoms :: RandomGen g => g -> [Price] randomRIO :: (Price, Price) -> IO Price randomIO :: IO Price
Arbitrary Price Source #
Methods arbitrary :: Gen Price shrink :: Price -> [Price]
type Rep Price Source #
type Rep Price = D1 (MetaData "Price" "ProductMixAuction.BudgetConstraints.Types" "product-mix-auction-0.1.0.0-inplace" True) (C1 (MetaCons "Price" PrefixI True) (S1 (MetaSel (Just Symbol "_Price") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))

type PriceVector = Vector Price Source #

type QuantityVector = Vector Units Source #

justGood :: Int -> Good -> Units -> QuantityVector Source #

justGood n good units creates an n-dimensional quantity vector with zeroes everywhere except possibly in the entry for good, which is set to units.

type BidName = Text Source #

newtype Budget Source #

Constructors

Budget
Fields _Budget :: Double

Instances

Eq Budget Source #
Methods (==) :: Budget -> Budget -> Bool # (/=) :: Budget -> Budget -> Bool #
Floating Budget Source #
Methods pi :: Budget # exp :: Budget -> Budget # log :: Budget -> Budget # sqrt :: Budget -> Budget # (**) :: Budget -> Budget -> Budget # logBase :: Budget -> Budget -> Budget # sin :: Budget -> Budget # cos :: Budget -> Budget # tan :: Budget -> Budget # asin :: Budget -> Budget # acos :: Budget -> Budget # atan :: Budget -> Budget # sinh :: Budget -> Budget # cosh :: Budget -> Budget # tanh :: Budget -> Budget # asinh :: Budget -> Budget # acosh :: Budget -> Budget # atanh :: Budget -> Budget # log1p :: Budget -> Budget # expm1 :: Budget -> Budget # log1pexp :: Budget -> Budget # log1mexp :: Budget -> Budget #
Fractional Budget Source #
Methods (/) :: Budget -> Budget -> Budget # recip :: Budget -> Budget # fromRational :: Rational -> Budget #
Num Budget Source #
Methods (+) :: Budget -> Budget -> Budget # (-) :: Budget -> Budget -> Budget # (*) :: Budget -> Budget -> Budget # negate :: Budget -> Budget # abs :: Budget -> Budget # signum :: Budget -> Budget # fromInteger :: Integer -> Budget #
Ord Budget Source #
Methods compare :: Budget -> Budget -> Ordering # (<) :: Budget -> Budget -> Bool # (<=) :: Budget -> Budget -> Bool # (>) :: Budget -> Budget -> Bool # (>=) :: Budget -> Budget -> Bool # max :: Budget -> Budget -> Budget # min :: Budget -> Budget -> Budget #
Real Budget Source #
Methods toRational :: Budget -> Rational #
RealFloat Budget Source #
Methods floatRadix :: Budget -> Integer # floatDigits :: Budget -> Int # floatRange :: Budget -> (Int, Int) # decodeFloat :: Budget -> (Integer, Int) # encodeFloat :: Integer -> Int -> Budget # exponent :: Budget -> Int # significand :: Budget -> Budget # scaleFloat :: Int -> Budget -> Budget # isNaN :: Budget -> Bool # isInfinite :: Budget -> Bool # isDenormalized :: Budget -> Bool # isNegativeZero :: Budget -> Bool # isIEEE :: Budget -> Bool # atan2 :: Budget -> Budget -> Budget #
RealFrac Budget Source #
Methods properFraction :: Integral b => Budget -> (b, Budget) # truncate :: Integral b => Budget -> b # round :: Integral b => Budget -> b # ceiling :: Integral b => Budget -> b # floor :: Integral b => Budget -> b #
Show Budget Source #
Methods showsPrec :: Int -> Budget -> ShowS # show :: Budget -> String # showList :: [Budget] -> ShowS #
Generic Budget Source #
Associated Types type Rep Budget :: * -> * # Methods from :: Budget -> Rep Budget x # to :: Rep Budget x -> Budget #
ToJSON Budget Source #
Methods toJSON :: Budget -> Value toEncoding :: Budget -> Encoding toJSONList :: [Budget] -> Value toEncodingList :: [Budget] -> Encoding
FromJSON Budget Source #
Methods parseJSON :: Value -> Parser Budget parseJSONList :: Value -> Parser [Budget]
ToField Budget Source #
Methods toField :: Budget -> Field
FromField Budget Source #
Methods parseField :: Field -> Parser Budget
Default Budget Source #
Methods def :: Budget
type Rep Budget Source #
type Rep Budget = D1 (MetaData "Budget" "ProductMixAuction.BudgetConstraints.Types" "product-mix-auction-0.1.0.0-inplace" True) (C1 (MetaCons "Budget" PrefixI True) (S1 (MetaSel (Just Symbol "_Budget") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))

data Bid b Source #

A budget-constrained bid. Only threshold bids are implemented so far, not price-taking (non-competitive) bids.

Constructors

Bid
Fields _bid_label :: b A unique identifying label for this bid _bid_name :: BidName Label of the bid for display purposes only _bid_budget :: Budget Total budget offered in bid, `q^b` _bid_prices :: PriceVector Maximum unit price on each good bidder is willing to pay, `r^b_i`

Instances

Eq b => Eq (Bid b) Source #
Methods (==) :: Bid b -> Bid b -> Bool # (/=) :: Bid b -> Bid b -> Bool #
Show b => Show (Bid b) Source #
Methods showsPrec :: Int -> Bid b -> ShowS # show :: Bid b -> String # showList :: [Bid b] -> ShowS #

bid_prices :: forall b. Lens' (Bid b) PriceVector Source #

bid_name :: forall b. Lens' (Bid b) BidName Source #

bid_label :: forall b b. Lens (Bid b) (Bid b) b b Source #

bid_budget :: forall b. Lens' (Bid b) Budget Source #

bidPrice :: Good -> Bid b -> Price Source #

Get the price offered for a good by a bid.

type BidAssignments b = Map b QuantityVector Source #

Assignment of good quantities to bids

type SupplyCurveVector = Vector (SupplyCurve Units) Source #

A supply curve per good

data BCException Source #

Exception that the solver may throw

Constructors

DemandTooHigh Units (SupplyCurve Units)	when the solver tries to get the cost of supplying a given quantity of some good but the said quantity exceeds the supply curve's capacity (this is in principle ruled out by the code, but an exception is a good way to signal that this impossible case can in fact happen)
NoBids	when the solver is run on an auction with no bid
NoCandidatePriceVector	when the solver cannot find a single candidate price vector to use for exploring different allocations of quantities
DecreasingSupplyCurve Good	when the solver is run on an auction with a decreasing supply curve for the given good

Instances

Show BCException Source #
Methods showsPrec :: Int -> BCException -> ShowS # show :: BCException -> String # showList :: [BCException] -> ShowS #
Exception BCException Source #
Methods toException :: BCException -> SomeException # fromException :: SomeException -> Maybe BCException # displayException :: BCException -> String #
ToJSON BCException Source #
Methods toJSON :: BCException -> Value toEncoding :: BCException -> Encoding toJSONList :: [BCException] -> Value toEncodingList :: [BCException] -> Encoding