hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.Modules.Bank.Keeper

Documentation

data BankKeeper m a where Source #

Constructors

GetBalance :: Address -> CoinId -> BankKeeper m Coin 
Transfer :: Address -> Coin -> Address -> BankKeeper m () 
Burn :: Address -> Coin -> BankKeeper m () 
Mint :: Address -> Coin -> BankKeeper m () 
Instances
type DefiningModule (BankKeeper :: k -> Type -> Type) Source # 
Instance details

Defined in Tendermint.SDK.Modules.Bank.Keeper

type DefiningModule (BankKeeper :: k -> Type -> Type) = "Tendermint.SDK.Modules.Bank.Keeper"

getBalance :: forall r. MemberWithError BankKeeper r => Address -> CoinId -> Sem r Coin Source #

transfer :: forall r. MemberWithError BankKeeper r => Address -> Coin -> Address -> Sem r () Source #

burn :: forall r. MemberWithError BankKeeper r => Address -> Coin -> Sem r () Source #

mint :: forall r. MemberWithError BankKeeper r => Address -> Coin -> Sem r () Source #

eval :: Members [Logger, Output Event, Error AppError] r => Members AuthEffs r => forall a. Sem (BankKeeper ': (Error BankError ': r)) a -> Sem r a Source #