Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Gas

Contents

Synopsis

data GasMeter m a where
- WithGas :: forall m a. GasAmount -> m a -> GasMeter m a
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

data GasMeter m a where Source #

Constructors

WithGas :: forall m a. GasAmount -> m a -> GasMeter m a

Instances details

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"

Constructors

GasAmount
Fields unGasAmount :: Int64

Instances details

Eq GasAmount Source #
Instance details Defined in Tendermint.SDK.BaseApp.Gas Methods (==) :: GasAmount -> GasAmount -> Bool # (/=) :: GasAmount -> GasAmount -> Bool #
Num GasAmount Source #
Instance details Defined in Tendermint.SDK.BaseApp.Gas Methods (+) :: GasAmount -> GasAmount -> GasAmount # (-) :: GasAmount -> GasAmount -> GasAmount # (*) :: GasAmount -> GasAmount -> GasAmount # negate :: GasAmount -> GasAmount # abs :: GasAmount -> GasAmount # signum :: GasAmount -> GasAmount # fromInteger :: Integer -> GasAmount #
Ord GasAmount Source #
Instance details Defined in Tendermint.SDK.BaseApp.Gas Methods compare :: GasAmount -> GasAmount -> Ordering # (<) :: GasAmount -> GasAmount -> Bool # (<=) :: GasAmount -> GasAmount -> Bool # (>) :: GasAmount -> GasAmount -> Bool # (>=) :: GasAmount -> GasAmount -> Bool # max :: GasAmount -> GasAmount -> GasAmount # min :: GasAmount -> GasAmount -> GasAmount #
Show GasAmount Source #
Instance details Defined in Tendermint.SDK.BaseApp.Gas Methods showsPrec :: Int -> GasAmount -> ShowS # show :: GasAmount -> String # showList :: [GasAmount] -> ShowS #

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 #