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 #
FromJSON ContractInstanceId
Instance details Defined in Wallet.Types Methods parseJSON :: Value -> Parser ContractInstanceId parseJSONList :: Value -> Parser [ContractInstanceId]
Pretty ContractInstanceId
Instance details Defined in Wallet.Types Methods pretty :: ContractInstanceId -> Doc ann prettyList :: [ContractInstanceId] -> Doc ann
ToJSON ContractInstanceId
Instance details Defined in Wallet.Types Methods toJSON :: ContractInstanceId -> Value toEncoding :: ContractInstanceId -> Encoding toJSONList :: [ContractInstanceId] -> Value toEncodingList :: [ContractInstanceId] -> Encoding
FromJSONKey ContractInstanceId
Instance details Defined in Wallet.Types Methods fromJSONKey :: FromJSONKeyFunction ContractInstanceId fromJSONKeyList :: FromJSONKeyFunction [ContractInstanceId]
ToJSONKey ContractInstanceId
Instance details Defined in Wallet.Types Methods toJSONKey :: ToJSONKeyFunction ContractInstanceId toJSONKeyList :: ToJSONKeyFunction [ContractInstanceId]
ToSchema ContractInstanceId
Instance details Defined in Plutus.PAB.Webserver.Types Methods declareNamedSchema :: Proxy ContractInstanceId -> Declare (Definitions Schema) NamedSchema
FromHttpApiData ContractInstanceId
Instance details Defined in Plutus.PAB.Instances Methods parseUrlPiece :: Text -> Either Text ContractInstanceId parseHeader :: ByteString -> Either Text ContractInstanceId parseQueryParam :: Text -> Either Text ContractInstanceId
ToHttpApiData ContractInstanceId
Instance details Defined in Plutus.PAB.Instances Methods toUrlPiece :: ContractInstanceId -> Text toEncodedUrlPiece :: ContractInstanceId -> Builder toHeader :: ContractInstanceId -> ByteString toQueryParam :: ContractInstanceId -> Text
ToParamSchema ContractInstanceId
Instance details Defined in Plutus.PAB.Instances Methods toParamSchema :: Proxy ContractInstanceId -> Schema
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-FH8LC9wh7UV4Nmv68NHXrC" '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 #
FromJSON IterationID
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser IterationID parseJSONList :: Value -> Parser [IterationID]
Pretty IterationID
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: IterationID -> Doc ann prettyList :: [IterationID] -> Doc ann
ToJSON IterationID
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: IterationID -> Value toEncoding :: IterationID -> Encoding toJSONList :: [IterationID] -> Value toEncodingList :: [IterationID] -> Encoding
FromJSONKey IterationID
Instance details Defined in Plutus.Contract.Resumable Methods fromJSONKey :: FromJSONKeyFunction IterationID fromJSONKeyList :: FromJSONKeyFunction [IterationID]
ToJSONKey IterationID
Instance details Defined in Plutus.Contract.Resumable Methods toJSONKey :: ToJSONKeyFunction IterationID toJSONKeyList :: ToJSONKeyFunction [IterationID]
ToSchema IterationID
Instance details Defined in Plutus.PAB.Events.ContractInstanceState Methods declareNamedSchema :: Proxy IterationID -> Declare (Definitions Schema) NamedSchema
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-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "IterationID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))