plutus-use-cases-1.1.0.0: Collection of smart contracts to develop the plutus/wallet interface
Safe HaskellNone
LanguageHaskell2010

Plutus.Contracts.SealedBidAuction

Synopsis

Documentation

data AuctionParams Source #

Definition of an auction

Constructors

AuctionParams 

Fields

  • apOwner :: Address

    Current owner of the asset. This is where the proceeds of the auction will be sent.

  • apAsset :: Value

    The asset itself. This value is going to be locked by the auction script output.

  • apEndTime :: POSIXTime

    When the time window for bidding ends.

  • apPayoutTime :: POSIXTime

    When the time window for revealing your bid ends.

Instances

Instances details
Eq AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

(==) :: AuctionParams -> AuctionParams -> Bool Source #

(/=) :: AuctionParams -> AuctionParams -> Bool Source #

Show AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

showsPrec :: Int -> AuctionParams -> ShowS Source #

show :: AuctionParams -> String Source #

showList :: [AuctionParams] -> ShowS Source #

Generic AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Associated Types

type Rep AuctionParams :: Type -> Type Source #

Methods

from :: AuctionParams -> Rep AuctionParams x Source #

to :: Rep AuctionParams x -> AuctionParams Source #

ToJSON AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

toJSON :: AuctionParams -> Value Source #

toEncoding :: AuctionParams -> Encoding Source #

toJSONList :: [AuctionParams] -> Value Source #

toEncodingList :: [AuctionParams] -> Encoding Source #

FromJSON AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

parseJSON :: Value -> Parser AuctionParams Source #

parseJSONList :: Value -> Parser [AuctionParams] Source #

Lift DefaultUni AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

lift :: AuctionParams -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

typeRep :: Proxy AuctionParams -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep AuctionParams Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

