Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Gas

Documentation

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"

Constructors

GasAmount
Fields unGasAmount :: Int64

Instances

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 :: Members [Error AppError, State GasAmount] r => Sem (GasMeter ': r) a -> Sem r a Source #