Safe Haskell	None
Language	Haskell2010

Plutus.Contracts.Game.Babbage

Contents

Scripts
Address

Description

A guessing game. A simplified version of GameStateMachine not using StateMachine and using yieldUnbalancedTx for balancing, signing and submitting transactions.

Currently, remote wallets (anything other than WBE) can only handles yieldUnbalancedTx requests, and not balanceTx, signTx and submitTx requests.

This is the "Babbage version" of the game, it uses features up to the Babbage era. It introduces reference script.

Synopsis

contract :: AsContractError e => Contract () GameSchema e ()
data GameParam = GameParam {
- gameParamOwner :: Address
- gameParamStartTime :: POSIXTime
}
type GameSchema = (Endpoint "init" GameParam .\/ Endpoint "lock" LockArgs) .\/ Endpoint "guess" GuessArgs
data LockArgs = LockArgs {
- lockArgsGameParam :: GameParam
- lockArgsGameAddress :: CardanoAddress
- lockArgsSecret :: String
- lockArgsValue :: Value
}
data GuessArgs = GuessArgs {
- guessArgsGameParam :: GameParam
- guessArgsGameAddress :: CardanoAddress
- guessArgsSecret :: String
}
gameInstance :: GameParam -> TypedValidator Game
mkValidator :: GameParam -> HashedString -> ClearString -> ScriptContext -> Bool
gameAddress :: GameParam -> CardanoAddress
covIdx :: GameParam -> CoverageIndex

Documentation

contract :: AsContractError e => Contract () GameSchema e () Source #

data GameParam Source #

Datatype for creating a parameterized validator.

Constructors

GameParam
Fields gameParamOwner :: Address Payment public key hash of the wallet locking some funds gameParamStartTime :: POSIXTime Starting time of the game

Instances

Instances details

Show GameParam Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods showsPrec :: Int -> GameParam -> ShowS Source # show :: GameParam -> String Source # showList :: [GameParam] -> ShowS Source #
Generic GameParam Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Associated Types type Rep GameParam :: Type -> Type Source # Methods from :: GameParam -> Rep GameParam x Source # to :: Rep GameParam x -> GameParam Source #
FromJSON GameParam Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods parseJSON :: Value -> Parser GameParam parseJSONList :: Value -> Parser [GameParam]
ToJSON GameParam Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods toJSON :: GameParam -> Value toEncoding :: GameParam -> Encoding toJSONList :: [GameParam] -> Value toEncodingList :: [GameParam] -> Encoding
Lift DefaultUni GameParam Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods lift :: GameParam -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni GameParam Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods typeRep :: Proxy GameParam -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep GameParam Source #
Instance details Defined in Plutus.Contracts.Game.Babbage type Rep GameParam = D1 ('MetaData "GameParam" "Plutus.Contracts.Game.Babbage" "plutus-use-cases-1.2.0.0-BuYOLXrynPcLosE012cowc" 'False) (C1 ('MetaCons "GameParam" 'PrefixI 'True) (S1 ('MetaSel ('Just "gameParamOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address) :*: S1 ('MetaSel ('Just "gameParamStartTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime)))

type GameSchema = (Endpoint "init" GameParam .\/ Endpoint "lock" LockArgs) .\/ Endpoint "guess" GuessArgs Source #

data LockArgs Source #

Arguments for the "lock" endpoint

Constructors

LockArgs
Fields lockArgsGameParam :: GameParam The parameters for parameterizing the validator. lockArgsGameAddress :: CardanoAddress The addcess that hosts the game lockArgsSecret :: String The secret lockArgsValue :: Value Value that is locked by the contract initially

Instances

Instances details

Show LockArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods showsPrec :: Int -> LockArgs -> ShowS Source # show :: LockArgs -> String Source # showList :: [LockArgs] -> ShowS Source #
Generic LockArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Associated Types type Rep LockArgs :: Type -> Type Source # Methods from :: LockArgs -> Rep LockArgs x Source # to :: Rep LockArgs x -> LockArgs Source #
FromJSON LockArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods parseJSON :: Value -> Parser LockArgs parseJSONList :: Value -> Parser [LockArgs]
ToJSON LockArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods toJSON :: LockArgs -> Value toEncoding :: LockArgs -> Encoding toJSONList :: [LockArgs] -> Value toEncodingList :: [LockArgs] -> Encoding
type Rep LockArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage type Rep LockArgs = D1 ('MetaData "LockArgs" "Plutus.Contracts.Game.Babbage" "plutus-use-cases-1.2.0.0-BuYOLXrynPcLosE012cowc" 'False) (C1 ('MetaCons "LockArgs" 'PrefixI 'True) ((S1 ('MetaSel ('Just "lockArgsGameParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GameParam) :: S1 ('MetaSel ('Just "lockArgsGameAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoAddress)) :: (S1 ('MetaSel ('Just "lockArgsSecret") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "lockArgsValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data GuessArgs Source #

Arguments for the "guess" endpoint

Constructors

GuessArgs
Fields guessArgsGameParam :: GameParam The parameters for parameterizing the validator. guessArgsGameAddress :: CardanoAddress The addcess that hosts the game guessArgsSecret :: String The guess

Instances

Instances details

Show GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods showsPrec :: Int -> GuessArgs -> ShowS Source # show :: GuessArgs -> String Source # showList :: [GuessArgs] -> ShowS Source #
Generic GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Associated Types type Rep GuessArgs :: Type -> Type Source # Methods from :: GuessArgs -> Rep GuessArgs x Source # to :: Rep GuessArgs x -> GuessArgs Source #
FromJSON GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods parseJSON :: Value -> Parser GuessArgs parseJSONList :: Value -> Parser [GuessArgs]
ToJSON GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage Methods toJSON :: GuessArgs -> Value toEncoding :: GuessArgs -> Encoding toJSONList :: [GuessArgs] -> Value toEncodingList :: [GuessArgs] -> Encoding
type Rep GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game.Babbage type Rep GuessArgs = D1 ('MetaData "GuessArgs" "Plutus.Contracts.Game.Babbage" "plutus-use-cases-1.2.0.0-BuYOLXrynPcLosE012cowc" 'False) (C1 ('MetaCons "GuessArgs" 'PrefixI 'True) (S1 ('MetaSel ('Just "guessArgsGameParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GameParam) :: (S1 ('MetaSel ('Just "guessArgsGameAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoAddress) :: S1 ('MetaSel ('Just "guessArgsSecret") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

Scripts

gameInstance :: GameParam -> TypedValidator Game Source #

mkValidator :: GameParam -> HashedString -> ClearString -> ScriptContext -> Bool Source #

The validation function (Datum -> Redeemer -> ScriptContext -> Bool)

The GameParam parameter is not used in the validation. It is meant to parameterize the script address depending based on the value of GaramParam.

Address

gameAddress :: GameParam -> CardanoAddress Source #

The address of the game (the hash of its validator script)

covIdx :: GameParam -> CoverageIndex Source #