hevm-0.53.0: Symbolic EVM Evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.Op

Documentation

data GenericOp a Source #

Instances

Instances details
Functor GenericOp Source # 
Instance details

Defined in EVM.Types

Methods

fmap :: (a -> b) -> GenericOp a -> GenericOp b #

(<$) :: a -> GenericOp b -> GenericOp a #

Show a => Show (GenericOp a) Source # 
Instance details

Defined in EVM.Types

Eq a => Eq (GenericOp a) Source # 
Instance details

Defined in EVM.Types

Methods

(==) :: GenericOp a -> GenericOp a -> Bool #

(/=) :: GenericOp a -> GenericOp a -> Bool #

Ord a => Ord (GenericOp a) Source # 
Instance details

Defined in EVM.Types

opString :: (Integral a, Show a) => (a, Op) -> String Source #