plutus-pab-0.1.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

Instances

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Generic (ContractInstanceMsg t) Source # 
Instance details

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

Associated Types

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

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

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

Defined in Plutus.PAB.Core.ContractInstance.RequestHandlers

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-0.1.0.0-1vc1rt5g5zvBlHvXKfwLQ7" '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 Tx))))) :+: ((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)))))))