Safe Haskell	None
Language	Haskell2010

Plutus.PAB.Events.Contract

Synopsis

newtype ContractInstanceId = ContractInstanceId {
- unContractInstanceId :: UUID
}
data IterationID

Documentation

The events that compiled Plutus contracts are concerned with. For each type of event there is a request constructor in ContractRequest and a response constructor in ContractResponse .

newtype ContractInstanceId #

Constructors

ContractInstanceId
Fields unContractInstanceId :: UUID

Instances

Instances details

Eq ContractInstanceId
Instance details Defined in Wallet.Types Methods (==) :: ContractInstanceId -> ContractInstanceId -> Bool Source # (/=) :: ContractInstanceId -> ContractInstanceId -> Bool Source #
Ord ContractInstanceId
Instance details Defined in Wallet.Types Methods compare :: ContractInstanceId -> ContractInstanceId -> Ordering Source # (<) :: ContractInstanceId -> ContractInstanceId -> Bool Source # (<=) :: ContractInstanceId -> ContractInstanceId -> Bool Source # (>) :: ContractInstanceId -> ContractInstanceId -> Bool Source # (>=) :: ContractInstanceId -> ContractInstanceId -> Bool Source # max :: ContractInstanceId -> ContractInstanceId -> ContractInstanceId Source # min :: ContractInstanceId -> ContractInstanceId -> ContractInstanceId Source #
Show ContractInstanceId
Instance details Defined in Wallet.Types Methods showsPrec :: Int -> ContractInstanceId -> ShowS Source # show :: ContractInstanceId -> String Source # showList :: [ ContractInstanceId ] -> ShowS Source #
Generic ContractInstanceId
Instance details Defined in Wallet.Types Associated Types type Rep ContractInstanceId :: Type -> Type Source # Methods from :: ContractInstanceId -> Rep ContractInstanceId x Source # to :: Rep ContractInstanceId x -> ContractInstanceId Source #
ToJSON ContractInstanceId
Instance details Defined in Wallet.Types Methods toJSON :: ContractInstanceId -> Value Source # toEncoding :: ContractInstanceId -> Encoding Source # toJSONList :: [ ContractInstanceId ] -> Value Source # toEncodingList :: [ ContractInstanceId ] -> Encoding Source #
ToJSONKey ContractInstanceId
Instance details Defined in Wallet.Types Methods toJSONKey :: ToJSONKeyFunction ContractInstanceId Source # toJSONKeyList :: ToJSONKeyFunction [ ContractInstanceId ] Source #
FromJSON ContractInstanceId
Instance details Defined in Wallet.Types Methods parseJSON :: Value -> Parser ContractInstanceId Source # parseJSONList :: Value -> Parser [ ContractInstanceId ] Source #
FromJSONKey ContractInstanceId
Instance details Defined in Wallet.Types Methods fromJSONKey :: FromJSONKeyFunction ContractInstanceId Source # fromJSONKeyList :: FromJSONKeyFunction [ ContractInstanceId ] Source #
ToHttpApiData ContractInstanceId Source #
Instance details Defined in Plutus.PAB.Instances Methods toUrlPiece :: ContractInstanceId -> Text Source # toEncodedUrlPiece :: ContractInstanceId -> Builder Source # toHeader :: ContractInstanceId -> ByteString Source # toQueryParam :: ContractInstanceId -> Text Source #
FromHttpApiData ContractInstanceId Source #
Instance details Defined in Plutus.PAB.Instances Methods parseUrlPiece :: Text -> Either Text ContractInstanceId Source # parseHeader :: ByteString -> Either Text ContractInstanceId Source # parseQueryParam :: Text -> Either Text ContractInstanceId Source #
ToSchema ContractInstanceId Source #
Instance details Defined in Plutus.PAB.Webserver.Types Methods declareNamedSchema :: Proxy ContractInstanceId -> Declare ( Definitions Schema ) NamedSchema Source #
ToParamSchema ContractInstanceId Source #
Instance details Defined in Plutus.PAB.Instances Methods toParamSchema :: Proxy ContractInstanceId -> Schema Source #
Pretty ContractInstanceId
Instance details Defined in Wallet.Types Methods pretty :: ContractInstanceId -> Doc ann Source # prettyList :: [ ContractInstanceId ] -> Doc ann Source #
StructuredLog ContractInstanceId Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: ContractInstanceId -> KeyMap Value Source #
type Rep ContractInstanceId
Instance details Defined in Wallet.Types type Rep ContractInstanceId = D1 (' MetaData "ContractInstanceId" "Wallet.Types" "plutus-contract-1.2.0.0-F2EmWlEssiSHvHmbQf9u7L" ' True ) ( C1 (' MetaCons "ContractInstanceId" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unContractInstanceId") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 UUID )))

data IterationID #

Instances

Instances details

Enum IterationID
Instance details Defined in Plutus.Contract.Resumable Methods succ :: IterationID -> IterationID Source # pred :: IterationID -> IterationID Source # toEnum :: Int -> IterationID Source # fromEnum :: IterationID -> Int Source # enumFrom :: IterationID -> [ IterationID ] Source # enumFromThen :: IterationID -> IterationID -> [ IterationID ] Source # enumFromTo :: IterationID -> IterationID -> [ IterationID ] Source # enumFromThenTo :: IterationID -> IterationID -> IterationID -> [ IterationID ] Source #
Eq IterationID
Instance details Defined in Plutus.Contract.Resumable Methods (==) :: IterationID -> IterationID -> Bool Source # (/=) :: IterationID -> IterationID -> Bool Source #
Num IterationID
Instance details Defined in Plutus.Contract.Resumable Methods (+) :: IterationID -> IterationID -> IterationID Source # (-) :: IterationID -> IterationID -> IterationID Source # (*) :: IterationID -> IterationID -> IterationID Source # negate :: IterationID -> IterationID Source # abs :: IterationID -> IterationID Source # signum :: IterationID -> IterationID Source # fromInteger :: Integer -> IterationID Source #
Ord IterationID
Instance details Defined in Plutus.Contract.Resumable Methods compare :: IterationID -> IterationID -> Ordering Source # (<) :: IterationID -> IterationID -> Bool Source # (<=) :: IterationID -> IterationID -> Bool Source # (>) :: IterationID -> IterationID -> Bool Source # (>=) :: IterationID -> IterationID -> Bool Source # max :: IterationID -> IterationID -> IterationID Source # min :: IterationID -> IterationID -> IterationID Source #
Show IterationID
Instance details Defined in Plutus.Contract.Resumable Methods showsPrec :: Int -> IterationID -> ShowS Source # show :: IterationID -> String Source # showList :: [ IterationID ] -> ShowS Source #
Generic IterationID
Instance details Defined in Plutus.Contract.Resumable Associated Types type Rep IterationID :: Type -> Type Source # Methods from :: IterationID -> Rep IterationID x Source # to :: Rep IterationID x -> IterationID Source #
Semigroup IterationID
Instance details Defined in Plutus.Contract.Resumable Methods (<>) :: IterationID -> IterationID -> IterationID Source # sconcat :: NonEmpty IterationID -> IterationID Source # stimes :: Integral b => b -> IterationID -> IterationID Source #
Monoid IterationID
Instance details Defined in Plutus.Contract.Resumable Methods mempty :: IterationID Source # mappend :: IterationID -> IterationID -> IterationID Source # mconcat :: [ IterationID ] -> IterationID Source #
ToJSON IterationID
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: IterationID -> Value Source # toEncoding :: IterationID -> Encoding Source # toJSONList :: [ IterationID ] -> Value Source # toEncodingList :: [ IterationID ] -> Encoding Source #
ToJSONKey IterationID
Instance details Defined in Plutus.Contract.Resumable Methods toJSONKey :: ToJSONKeyFunction IterationID Source # toJSONKeyList :: ToJSONKeyFunction [ IterationID ] Source #
FromJSON IterationID
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser IterationID Source # parseJSONList :: Value -> Parser [ IterationID ] Source #
FromJSONKey IterationID
Instance details Defined in Plutus.Contract.Resumable Methods fromJSONKey :: FromJSONKeyFunction IterationID Source # fromJSONKeyList :: FromJSONKeyFunction [ IterationID ] Source #
ToSchema IterationID Source #
Instance details Defined in Plutus.PAB.Events.ContractInstanceState Methods declareNamedSchema :: Proxy IterationID -> Declare ( Definitions Schema ) NamedSchema Source #
Pretty IterationID
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: IterationID -> Doc ann Source # prettyList :: [ IterationID ] -> Doc ann Source #
StructuredLog IterationID Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: IterationID -> KeyMap Value Source #
type Rep IterationID
Instance details Defined in Plutus.Contract.Resumable type Rep IterationID = D1 (' MetaData "IterationID" "Plutus.Contract.Resumable" "plutus-contract-1.2.0.0-F2EmWlEssiSHvHmbQf9u7L" ' True ) ( C1 (' MetaCons "IterationID" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural )))