Safe Haskell	None
Language	Haskell2010

Plutus.Contracts.Game

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.

Synopsis

contract :: AsContractError e => Contract () GameSchema e ()
data GameParam = GameParam {
- gameParamPayeePkh :: PaymentPubKeyHash
- gameParamStartTime :: POSIXTime
}
type GameSchema = Endpoint "lock" LockArgs .\/ Endpoint "guess" GuessArgs
data LockArgs = LockArgs {
- lockArgsGameParam :: GameParam
- lockArgsSecret :: String
- lockArgsValue :: Value
}
data GuessArgs = GuessArgs {
- guessArgsGameParam :: GameParam
- 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 gameParamPayeePkh :: PaymentPubKeyHash 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 Methods showsPrec :: Int -> GameParam -> ShowS Source # show :: GameParam -> String Source # showList :: [GameParam] -> ShowS Source #
Generic GameParam Source #
Instance details Defined in Plutus.Contracts.Game Associated Types type Rep GameParam :: Type -> Type Source # Methods from :: GameParam -> Rep GameParam x Source # to :: Rep GameParam x -> GameParam Source #
ToJSON GameParam Source #
Instance details Defined in Plutus.Contracts.Game Methods toJSON :: GameParam -> Value Source # toEncoding :: GameParam -> Encoding Source # toJSONList :: [GameParam] -> Value Source # toEncodingList :: [GameParam] -> Encoding Source #
FromJSON GameParam Source #
Instance details Defined in Plutus.Contracts.Game Methods parseJSON :: Value -> Parser GameParam Source # parseJSONList :: Value -> Parser [GameParam] Source #
ToSchema GameParam Source #
Instance details Defined in Plutus.Contracts.Game Methods toSchema :: FormSchema Source #
Lift DefaultUni GameParam Source #
Instance details Defined in Plutus.Contracts.Game Methods lift :: GameParam -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni GameParam Source #
Instance details Defined in Plutus.Contracts.Game Methods typeRep :: Proxy GameParam -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep GameParam Source #
Instance details Defined in Plutus.Contracts.Game type Rep GameParam = D1 ('MetaData "GameParam" "Plutus.Contracts.Game" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "GameParam" 'PrefixI 'True) (S1 ('MetaSel ('Just "gameParamPayeePkh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PaymentPubKeyHash) :*: S1 ('MetaSel ('Just "gameParamStartTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime)))

type GameSchema = 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. 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 Methods showsPrec :: Int -> LockArgs -> ShowS Source # show :: LockArgs -> String Source # showList :: [LockArgs] -> ShowS Source #
Generic LockArgs Source #
Instance details Defined in Plutus.Contracts.Game Associated Types type Rep LockArgs :: Type -> Type Source # Methods from :: LockArgs -> Rep LockArgs x Source # to :: Rep LockArgs x -> LockArgs Source #
ToJSON LockArgs Source #
Instance details Defined in Plutus.Contracts.Game Methods toJSON :: LockArgs -> Value Source # toEncoding :: LockArgs -> Encoding Source # toJSONList :: [LockArgs] -> Value Source # toEncodingList :: [LockArgs] -> Encoding Source #
FromJSON LockArgs Source #
Instance details Defined in Plutus.Contracts.Game Methods parseJSON :: Value -> Parser LockArgs Source # parseJSONList :: Value -> Parser [LockArgs] Source #
ToSchema LockArgs Source #
Instance details Defined in Plutus.Contracts.Game Methods toSchema :: FormSchema Source #
type Rep LockArgs Source #
Instance details Defined in Plutus.Contracts.Game type Rep LockArgs = D1 ('MetaData "LockArgs" "Plutus.Contracts.Game" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "LockArgs" 'PrefixI 'True) (S1 ('MetaSel ('Just "lockArgsGameParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GameParam) :: (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. guessArgsSecret :: String The guess

Instances

Instances details

Show GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game Methods showsPrec :: Int -> GuessArgs -> ShowS Source # show :: GuessArgs -> String Source # showList :: [GuessArgs] -> ShowS Source #
Generic GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game Associated Types type Rep GuessArgs :: Type -> Type Source # Methods from :: GuessArgs -> Rep GuessArgs x Source # to :: Rep GuessArgs x -> GuessArgs Source #
ToJSON GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game Methods toJSON :: GuessArgs -> Value Source # toEncoding :: GuessArgs -> Encoding Source # toJSONList :: [GuessArgs] -> Value Source # toEncodingList :: [GuessArgs] -> Encoding Source #
FromJSON GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game Methods parseJSON :: Value -> Parser GuessArgs Source # parseJSONList :: Value -> Parser [GuessArgs] Source #
ToSchema GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game Methods toSchema :: FormSchema Source #
type Rep GuessArgs Source #
Instance details Defined in Plutus.Contracts.Game type Rep GuessArgs = D1 ('MetaData "GuessArgs" "Plutus.Contracts.Game" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "GuessArgs" 'PrefixI 'True) (S1 ('MetaSel ('Just "guessArgsGameParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GameParam) :*: 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 #