Safe Haskell | None |
---|---|
Language | Haskell2010 |
Tendermint.SDK.BaseApp.Gas
Synopsis
- data GasMeter m a where
- newtype GasAmount = GasAmount {
- unGasAmount :: Int64
- withGas :: forall r a. MemberWithError GasMeter r => GasAmount -> Sem r a -> Sem r a
- eval :: Members [Error AppError, State GasAmount] r => Sem (GasMeter ': r) a -> Sem r a
- doNothing :: forall r. forall a. Sem (GasMeter ': r) a -> Sem r a
Effect
Constructors
GasAmount | |
Fields
|
Instances
Eq GasAmount Source # | |
Num GasAmount Source # | |
Defined in Tendermint.SDK.BaseApp.Gas | |
Ord GasAmount Source # | |
Show GasAmount Source # | |