Safe Haskell	None
Language	Haskell2010

EVM.Concrete

Documentation

wordAt :: Int -> ByteString -> W256 Source #

word256Bytes :: W256 -> ByteString Source #

readByteOrZero :: Int -> ByteString -> Word8 Source #

byteStringSliceWithDefaultZeroes :: Int -> Int -> ByteString -> ByteString Source #

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 #

w256 :: W256 -> Word Source #

blob :: ByteString -> Blob Source #

data Word Source #

Constructors

C Whiff W256

Instances

Bounded Word Source #
Instance details Defined in EVM.Concrete Methods minBound :: Word # maxBound :: Word #
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 Methods readsPrec :: Int -> ReadS Word # readList :: ReadS [Word] # readPrec :: ReadPrec Word # readListPrec :: ReadPrec [Word] #
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 Methods (.&.) :: Word -> Word -> Word # (.\|.) :: Word -> Word -> Word # xor :: Word -> Word -> Word # complement :: Word -> Word # shift :: Word -> Int -> Word # rotate :: Word -> Int -> Word # zeroBits :: Word # bit :: Int -> Word # setBit :: Word -> Int -> Word # clearBit :: Word -> Int -> Word # complementBit :: Word -> Int -> Word # testBit :: Word -> Int -> Bool # bitSizeMaybe :: Word -> Maybe Int # bitSize :: Word -> Int # isSigned :: Word -> Bool # shiftL :: Word -> Int -> Word # unsafeShiftL :: Word -> Int -> Word # shiftR :: Word -> Int -> Word # unsafeShiftR :: Word -> Int -> Word # rotateL :: Word -> Int -> Word # rotateR :: Word -> Int -> Word # popCount :: Word -> Int #
FiniteBits Word Source #
Instance details Defined in EVM.Concrete Methods finiteBitSize :: Word -> Int # countLeadingZeros :: Word -> Int # countTrailingZeros :: Word -> Int #
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 Methods (.&.) :: Byte -> Byte -> Byte # (.\|.) :: Byte -> Byte -> Byte # xor :: Byte -> Byte -> Byte # complement :: Byte -> Byte # shift :: Byte -> Int -> Byte # rotate :: Byte -> Int -> Byte # zeroBits :: Byte # bit :: Int -> Byte # setBit :: Byte -> Int -> Byte # clearBit :: Byte -> Int -> Byte # complementBit :: Byte -> Int -> Byte # testBit :: Byte -> Int -> Bool # bitSizeMaybe :: Byte -> Maybe Int # bitSize :: Byte -> Int # isSigned :: Byte -> Bool # shiftL :: Byte -> Int -> Byte # unsafeShiftL :: Byte -> Int -> Byte # shiftR :: Byte -> Int -> Byte # unsafeShiftR :: Byte -> Int -> Byte # rotateL :: Byte -> Int -> Byte # rotateR :: Byte -> Int -> Byte # popCount :: Byte -> Int #
FiniteBits Byte Source #
Instance details Defined in EVM.Concrete Methods finiteBitSize :: Byte -> Int # countLeadingZeros :: Byte -> Int # countTrailingZeros :: Byte -> Int #

newtype Memory Source #

Constructors

ConcreteMemory ByteString

Instances

Semigroup Memory Source #
Instance details Defined in EVM.Concrete Methods (<>) :: Memory -> Memory -> Memory # sconcat :: NonEmpty Memory -> Memory # stimes :: Integral b => b -> Memory -> Memory #
Monoid Memory Source #
Instance details Defined in EVM.Concrete Methods mempty :: Memory # mappend :: Memory -> Memory -> Memory # mconcat :: [Memory] -> Memory #
SDisplay Memory Source #
Instance details Defined in EVM.Emacs Methods sexp :: Memory -> SExpr Text Source #