plutus-pab-1.2.0.0
Safe HaskellNone
LanguageHaskell2010

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 #

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

parseJSON :: Value -> Parser (ContractInstanceMsg t)

parseJSONList :: Value -> Parser [ContractInstanceMsg t]

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

pretty :: ContractInstanceMsg t -> Doc ann

prettyList :: [ContractInstanceMsg t] -> Doc ann

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Methods

toJSON :: ContractInstanceMsg t -> Value

toEncoding :: ContractInstanceMsg t -> Encoding

toJSONList :: [ContractInstanceMsg t] -> Value

toEncodingList :: [ContractInstanceMsg t] -> Encoding

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-LtxAAjtTYeqGloVmBPlsYv" '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)))))))