plutus-pab-1.2.0.0
Safe Haskell None
Language Haskell2010

Cardano.Wallet.Mock.Types

Synopsis

effect type for the mock wallet

type WalletEffects m = '[ MultiWalletEffect , NodeClientEffect, ChainIndexQueryEffect , State Wallets , Error PABError , LogMsg Text , Error WalletAPIError, Error ClientError , Error ServerError , m] Source #

type Wallets = Map WalletId WalletState Source #

data MultiWalletEffect r where Source #

Constructors

CreateWallet :: Maybe Ada -> MultiWalletEffect WalletInfo
MultiWallet :: Wallet -> Eff '[WalletEffect] a -> MultiWalletEffect a
GetWalletInfo :: WalletId -> MultiWalletEffect ( Maybe WalletInfo )

createWallet :: forall effs. Member MultiWalletEffect effs => Maybe Ada -> Eff effs WalletInfo Source #

multiWallet :: forall a. forall effs. Member MultiWalletEffect effs => Wallet -> Eff ('(:) WalletEffect ('[] :: [ Type -> Type ])) a -> Eff effs a Source #

getWalletInfo :: forall effs. Member MultiWalletEffect effs => WalletId -> Eff effs ( Maybe WalletInfo ) Source #

wallet log messages

data WalletMsg Source #

Constructors

StartingWallet Port
ChainClientMsg Text
Balancing TxBalanceMsg
RequestHandling RequestHandlerLogMsg

Instances

Instances details
Show WalletMsg Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

showsPrec :: Int -> WalletMsg -> ShowS Source #

show :: WalletMsg -> String Source #

showList :: [ WalletMsg ] -> ShowS Source #

Generic WalletMsg Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Associated Types

type Rep WalletMsg :: Type -> Type Source #

Methods

from :: WalletMsg -> Rep WalletMsg x Source #

to :: Rep WalletMsg x -> WalletMsg Source #

ToJSON WalletMsg Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

toJSON :: WalletMsg -> Value Source #

toEncoding :: WalletMsg -> Encoding Source #

toJSONList :: [ WalletMsg ] -> Value Source #

toEncodingList :: [ WalletMsg ] -> Encoding Source #

FromJSON WalletMsg Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

parseJSON :: Value -> Parser WalletMsg Source #

parseJSONList :: Value -> Parser [ WalletMsg ] Source #

Pretty WalletMsg Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

pretty :: WalletMsg -> Doc ann Source #

prettyList :: [ WalletMsg ] -> Doc ann Source #

ToObject WalletMsg Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

toObject :: TracingVerbosity -> WalletMsg -> Object

textTransformer :: WalletMsg -> Object -> Text

type Rep WalletMsg Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

type Rep WalletMsg = D1 (' MetaData "WalletMsg" "Cardano.Wallet.Mock.Types" "plutus-pab-1.2.0.0-CtfsFiD4ohhEkbPm9mkCAB" ' False ) (( C1 (' MetaCons "StartingWallet" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 Port )) :+: C1 (' MetaCons "ChainClientMsg" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 Text ))) :+: ( C1 (' MetaCons "Balancing" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 TxBalanceMsg)) :+: C1 (' MetaCons "RequestHandling" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 RequestHandlerLogMsg))))

newtypes for convenience

newtype Port Source #

Constructors

Port Int

Instances

Instances details
Eq Port Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

(==) :: Port -> Port -> Bool Source #

(/=) :: Port -> Port -> Bool Source #

Num Port Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

(+) :: Port -> Port -> Port Source #

(-) :: Port -> Port -> Port Source #

(*) :: Port -> Port -> Port Source #

negate :: Port -> Port Source #

abs :: Port -> Port Source #

signum :: Port -> Port Source #

fromInteger :: Integer -> Port Source #

Show Port Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

showsPrec :: Int -> Port -> ShowS Source #

show :: Port -> String Source #

showList :: [ Port ] -> ShowS Source #

ToJSON Port Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

toJSON :: Port -> Value Source #

toEncoding :: Port -> Encoding Source #

toJSONList :: [ Port ] -> Value Source #

toEncodingList :: [ Port ] -> Encoding Source #

FromJSON Port Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

parseJSON :: Value -> Parser Port Source #

parseJSONList :: Value -> Parser [ Port ] Source #

Pretty Port Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

pretty :: Port -> Doc ann Source #

prettyList :: [ Port ] -> Doc ann Source #

newtype NodeClient Source #

Constructors

NodeClient ClientEnv

newtype ChainClient Source #

Constructors

ChainClient ClientEnv

data ChainIndexUrl Source #

Instances

Instances details
Eq ChainIndexUrl Source #
Instance details

Defined in Cardano.ChainIndex.Types

Methods

(==) :: ChainIndexUrl -> ChainIndexUrl -> Bool Source #

(/=) :: ChainIndexUrl -> ChainIndexUrl -> Bool Source #

Show ChainIndexUrl Source #
Instance details

Defined in Cardano.ChainIndex.Types

Methods

showsPrec :: Int -> ChainIndexUrl -> ShowS Source #

show :: ChainIndexUrl -> String Source #

showList :: [ ChainIndexUrl ] -> ShowS Source #

ToJSON ChainIndexUrl Source #
Instance details

Defined in Cardano.ChainIndex.Types

Methods

toJSON :: ChainIndexUrl -> Value Source #

toEncoding :: ChainIndexUrl -> Encoding Source #

toJSONList :: [ ChainIndexUrl ] -> Value Source #

toEncodingList :: [ ChainIndexUrl ] -> Encoding Source #

FromJSON ChainIndexUrl Source #
Instance details

Defined in Cardano.ChainIndex.Types

Methods

parseJSON :: Value -> Parser ChainIndexUrl Source #

parseJSONList :: Value -> Parser [ ChainIndexUrl ] Source #

Wallet info

data WalletInfo Source #

Information about an emulated wallet.

Constructors

WalletInfo

Fields

Instances

Instances details
Show WalletInfo Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

showsPrec :: Int -> WalletInfo -> ShowS Source #

show :: WalletInfo -> String Source #

showList :: [ WalletInfo ] -> ShowS Source #

Generic WalletInfo Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Associated Types

type Rep WalletInfo :: Type -> Type Source #

Methods

from :: WalletInfo -> Rep WalletInfo x Source #

to :: Rep WalletInfo x -> WalletInfo Source #

ToJSON WalletInfo Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

toJSON :: WalletInfo -> Value Source #

toEncoding :: WalletInfo -> Encoding Source #

toJSONList :: [ WalletInfo ] -> Value Source #

toEncodingList :: [ WalletInfo ] -> Encoding Source #

FromJSON WalletInfo Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

Methods

parseJSON :: Value -> Parser WalletInfo Source #

parseJSONList :: Value -> Parser [ WalletInfo ] Source #

type Rep WalletInfo Source #
Instance details

Defined in Cardano.Wallet.Mock.Types

type Rep WalletInfo = D1 (' MetaData "WalletInfo" "Cardano.Wallet.Mock.Types" "plutus-pab-1.2.0.0-CtfsFiD4ohhEkbPm9mkCAB" ' False ) ( C1 (' MetaCons "WalletInfo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "wiWallet") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 Wallet) :*: ( S1 (' MetaSel (' Just "wiPaymentPubKeyHash") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 PaymentPubKeyHash) :*: S1 (' MetaSel (' Just "wiAddresses") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ( NonEmpty CardanoAddress)))))

fromWalletState :: WalletState -> WalletInfo Source #