Safe Haskell	None
Language	Haskell2010

Cardano.Wallet.Mock.Types

Contents

effect type for the mock wallet
wallet log messages
newtypes for convenience
Wallet info

Synopsis

type WalletEffects m = '[MultiWalletEffect, NodeClientEffect, ChainIndexQueryEffect, State Wallets, Error PABError, LogMsg Text, Error WalletAPIError, Error ClientError, Error ServerError, m]
type Wallets = Map WalletId WalletState
data MultiWalletEffect r where
- 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
multiWallet :: forall a. forall effs. Member MultiWalletEffect effs => Wallet -> Eff ('(:) WalletEffect ('[] :: [Type -> Type])) a -> Eff effs a
getWalletInfo :: forall effs. Member MultiWalletEffect effs => WalletId -> Eff effs (Maybe WalletInfo)
data WalletMsg
- = StartingWallet Port
- | ChainClientMsg Text
- | Balancing TxBalanceMsg
- | RequestHandling RequestHandlerLogMsg
newtype Port = Port Int
newtype NodeClient = NodeClient ClientEnv
newtype ChainClient = ChainClient ClientEnv
data ChainIndexUrl
data WalletInfo = WalletInfo {
- wiWallet :: Wallet
- wiPaymentPubKeyHash :: PaymentPubKeyHash
- wiAddresses :: NonEmpty CardanoAddress
}
fromWalletState :: WalletState -> WalletInfo

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 #
FromJSON WalletMsg Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods parseJSON :: Value -> Parser WalletMsg parseJSONList :: Value -> Parser [WalletMsg]
Pretty WalletMsg Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods pretty :: WalletMsg -> Doc ann prettyList :: [WalletMsg] -> Doc ann
ToJSON WalletMsg Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods toJSON :: WalletMsg -> Value toEncoding :: WalletMsg -> Encoding toJSONList :: [WalletMsg] -> Value toEncodingList :: [WalletMsg] -> Encoding
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-LtxAAjtTYeqGloVmBPlsYv" '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 #
FromJSON Port Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods parseJSON :: Value -> Parser Port parseJSONList :: Value -> Parser [Port]
Pretty Port Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods pretty :: Port -> Doc ann prettyList :: [Port] -> Doc ann
ToJSON Port Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods toJSON :: Port -> Value toEncoding :: Port -> Encoding toJSONList :: [Port] -> Value toEncodingList :: [Port] -> Encoding

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 #
FromJSON ChainIndexUrl Source #
Instance details Defined in Cardano.ChainIndex.Types Methods parseJSON :: Value -> Parser ChainIndexUrl parseJSONList :: Value -> Parser [ChainIndexUrl]
ToJSON ChainIndexUrl Source #
Instance details Defined in Cardano.ChainIndex.Types Methods toJSON :: ChainIndexUrl -> Value toEncoding :: ChainIndexUrl -> Encoding toJSONList :: [ChainIndexUrl] -> Value toEncodingList :: [ChainIndexUrl] -> Encoding

Wallet info

data WalletInfo Source #

Information about an emulated wallet.

Constructors

WalletInfo
Fields wiWallet :: Wallet wiPaymentPubKeyHash :: PaymentPubKeyHash Hash of the wallet's public key, serving as wallet ID. TODO Remove eventually as it is replaced by `wiAddresses`. wiAddresses :: NonEmpty CardanoAddress Wallet's addresses

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 #
FromJSON WalletInfo Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods parseJSON :: Value -> Parser WalletInfo parseJSONList :: Value -> Parser [WalletInfo]
ToJSON WalletInfo Source #
Instance details Defined in Cardano.Wallet.Mock.Types Methods toJSON :: WalletInfo -> Value toEncoding :: WalletInfo -> Encoding toJSONList :: [WalletInfo] -> Value toEncodingList :: [WalletInfo] -> Encoding
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-LtxAAjtTYeqGloVmBPlsYv" '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 #