plutus-contract-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Wallet.Types

Description

Defines a number of types that are used in Wallet.XXX modules

Synopsis

Documentation

newtype ContractInstanceId Source #

Unique ID for contract instance

Instances

Instances details
Eq ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

Ord ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

Show ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

Generic ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

Associated Types

type Rep ContractInstanceId :: Type -> Type Source #

ToJSON ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

ToJSONKey ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

FromJSON ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

FromJSONKey ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

ToSchema ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

Pretty ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

type Rep ContractInstanceId Source # 
Instance details

Defined in Wallet.Types

type Rep ContractInstanceId = D1 ('MetaData "ContractInstanceId" "Wallet.Types" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" 'True) (C1 ('MetaCons "ContractInstanceId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unContractInstanceId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))

contractInstanceIDs :: [ContractInstanceId] Source #

A pure list of all ContractInstanceId values. To be used in testing.

data ContractActivityStatus Source #

Constructors

Active 
Stopped 
Done 

Instances

Instances details
Eq ContractActivityStatus Source # 
Instance details

Defined in Wallet.Types

Show ContractActivityStatus Source # 
Instance details

Defined in Wallet.Types

Generic ContractActivityStatus Source # 
Instance details

Defined in Wallet.Types

Associated Types

type Rep ContractActivityStatus :: Type -> Type Source #

ToJSON ContractActivityStatus Source # 
Instance details

Defined in Wallet.Types

FromJSON ContractActivityStatus Source # 
Instance details

Defined in Wallet.Types

ToSchema ContractActivityStatus Source # 
Instance details

Defined in Wallet.Types

type Rep ContractActivityStatus Source # 
Instance details

Defined in Wallet.Types

type Rep ContractActivityStatus = D1 ('MetaData "ContractActivityStatus" "Wallet.Types" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" 'False) (C1 ('MetaCons "Active" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Stopped" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Done" 'PrefixI 'False) (U1 :: Type -> Type)))

data Notification Source #

Instances

Instances details
Eq Notification Source # 
Instance details

Defined in Wallet.Types

Show Notification Source # 
Instance details

Defined in Wallet.Types

Generic Notification Source # 
Instance details

Defined in Wallet.Types

Associated Types

type Rep Notification :: Type -> Type Source #

ToJSON Notification Source # 
Instance details

Defined in Wallet.Types

FromJSON Notification Source # 
Instance details

Defined in Wallet.Types

Pretty Notification Source # 
Instance details

Defined in Wallet.Types

type Rep Notification Source # 
Instance details

Defined in Wallet.Types

type Rep Notification = D1 ('MetaData "Notification" "Wallet.Types" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" 'False) (C1 ('MetaCons "Notification" 'PrefixI 'True) (S1 ('MetaSel ('Just "notificationContractID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractInstanceId) :*: (S1 ('MetaSel ('Just "notificationContractEndpoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EndpointDescription) :*: S1 ('MetaSel ('Just "notificationContractArg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data NotificationError Source #

Constructors

EndpointNotAvailable ContractInstanceId EndpointDescription 
MoreThanOneEndpointAvailable ContractInstanceId EndpointDescription 
InstanceDoesNotExist ContractInstanceId 
NotificationJSONDecodeError EndpointDescription Value String

Indicates that the target contract does not have the expected schema

TODO: SCP-2137 Not currently used. As endpoint parameter decoding happends inside the Contract and a throwError is used is decoding failed. However, still valuable to be used by the PAB to throw an error is an endpoint could not be decoded.

Instances

Instances details
Eq NotificationError Source # 
Instance details

Defined in Wallet.Types

Show NotificationError Source # 
Instance details

Defined in Wallet.Types

Generic NotificationError Source # 
Instance details

Defined in Wallet.Types

Associated Types

type Rep NotificationError :: Type -> Type Source #

ToJSON NotificationError Source # 
Instance details

Defined in Wallet.Types

FromJSON NotificationError Source # 
Instance details

Defined in Wallet.Types

Pretty NotificationError Source # 
Instance details

Defined in Wallet.Types

type Rep NotificationError Source # 
Instance details

Defined in Wallet.Types

newtype EndpointDescription Source #

Instances

Instances details
Eq EndpointDescription Source # 
Instance details

Defined in Wallet.Types

Ord EndpointDescription Source # 
Instance details

Defined in Wallet.Types

Show EndpointDescription Source # 
Instance details

Defined in Wallet.Types

IsString EndpointDescription Source # 
Instance details

Defined in Wallet.Types

Generic EndpointDescription Source # 
Instance details

Defined in Wallet.Types

Associated Types

type Rep EndpointDescription :: Type -> Type Source #

ToJSON EndpointDescription Source # 
Instance details

Defined in Wallet.Types

FromJSON EndpointDescription Source # 
Instance details

Defined in Wallet.Types

ToSchema EndpointDescription Source # 
Instance details

Defined in Wallet.Types

Pretty EndpointDescription Source # 
Instance details

Defined in Wallet.Types

Lift EndpointDescription Source # 
Instance details

Defined in Wallet.Types

type Rep EndpointDescription Source # 
Instance details

Defined in Wallet.Types

type Rep EndpointDescription = D1 ('MetaData "EndpointDescription" "Wallet.Types" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" 'True) (C1 ('MetaCons "EndpointDescription" 'PrefixI 'True) (S1 ('MetaSel ('Just "getEndpointDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype EndpointValue a Source #

Constructors

EndpointValue 

Fields

Instances

Instances details
Eq a => Eq (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

Ord a => Ord (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

Show a => Show (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

Generic (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

Associated Types

type Rep (EndpointValue a) :: Type -> Type Source #

ToJSON a => ToJSON (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

FromJSON a => FromJSON (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

Show a => Pretty (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

type Rep (EndpointValue a) Source # 
Instance details

Defined in Wallet.Types

type Rep (EndpointValue a) = D1 ('MetaData "EndpointValue" "Wallet.Types" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" 'True) (C1 ('MetaCons "EndpointValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEndpointValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))