hevm-0.41.0: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Concrete

Synopsis

Documentation

data Whiff Source #

This type can give insight into the provenance of a term

Instances
Show Whiff Source # 
Instance details

Defined in EVM.Concrete

Methods

showsPrec :: Int -> Whiff -> ShowS #

show :: Whiff -> String #

showList :: [Whiff] -> ShowS #

data Word Source #

Constructors

C Whiff W256 
Instances
Bounded Word Source # 
Instance details

Defined in EVM.Concrete

Enum Word Source # 
Instance details

Defined in EVM.Concrete

Methods

succ :: Word -> Word #

pred :: Word -> Word #

toEnum :: Int -> Word #

fromEnum :: Word -> Int #

enumFrom :: Word -> [Word] #

enumFromThen :: Word -> Word -> [Word] #

enumFromTo :: Word -> Word -> [Word] #

enumFromThenTo :: Word -> Word -> Word -> [Word] #

Eq Word Source # 
Instance details

Defined in EVM.Concrete

Methods

(==) :: Word -> Word -> Bool #

(/=) :: Word -> Word -> Bool #

Integral Word Source # 
Instance details

Defined in EVM.Concrete

Methods

quot :: Word -> Word -> Word #

rem :: Word -> Word -> Word #

div :: Word -> Word -> Word #

mod :: Word -> Word -> Word #

quotRem :: Word -> Word -> (Word, Word) #

divMod :: Word -> Word -> (Word, Word) #

toInteger :: Word -> Integer #

Num Word Source # 
Instance details

Defined in EVM.Concrete

Methods

(+) :: Word -> Word -> Word #

(-) :: Word -> Word -> Word #

(*) :: Word -> Word -> Word #

negate :: Word -> Word #

abs :: Word -> Word #

signum :: Word -> Word #

fromInteger :: Integer -> Word #

Ord Word Source # 
Instance details

Defined in EVM.Concrete

Methods

compare :: Word -> Word -> Ordering #

(<) :: Word -> Word -> Bool #

(<=) :: Word -> Word -> Bool #

(>) :: Word -> Word -> Bool #

(>=) :: Word -> Word -> Bool #

max :: Word -> Word -> Word #

min :: Word -> Word -> Word #

Read Word Source # 
Instance details

Defined in EVM.Concrete

Real Word Source # 
Instance details

Defined in EVM.Concrete

Methods

toRational :: Word -> Rational #

Show Word Source # 
Instance details

Defined in EVM.Concrete

Methods

showsPrec :: Int -> Word -> ShowS #

show :: Word -> String #

showList :: [Word] -> ShowS #

Bits Word Source # 
Instance details

Defined in EVM.Concrete

FiniteBits Word Source # 
Instance details

Defined in EVM.Concrete

SDisplay Word Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Word -> SExpr Text Source #