plutus-pab-1.2.0.0
Safe Haskell None
Language Haskell2010

Plutus.PAB.Core.ContractInstance.RequestHandlers

Description

Request handlers for contract instance runners.

Synopsis

Documentation

data ContractInstanceMsg t Source #

Log messages about the contract instance

Constructors

ProcessFirstInboxMessage ContractInstanceId (Response PABResp)
SendingContractStateMessages ContractInstanceId IterationID [Request PABReq]
LookingUpStateOfContractInstance
CurrentIteration IterationID
InboxMessageDoesntMatchIteration IterationID IterationID
InboxMessageMatchesIteration
InvokingContractUpdate
ObtainedNewState
ContractLog ContractInstanceId Value
UpdatedContract ContractInstanceId IterationID
LookingUpContract ( ContractDef t)
InitialisingContract ( ContractDef t) ContractInstanceId
InitialPABResp ( PartiallyDecodedResponse PABReq)
ActivatedContractInstance ( ContractDef t) Wallet ContractInstanceId
RunRequestHandler ContractInstanceId Int
RunRequestHandlerDidNotHandleAnyEvents
StoringSignedTx CardanoTx
CallingEndpoint String ContractInstanceId Value
ProcessContractInbox ContractInstanceId
HandlingRequest RequestHandlerLogMsg
HandlingRequests ContractInstanceId [Request PABReq]
BalancingTx TxBalanceMsg
NotificationFailed NotificationError

Instances

Instances details
Eq ( ContractDef t) => Eq ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

(==) :: ContractInstanceMsg t -> ContractInstanceMsg t -> Bool Source #

(/=) :: ContractInstanceMsg t -> ContractInstanceMsg t -> Bool Source #

Show ( ContractDef t) => Show ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

showsPrec :: Int -> ContractInstanceMsg t -> ShowS Source #

show :: ContractInstanceMsg t -> String Source #

showList :: [ ContractInstanceMsg t] -> ShowS Source #

Generic ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Associated Types

type Rep ( ContractInstanceMsg t) :: Type -> Type Source #

Methods

from :: ContractInstanceMsg t -> Rep ( ContractInstanceMsg t) x Source #

to :: Rep ( ContractInstanceMsg t) x -> ContractInstanceMsg t Source #

ToJSON ( ContractDef t) => ToJSON ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

toJSON :: ContractInstanceMsg t -> Value Source #

toEncoding :: ContractInstanceMsg t -> Encoding Source #

toJSONList :: [ ContractInstanceMsg t] -> Value Source #

toEncodingList :: [ ContractInstanceMsg t] -> Encoding Source #

FromJSON ( ContractDef t) => FromJSON ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

parseJSON :: Value -> Parser ( ContractInstanceMsg t) Source #

parseJSONList :: Value -> Parser [ ContractInstanceMsg t] Source #

Pretty ( ContractDef t) => Pretty ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

pretty :: ContractInstanceMsg t -> Doc ann Source #

prettyList :: [ ContractInstanceMsg t] -> Doc ann Source #

ToJSON ( ContractDef t) => ToObject ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

toObject :: TracingVerbosity -> ContractInstanceMsg t -> Object

textTransformer :: ContractInstanceMsg t -> Object -> Text

type Rep ( ContractInstanceMsg t) Source #
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

type Rep ( ContractInstanceMsg t) = D1 (' MetaData "ContractInstanceMsg" "Plutus.PAB.Core.ContractInstance.RequestHandlers" "plutus-pab-1.2.0.0-CtfsFiD4ohhEkbPm9mkCAB" ' False ) (((( C1 (' MetaCons "ProcessFirstInboxMessage" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 (Response PABResp))) :+: C1 (' MetaCons "SendingContractStateMessages" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 IterationID ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [Request PABReq])))) :+: ( C1 (' MetaCons "LookingUpStateOfContractInstance" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: ( C1 (' MetaCons "CurrentIteration" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 IterationID )) :+: C1 (' MetaCons "InboxMessageDoesntMatchIteration" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 IterationID ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 IterationID ))))) :+: (( C1 (' MetaCons "InboxMessageMatchesIteration" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: ( C1 (' MetaCons "InvokingContractUpdate" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "ObtainedNewState" ' PrefixI ' False ) ( U1 :: Type -> Type ))) :+: ( C1 (' MetaCons "ContractLog" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Value )) :+: ( C1 (' MetaCons "UpdatedContract" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 IterationID )) :+: C1 (' MetaCons "LookingUpContract" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ContractDef t))))))) :+: ((( C1 (' MetaCons "InitialisingContract" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ContractDef t)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId )) :+: ( C1 (' MetaCons "InitialPABResp" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PartiallyDecodedResponse PABReq))) :+: C1 (' MetaCons "ActivatedContractInstance" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ContractDef t)) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Wallet) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ))))) :+: ( C1 (' MetaCons "RunRequestHandler" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Int )) :+: ( C1 (' MetaCons "RunRequestHandlerDidNotHandleAnyEvents" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "StoringSignedTx" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 CardanoTx))))) :+: (( C1 (' MetaCons "CallingEndpoint" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 String ) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Value ))) :+: ( C1 (' MetaCons "ProcessContractInbox" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId )) :+: C1 (' MetaCons "HandlingRequest" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 RequestHandlerLogMsg)))) :+: ( C1 (' MetaCons "HandlingRequests" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ContractInstanceId ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [Request PABReq])) :+: ( C1 (' MetaCons "BalancingTx" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TxBalanceMsg)) :+: C1 (' MetaCons "NotificationFailed" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 NotificationError)))))))