Safe Haskell	None
Language	Haskell2010

Plutus.Contracts.Prism.Unlock

Contents

STO
Exchange
Errors etc.

Description

Two sample that unlock some funds by presenting the credentials. * subscribeSTO uses the credential to participate in an STO * unlockExchange uses the credential to take ownership of funds that were locked by an exchange.

Synopsis

data STOSubscriber = STOSubscriber {
- wCredential :: Credential
- wSTOIssuer :: PaymentPubKeyHash
- wSTOTokenName :: TokenName
- wSTOAmount :: Integer
}
type STOSubscriberSchema = Endpoint "sto" STOSubscriber
subscribeSTO :: forall w s. HasEndpoint "sto" STOSubscriber s => Contract w s UnlockError ()
type UnlockExchangeSchema = Endpoint "unlock from exchange" Credential
unlockExchange :: forall w s. HasEndpoint "unlock from exchange" Credential s => Contract w s UnlockError ()
data UnlockError

STO

data STOSubscriber Source #

Constructors

STOSubscriber
Fields wCredential :: Credential wSTOIssuer :: PaymentPubKeyHash wSTOTokenName :: TokenName wSTOAmount :: Integer

Instances

Instances details

Eq STOSubscriber Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods (==) :: STOSubscriber -> STOSubscriber -> Bool Source # (/=) :: STOSubscriber -> STOSubscriber -> Bool Source #
Show STOSubscriber Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods showsPrec :: Int -> STOSubscriber -> ShowS Source # show :: STOSubscriber -> String Source # showList :: [STOSubscriber] -> ShowS Source #
Generic STOSubscriber Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Associated Types type Rep STOSubscriber :: Type -> Type Source # Methods from :: STOSubscriber -> Rep STOSubscriber x Source # to :: Rep STOSubscriber x -> STOSubscriber Source #
ToJSON STOSubscriber Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods toJSON :: STOSubscriber -> Value Source # toEncoding :: STOSubscriber -> Encoding Source # toJSONList :: [STOSubscriber] -> Value Source # toEncodingList :: [STOSubscriber] -> Encoding Source #
FromJSON STOSubscriber Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods parseJSON :: Value -> Parser STOSubscriber Source # parseJSONList :: Value -> Parser [STOSubscriber] Source #
ToSchema STOSubscriber Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods toSchema :: FormSchema Source #
type Rep STOSubscriber Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock type Rep STOSubscriber = D1 ('MetaData "STOSubscriber" "Plutus.Contracts.Prism.Unlock" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "STOSubscriber" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :: S1 ('MetaSel ('Just "wSTOIssuer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PaymentPubKeyHash)) :: (S1 ('MetaSel ('Just "wSTOTokenName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TokenName) :*: S1 ('MetaSel ('Just "wSTOAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

type STOSubscriberSchema = Endpoint "sto" STOSubscriber Source #

subscribeSTO :: forall w s. HasEndpoint "sto" STOSubscriber s => Contract w s UnlockError () Source #

Obtain a token from the credential manager app, then participate in the STO

Exchange

type UnlockExchangeSchema = Endpoint "unlock from exchange" Credential Source #

unlockExchange :: forall w s. HasEndpoint "unlock from exchange" Credential s => Contract w s UnlockError () Source #

Obtain a token from the credential manager app, then use it to unlock funds that were locked by an exchange.

Errors etc.

data UnlockError Source #

Constructors

WithdrawEndpointError ContractError
WithdrawTxError ContractError
WithdrawPkError ContractError
GetCredentialStateMachineError SMContractError
GetCredentialTransitionError (InvalidTransition IDState IDAction)
UnlockExchangeTokenAccError TokenAccountError
UnlockMkTxError MkTxError

Instances

Instances details

Eq UnlockError Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods (==) :: UnlockError -> UnlockError -> Bool Source # (/=) :: UnlockError -> UnlockError -> Bool Source #
Show UnlockError Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods showsPrec :: Int -> UnlockError -> ShowS Source # show :: UnlockError -> String Source # showList :: [UnlockError] -> ShowS Source #
Generic UnlockError Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Associated Types type Rep UnlockError :: Type -> Type Source # Methods from :: UnlockError -> Rep UnlockError x Source # to :: Rep UnlockError x -> UnlockError Source #
ToJSON UnlockError Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods toJSON :: UnlockError -> Value Source # toEncoding :: UnlockError -> Encoding Source # toJSONList :: [UnlockError] -> Value Source # toEncodingList :: [UnlockError] -> Encoding Source #
FromJSON UnlockError Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods parseJSON :: Value -> Parser UnlockError Source # parseJSONList :: Value -> Parser [UnlockError] Source #
AsContractError UnlockError Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock Methods _ContractError :: Prism' UnlockError ContractError Source # _WalletContractError :: Prism' UnlockError WalletAPIError Source # _ChainIndexContractError :: Prism' UnlockError (Text, ChainIndexResponse) Source # _EmulatorAssertionContractError :: Prism' UnlockError AssertionError Source # _ConstraintResolutionContractError :: Prism' UnlockError MkTxError Source # _TxConstraintResolutionContractError :: Prism' UnlockError MkTxError Source # _TxToCardanoConvertContractError :: Prism' UnlockError ToCardanoError Source # _ResumableContractError :: Prism' UnlockError MatchingError Source # _CCheckpointContractError :: Prism' UnlockError CheckpointError Source # _EndpointDecodeContractError :: Prism' UnlockError (EndpointDescription, EndpointValue Value, Text) Source # _OtherContractError :: Prism' UnlockError Text Source #
type Rep UnlockError Source #
Instance details Defined in Plutus.Contracts.Prism.Unlock type Rep UnlockError = D1 ('MetaData "UnlockError" "Plutus.Contracts.Prism.Unlock" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) ((C1 ('MetaCons "WithdrawEndpointError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractError)) :+: (C1 ('MetaCons "WithdrawTxError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractError)) :+: C1 ('MetaCons "WithdrawPkError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractError)))) :+: ((C1 ('MetaCons "GetCredentialStateMachineError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SMContractError)) :+: C1 ('MetaCons "GetCredentialTransitionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InvalidTransition IDState IDAction)))) :+: (C1 ('MetaCons "UnlockExchangeTokenAccError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TokenAccountError)) :+: C1 ('MetaCons "UnlockMkTxError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MkTxError)))))