type Rep AuctionParams = D1 ('MetaData "AuctionParams" "Plutus.Contracts.SealedBidAuction" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "AuctionParams" 'PrefixI 'True) ((S1 ('MetaSel ('Just "apOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address) :*: S1 ('MetaSel ('Just "apAsset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :*: (S1 ('MetaSel ('Just "apEndTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime) :*: S1 ('MetaSel ('Just "apPayoutTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime))))

newtype BidArgs Source #

Constructors

BidArgs 

Fields

Instances

Instances details
Show BidArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

showsPrec :: Int -> BidArgs -> ShowS Source #

show :: BidArgs -> String Source #

showList :: [BidArgs] -> ShowS Source #

Generic BidArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Associated Types

type Rep BidArgs :: Type -> Type Source #

Methods

from :: BidArgs -> Rep BidArgs x Source #

to :: Rep BidArgs x -> BidArgs Source #

ToJSON BidArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

toJSON :: BidArgs -> Value Source #

toEncoding :: BidArgs -> Encoding Source #

toJSONList :: [BidArgs] -> Value Source #

toEncodingList :: [BidArgs] -> Encoding Source #

FromJSON BidArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

parseJSON :: Value -> Parser BidArgs Source #

parseJSONList :: Value -> Parser [BidArgs] Source #

type Rep BidArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

type Rep BidArgs = D1 ('MetaData "BidArgs" "Plutus.Contracts.SealedBidAuction" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'True) (C1 ('MetaCons "BidArgs" 'PrefixI 'True) (S1 ('MetaSel ('Just "secretBid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SecretArgument Integer))))

newtype RevealArgs Source #

Constructors

RevealArgs 

Fields

Instances

Instances details
Show RevealArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

showsPrec :: Int -> RevealArgs -> ShowS Source #

show :: RevealArgs -> String Source #

showList :: [RevealArgs] -> ShowS Source #

Generic RevealArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Associated Types

type Rep RevealArgs :: Type -> Type Source #

Methods

from :: RevealArgs -> Rep RevealArgs x Source #

to :: Rep RevealArgs x -> RevealArgs Source #

ToJSON RevealArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

toJSON :: RevealArgs -> Value Source #

toEncoding :: RevealArgs -> Encoding Source #

toJSONList :: [RevealArgs] -> Value Source #

toEncodingList :: [RevealArgs] -> Encoding Source #

FromJSON RevealArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

parseJSON :: Value -> Parser RevealArgs Source #

parseJSONList :: Value -> Parser [RevealArgs] Source #

type Rep RevealArgs Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

type Rep RevealArgs = D1 ('MetaData "RevealArgs" "Plutus.Contracts.SealedBidAuction" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'True) (C1 ('MetaCons "RevealArgs" 'PrefixI 'True) (S1 ('MetaSel ('Just "publicBid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data AuctionError Source #

Constructors

StateMachineContractError SMContractError

State machine operation failed

AuctionContractError ContractError

Endpoint, coin selection, etc. failed

Instances

Instances details
Eq AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

(==) :: AuctionError -> AuctionError -> Bool Source #

(/=) :: AuctionError -> AuctionError -> Bool Source #

Show AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

showsPrec :: Int -> AuctionError -> ShowS Source #

show :: AuctionError -> String Source #

showList :: [AuctionError] -> ShowS Source #

Generic AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Associated Types

type Rep AuctionError :: Type -> Type Source #

Methods

from :: AuctionError -> Rep AuctionError x Source #

to :: Rep AuctionError x -> AuctionError Source #

ToJSON AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

toJSON :: AuctionError -> Value Source #

toEncoding :: AuctionError -> Encoding Source #

toJSONList :: [AuctionError] -> Value Source #

toEncodingList :: [AuctionError] -> Encoding Source #

FromJSON AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

parseJSON :: Value -> Parser AuctionError Source #

parseJSONList :: Value -> Parser [AuctionError] Source #

AsContractError AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

_ContractError :: Prism' AuctionError ContractError Source #

_WalletContractError :: Prism' AuctionError WalletAPIError Source #

_ChainIndexContractError :: Prism' AuctionError (Text, ChainIndexResponse) Source #

_EmulatorAssertionContractError :: Prism' AuctionError AssertionError Source #

_ConstraintResolutionContractError :: Prism' AuctionError MkTxError Source #

_TxConstraintResolutionContractError :: Prism' AuctionError MkTxError Source #

_TxToCardanoConvertContractError :: Prism' AuctionError ToCardanoError Source #

_ResumableContractError :: Prism' AuctionError MatchingError Source #

_CCheckpointContractError :: Prism' AuctionError CheckpointError Source #

_EndpointDecodeContractError :: Prism' AuctionError (EndpointDescription, EndpointValue Value, Text) Source #

_OtherContractError :: Prism' AuctionError Text Source #

AsSMContractError AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

Methods

_SMContractError :: Prism' AuctionError SMContractError Source #

_ChooserError :: Prism' AuctionError Text Source #

_UnableToExtractTransition :: Prism' AuctionError () Source #

_SMCContractError :: Prism' AuctionError ContractError Source #

type Rep AuctionError Source # 
Instance details

Defined in Plutus.Contracts.SealedBidAuction

type Rep AuctionError = D1 ('MetaData "AuctionError" "Plutus.Contracts.SealedBidAuction" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "StateMachineContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SMContractError)) :+: C1 ('MetaCons "AuctionContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractError)))

type BidderSchema = (Endpoint "bid" BidArgs .\/ Endpoint "reveal" RevealArgs) .\/ Endpoint "payout" () Source #

type SellerSchema = Endpoint "payout" () Source #

startAuction :: Value -> POSIXTime -> POSIXTime -> Contract () SellerSchema AuctionError () Source #

bid :: AuctionParams -> Promise () BidderSchema AuctionError () Source #

reveal :: AuctionParams -> Promise () BidderSchema AuctionError () Source #

payout :: HasEndpoint "payout" () s => AuctionParams -> Promise () s AuctionError () Source #

packInteger :: Integer -> BuiltinByteString Source #

Pack an integer into a byte string with a leading sign byte in little-endian order

sellerContract :: AuctionParams -> Contract () SellerSchema AuctionError () Source #

Top-level contract for seller

bidderContract :: AuctionParams -> Contract () BidderSchema AuctionError () Source #

Top-level contract for buyer