hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Gas

Contents

Synopsis

Effect

data GasMeter m a where Source #

Constructors

WithGas :: forall m a. GasAmount -> m a -> GasMeter m a 
Instances
type DefiningModule (GasMeter :: (k -> Type) -> k -> Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Gas

type DefiningModule (GasMeter :: (k -> Type) -> k -> Type) = "Tendermint.SDK.BaseApp.Gas"

withGas :: forall r a. MemberWithError GasMeter r => GasAmount -> Sem r a -> Sem r a Source #

Eval

eval :: Members [Error AppError, State GasAmount] r => Sem (GasMeter ': r) a -> Sem r a Source #

doNothing :: forall r. forall a. Sem (GasMeter ': r) a -> Sem r a Source #