hevm-0.20: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Concrete

Documentation

data Whiff Source #

Constructors

Dull 
FromKeccak ByteString 
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 #

newtype Blob Source #

Constructors

B ByteString 
Instances
Show Blob Source # 
Instance details

Defined in EVM.Concrete

Methods

showsPrec :: Int -> Blob -> ShowS #

show :: Blob -> String #

showList :: [Blob] -> ShowS #

IsString Blob Source # 
Instance details

Defined in EVM.Concrete

Methods

fromString :: String -> Blob #

Semigroup Blob Source # 
Instance details

Defined in EVM.Concrete

Methods

(<>) :: Blob -> Blob -> Blob #

sconcat :: NonEmpty Blob -> Blob #

stimes :: Integral b => b -> Blob -> Blob #

Monoid Blob Source # 
Instance details

Defined in EVM.Concrete

Methods

mempty :: Blob #

mappend :: Blob -> Blob -> Blob #

mconcat :: [Blob] -> Blob #

SDisplay Blob Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Blob -> SExpr Text Source #

newtype Byte Source #

Constructors

ConcreteByte Word8 
Instances
Enum Byte Source # 
Instance details

Defined in EVM.Concrete

Methods

succ :: Byte -> Byte #

pred :: Byte -> Byte #

toEnum :: Int -> Byte #

fromEnum :: Byte -> Int #

enumFrom :: Byte -> [Byte] #

enumFromThen :: Byte -> Byte -> [Byte] #

enumFromTo :: Byte -> Byte -> [Byte] #

enumFromThenTo :: Byte -> Byte -> Byte -> [Byte] #

Eq Byte Source # 
Instance details

Defined in EVM.Concrete

Methods

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

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

Integral Byte Source # 
Instance details

Defined in EVM.Concrete

Methods

quot :: Byte -> Byte -> Byte #

rem :: Byte -> Byte -> Byte #

div :: Byte -> Byte -> Byte #

mod :: Byte -> Byte -> Byte #

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

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

toInteger :: Byte -> Integer #

Num Byte Source # 
Instance details

Defined in EVM.Concrete

Methods

(+) :: Byte -> Byte -> Byte #

(-) :: Byte -> Byte -> Byte #

(*) :: Byte -> Byte -> Byte #

negate :: Byte -> Byte #

abs :: Byte -> Byte #

signum :: Byte -> Byte #

fromInteger :: Integer -> Byte #

Ord Byte Source # 
Instance details

Defined in EVM.Concrete

Methods

compare :: Byte -> Byte -> Ordering #

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

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

(>) :: Byte -> Byte -> Bool #

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

max :: Byte -> Byte -> Byte #

min :: Byte -> Byte -> Byte #

Real Byte Source # 
Instance details

Defined in EVM.Concrete

Methods

toRational :: Byte -> Rational #

Bits Byte Source # 
Instance details

Defined in EVM.Concrete

FiniteBits Byte Source # 
Instance details

Defined in EVM.Concrete

newtype Memory Source #

Instances
Semigroup Memory Source # 
Instance details

Defined in EVM.Concrete

Monoid Memory Source # 
Instance details

Defined in EVM.Concrete

SDisplay Memory Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Memory -> SExpr Text Source #

sliceMemory :: (Integral a, Integral b) => a -> b -> Memory -> Blob Source #