EVM.Types

Documentation

data Word512

Constructors

Word512 !Word256 !Word256

Instances

Bounded Word512

Defined in EVM.Types

Methods

minBound :: Word512

maxBound :: Word512

Enum Word512

Defined in EVM.Types

Methods

succ :: Word512 -> Word512

pred :: Word512 -> Word512

toEnum :: Int -> Word512

fromEnum :: Word512 -> Int

enumFrom :: Word512 -> [Word512]

enumFromThen :: Word512 -> Word512 -> [Word512]

enumFromTo :: Word512 -> Word512 -> [Word512]

enumFromThenTo :: Word512 -> Word512 -> Word512 -> [Word512]

Eq Word512

Defined in EVM.Types

Methods

(==) :: Word512 -> Word512 -> Bool

(/=) :: Word512 -> Word512 -> Bool

Integral Word512

Defined in EVM.Types

Methods

quot :: Word512 -> Word512 -> Word512

rem :: Word512 -> Word512 -> Word512

div :: Word512 -> Word512 -> Word512

mod :: Word512 -> Word512 -> Word512

quotRem :: Word512 -> Word512 -> (Word512, Word512)

divMod :: Word512 -> Word512 -> (Word512, Word512)

toInteger :: Word512 -> Integer

Data Word512

Defined in EVM.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word512 -> c Word512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word512

toConstr :: Word512 -> Constr

dataTypeOf :: Word512 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word512)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word512)

gmapT :: (forall b. Data b => b -> b) -> Word512 -> Word512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word512 -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word512 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word512 -> m Word512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word512 -> m Word512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word512 -> m Word512

Num Word512

Defined in EVM.Types

Methods

(+) :: Word512 -> Word512 -> Word512

(-) :: Word512 -> Word512 -> Word512

(*) :: Word512 -> Word512 -> Word512

negate :: Word512 -> Word512

abs :: Word512 -> Word512

signum :: Word512 -> Word512

fromInteger :: Integer -> Word512

Ord Word512

Defined in EVM.Types

Methods

compare :: Word512 -> Word512 -> Ordering

(<) :: Word512 -> Word512 -> Bool

(<=) :: Word512 -> Word512 -> Bool

(>) :: Word512 -> Word512 -> Bool

(>=) :: Word512 -> Word512 -> Bool

max :: Word512 -> Word512 -> Word512

min :: Word512 -> Word512 -> Word512

Read Word512

Defined in EVM.Types

Methods

readsPrec :: Int -> ReadS Word512

readList :: ReadS [Word512]

readPrec :: ReadPrec Word512

readListPrec :: ReadPrec [Word512]

Real Word512

Defined in EVM.Types

Methods

toRational :: Word512 -> Rational

Show Word512

Defined in EVM.Types

Methods

showsPrec :: Int -> Word512 -> ShowS

show :: Word512 -> String

showList :: [Word512] -> ShowS

Ix Word512

Defined in EVM.Types

Methods

range :: (Word512, Word512) -> [Word512]

index :: (Word512, Word512) -> Word512 -> Int

unsafeIndex :: (Word512, Word512) -> Word512 -> Int

inRange :: (Word512, Word512) -> Word512 -> Bool

rangeSize :: (Word512, Word512) -> Int

unsafeRangeSize :: (Word512, Word512) -> Int

Generic Word512

Defined in EVM.Types

Associated Types

type Rep Word512 :: Type -> Type

Methods

from :: Word512 -> Rep Word512 x

to :: Rep Word512 x -> Word512

Hashable Word512

Defined in EVM.Types

Methods

hashWithSalt :: Int -> Word512 -> Int

hash :: Word512 -> Int

Bits Word512

Defined in EVM.Types

Methods

(.&.) :: Word512 -> Word512 -> Word512

(.|.) :: Word512 -> Word512 -> Word512

xor :: Word512 -> Word512 -> Word512

complement :: Word512 -> Word512

shift :: Word512 -> Int -> Word512

rotate :: Word512 -> Int -> Word512

zeroBits :: Word512

bit :: Int -> Word512

setBit :: Word512 -> Int -> Word512

clearBit :: Word512 -> Int -> Word512

complementBit :: Word512 -> Int -> Word512

testBit :: Word512 -> Int -> Bool

bitSizeMaybe :: Word512 -> Maybe Int

bitSize :: Word512 -> Int

isSigned :: Word512 -> Bool

shiftL :: Word512 -> Int -> Word512

unsafeShiftL :: Word512 -> Int -> Word512

shiftR :: Word512 -> Int -> Word512

unsafeShiftR :: Word512 -> Int -> Word512

rotateL :: Word512 -> Int -> Word512

rotateR :: Word512 -> Int -> Word512

popCount :: Word512 -> Int

FiniteBits Word512

Defined in EVM.Types

Methods

finiteBitSize :: Word512 -> Int

countLeadingZeros :: Word512 -> Int

countTrailingZeros :: Word512 -> Int

BinaryWord Word512

Defined in EVM.Types

Associated Types

type UnsignedWord Word512

type SignedWord Word512

Methods

unsignedWord :: Word512 -> UnsignedWord Word512

signedWord :: Word512 -> SignedWord Word512

unwrappedAdd :: Word512 -> Word512 -> (Word512, UnsignedWord Word512)

unwrappedMul :: Word512 -> Word512 -> (Word512, UnsignedWord Word512)

leadingZeroes :: Word512 -> Int

trailingZeroes :: Word512 -> Int

allZeroes :: Word512

allOnes :: Word512

msb :: Word512

lsb :: Word512

testMsb :: Word512 -> Bool

testLsb :: Word512 -> Bool

setMsb :: Word512 -> Word512

setLsb :: Word512 -> Word512

clearMsb :: Word512 -> Word512

clearLsb :: Word512 -> Word512

DoubleWord Word512

Defined in EVM.Types

Associated Types

type LoWord Word512

type HiWord Word512

Methods

loWord :: Word512 -> LoWord Word512

hiWord :: Word512 -> HiWord Word512

fromHiAndLo :: HiWord Word512 -> LoWord Word512 -> Word512

extendLo :: LoWord Word512 -> Word512

signExtendLo :: SignedWord (LoWord Word512) -> Word512

type Rep Word512

Defined in EVM.Types

type Rep Word512 = D1 ('MetaData "Word512" "EVM.Types" "hevm-0.49.0-inplace" 'False) (C1 ('MetaCons "Word512" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word256) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word256)))

type SignedWord Word512

Defined in EVM.Types

type SignedWord Word512 = Int512

type UnsignedWord Word512

Defined in EVM.Types

type UnsignedWord Word512 = Word512

type HiWord Word512

Defined in EVM.Types

type HiWord Word512 = Word256

type LoWord Word512

Defined in EVM.Types

type LoWord Word512 = Word256

data Int512

Constructors

Int512 !Int256 !Word256

Instances

Bounded Int512

Defined in EVM.Types

Methods

minBound :: Int512

maxBound :: Int512

Enum Int512

Defined in EVM.Types

Methods

succ :: Int512 -> Int512

pred :: Int512 -> Int512

toEnum :: Int -> Int512

fromEnum :: Int512 -> Int

enumFrom :: Int512 -> [Int512]

enumFromThen :: Int512 -> Int512 -> [Int512]

enumFromTo :: Int512 -> Int512 -> [Int512]

enumFromThenTo :: Int512 -> Int512 -> Int512 -> [Int512]

Eq Int512

Defined in EVM.Types

Methods

(==) :: Int512 -> Int512 -> Bool

(/=) :: Int512 -> Int512 -> Bool

Integral Int512

Defined in EVM.Types

Methods

quot :: Int512 -> Int512 -> Int512

rem :: Int512 -> Int512 -> Int512

div :: Int512 -> Int512 -> Int512

mod :: Int512 -> Int512 -> Int512

quotRem :: Int512 -> Int512 -> (Int512, Int512)

divMod :: Int512 -> Int512 -> (Int512, Int512)

toInteger :: Int512 -> Integer

Data Int512

Defined in EVM.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int512 -> c Int512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int512

toConstr :: Int512 -> Constr

dataTypeOf :: Int512 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int512)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int512)

gmapT :: (forall b. Data b => b -> b) -> Int512 -> Int512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int512 -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int512 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int512 -> m Int512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int512 -> m Int512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int512 -> m Int512

Num Int512

Defined in EVM.Types

Methods

(+) :: Int512 -> Int512 -> Int512

(-) :: Int512 -> Int512 -> Int512

(*) :: Int512 -> Int512 -> Int512

negate :: Int512 -> Int512

abs :: Int512 -> Int512

signum :: Int512 -> Int512

fromInteger :: Integer -> Int512

Ord Int512

Defined in EVM.Types

Methods

compare :: Int512 -> Int512 -> Ordering

(<) :: Int512 -> Int512 -> Bool

(<=) :: Int512 -> Int512 -> Bool

(>) :: Int512 -> Int512 -> Bool

(>=) :: Int512 -> Int512 -> Bool

max :: Int512 -> Int512 -> Int512

min :: Int512 -> Int512 -> Int512

Read Int512

Defined in EVM.Types

Methods

readsPrec :: Int -> ReadS Int512

readList :: ReadS [Int512]

readPrec :: ReadPrec Int512

readListPrec :: ReadPrec [Int512]

Real Int512

Defined in EVM.Types

Methods

toRational :: Int512 -> Rational

Show Int512

Defined in EVM.Types

Methods

showsPrec :: Int -> Int512 -> ShowS

show :: Int512 -> String

showList :: [Int512] -> ShowS

Ix Int512

Defined in EVM.Types

Methods

range :: (Int512, Int512) -> [Int512]

index :: (Int512, Int512) -> Int512 -> Int

unsafeIndex :: (Int512, Int512) -> Int512 -> Int

inRange :: (Int512, Int512) -> Int512 -> Bool

rangeSize :: (Int512, Int512) -> Int

unsafeRangeSize :: (Int512, Int512) -> Int

Generic Int512

Defined in EVM.Types

Associated Types

type Rep Int512 :: Type -> Type

Methods

from :: Int512 -> Rep Int512 x

to :: Rep Int512 x -> Int512

Hashable Int512

Defined in EVM.Types

Methods

hashWithSalt :: Int -> Int512 -> Int

hash :: Int512 -> Int

Bits Int512

Defined in EVM.Types

Methods

(.&.) :: Int512 -> Int512 -> Int512

(.|.) :: Int512 -> Int512 -> Int512

xor :: Int512 -> Int512 -> Int512

complement :: Int512 -> Int512

shift :: Int512 -> Int -> Int512

rotate :: Int512 -> Int -> Int512

zeroBits :: Int512

bit :: Int -> Int512

setBit :: Int512 -> Int -> Int512

clearBit :: Int512 -> Int -> Int512

complementBit :: Int512 -> Int -> Int512

testBit :: Int512 -> Int -> Bool

bitSizeMaybe :: Int512 -> Maybe Int

bitSize :: Int512 -> Int

isSigned :: Int512 -> Bool

shiftL :: Int512 -> Int -> Int512

unsafeShiftL :: Int512 -> Int -> Int512

shiftR :: Int512 -> Int -> Int512

unsafeShiftR :: Int512 -> Int -> Int512

rotateL :: Int512 -> Int -> Int512

rotateR :: Int512 -> Int -> Int512

popCount :: Int512 -> Int

FiniteBits Int512

Defined in EVM.Types

Methods

finiteBitSize :: Int512 -> Int

countLeadingZeros :: Int512 -> Int

countTrailingZeros :: Int512 -> Int

BinaryWord Int512

Defined in EVM.Types

Associated Types

type UnsignedWord Int512

type SignedWord Int512

Methods

unsignedWord :: Int512 -> UnsignedWord Int512

signedWord :: Int512 -> SignedWord Int512

unwrappedAdd :: Int512 -> Int512 -> (Int512, UnsignedWord Int512)

unwrappedMul :: Int512 -> Int512 -> (Int512, UnsignedWord Int512)

leadingZeroes :: Int512 -> Int

trailingZeroes :: Int512 -> Int

allZeroes :: Int512

allOnes :: Int512

msb :: Int512

lsb :: Int512

testMsb :: Int512 -> Bool

testLsb :: Int512 -> Bool

setMsb :: Int512 -> Int512

setLsb :: Int512 -> Int512

clearMsb :: Int512 -> Int512

clearLsb :: Int512 -> Int512

DoubleWord Int512

Defined in EVM.Types

Associated Types

type LoWord Int512

type HiWord Int512

Methods

loWord :: Int512 -> LoWord Int512

hiWord :: Int512 -> HiWord Int512

fromHiAndLo :: HiWord Int512 -> LoWord Int512 -> Int512

extendLo :: LoWord Int512 -> Int512

signExtendLo :: SignedWord (LoWord Int512) -> Int512

type Rep Int512

Defined in EVM.Types

type Rep Int512 = D1 ('MetaData "Int512" "EVM.Types" "hevm-0.49.0-inplace" 'False) (C1 ('MetaCons "Int512" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int256) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word256)))

type SignedWord Int512

Defined in EVM.Types

type SignedWord Int512 = Int512

type UnsignedWord Int512

Defined in EVM.Types

type UnsignedWord Int512 = Word512

type HiWord Int512

Defined in EVM.Types

type HiWord Int512 = Int256

type LoWord Int512

Defined in EVM.Types

type LoWord Int512 = Word256

data Buffer

Constructors

ConcreteBuffer ByteString

SymbolicBuffer [SWord 8]

Instances

Show Buffer

Operations over buffers (concrete or symbolic)

A buffer is a list of bytes. For concrete execution, this is simply ByteString. In symbolic settings, it is a list of symbolic bitvectors of size 8.

Defined in EVM.Types

Methods

showsPrec :: Int -> Buffer -> ShowS

show :: Buffer -> String

showList :: [Buffer] -> ShowS

Semigroup Buffer

Defined in EVM.Types

Methods

(<>) :: Buffer -> Buffer -> Buffer

sconcat :: NonEmpty Buffer -> Buffer

stimes :: Integral b => b -> Buffer -> Buffer

Monoid Buffer

Defined in EVM.Types

Methods

mempty :: Buffer

mappend :: Buffer -> Buffer -> Buffer

mconcat :: [Buffer] -> Buffer

EqSymbolic Buffer

Defined in EVM.Types

Methods

(.==) :: Buffer -> Buffer -> SBool

(./=) :: Buffer -> Buffer -> SBool

(.===) :: Buffer -> Buffer -> SBool

(./==) :: Buffer -> Buffer -> SBool

distinct :: [Buffer] -> SBool

distinctExcept :: [Buffer] -> [Buffer] -> SBool

allEqual :: [Buffer] -> SBool

sElem :: Buffer -> [Buffer] -> SBool

sNotElem :: Buffer -> [Buffer] -> SBool

SDisplay Buffer

Defined in EVM.Emacs

Methods

sexp :: Buffer -> SExpr Text

newtype W256

Constructors

W256 Word256

Instances

Bounded W256

Defined in EVM.Types

Methods

minBound :: W256

maxBound :: W256

Enum W256

Defined in EVM.Types

Methods

succ :: W256 -> W256

pred :: W256 -> W256

toEnum :: Int -> W256

fromEnum :: W256 -> Int

enumFrom :: W256 -> [W256]

enumFromThen :: W256 -> W256 -> [W256]

enumFromTo :: W256 -> W256 -> [W256]

enumFromThenTo :: W256 -> W256 -> W256 -> [W256]

Eq W256

Defined in EVM.Types

Methods

(==) :: W256 -> W256 -> Bool

(/=) :: W256 -> W256 -> Bool

Integral W256

Defined in EVM.Types

Methods

quot :: W256 -> W256 -> W256

rem :: W256 -> W256 -> W256

div :: W256 -> W256 -> W256

mod :: W256 -> W256 -> W256

quotRem :: W256 -> W256 -> (W256, W256)

divMod :: W256 -> W256 -> (W256, W256)

toInteger :: W256 -> Integer

Num W256

Defined in EVM.Types

Methods

(+) :: W256 -> W256 -> W256

(-) :: W256 -> W256 -> W256

(*) :: W256 -> W256 -> W256

negate :: W256 -> W256

abs :: W256 -> W256

signum :: W256 -> W256

fromInteger :: Integer -> W256

Ord W256

Defined in EVM.Types

Methods

compare :: W256 -> W256 -> Ordering

(<) :: W256 -> W256 -> Bool

(<=) :: W256 -> W256 -> Bool

(>) :: W256 -> W256 -> Bool

(>=) :: W256 -> W256 -> Bool

max :: W256 -> W256 -> W256

min :: W256 -> W256 -> W256

Read W256

Defined in EVM.Types

Methods

readsPrec :: Int -> ReadS W256

readList :: ReadS [W256]

readPrec :: ReadPrec W256

readListPrec :: ReadPrec [W256]

Real W256

Defined in EVM.Types

Methods

toRational :: W256 -> Rational

Show W256

Defined in EVM.Types

Methods

showsPrec :: Int -> W256 -> ShowS

show :: W256 -> String

showList :: [W256] -> ShowS

Generic W256

Defined in EVM.Types

Associated Types

type Rep W256 :: Type -> Type

Methods

from :: W256 -> Rep W256 x

to :: Rep W256 x -> W256

ToJSON W256

Defined in EVM.Types

Methods

toJSON :: W256 -> Value

toEncoding :: W256 -> Encoding

toJSONList :: [W256] -> Value

toEncodingList :: [W256] -> Encoding

FromJSON W256

Defined in EVM.Types

Methods

parseJSON :: Value -> Parser W256

parseJSONList :: Value -> Parser [W256]

FromJSONKey W256

Defined in EVM.Types

Methods

fromJSONKey :: FromJSONKeyFunction W256

fromJSONKeyList :: FromJSONKeyFunction [W256]

Bits W256

Defined in EVM.Types

Methods

(.&.) :: W256 -> W256 -> W256

(.|.) :: W256 -> W256 -> W256

xor :: W256 -> W256 -> W256

complement :: W256 -> W256

shift :: W256 -> Int -> W256

rotate :: W256 -> Int -> W256

zeroBits :: W256

bit :: Int -> W256

setBit :: W256 -> Int -> W256

clearBit :: W256 -> Int -> W256

complementBit :: W256 -> Int -> W256

testBit :: W256 -> Int -> Bool

bitSizeMaybe :: W256 -> Maybe Int

bitSize :: W256 -> Int

isSigned :: W256 -> Bool

shiftL :: W256 -> Int -> W256

unsafeShiftL :: W256 -> Int -> W256

shiftR :: W256 -> Int -> W256

unsafeShiftR :: W256 -> Int -> W256

rotateL :: W256 -> Int -> W256

rotateR :: W256 -> Int -> W256

popCount :: W256 -> Int

FiniteBits W256

Defined in EVM.Types

Methods

finiteBitSize :: W256 -> Int

countLeadingZeros :: W256 -> Int

countTrailingZeros :: W256 -> Int

ParseField W256

Defined in EVM.Types

Methods

parseField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser W256

parseListOfField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser [W256]

readField :: ReadM W256

metavar :: proxy W256 -> String

ParseFields W256

Defined in EVM.Types

Methods

parseFields :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser W256

ParseRecord W256

Defined in EVM.Types

Methods

parseRecord :: Parser W256

ToSizzleBV W256

Defined in EVM.Types

Methods

toSizzle :: W256 -> ToSizzle W256

ToRPC W256

Defined in EVM.Fetch

Methods

toRPC :: W256 -> Value

SDisplay W256

Defined in EVM.Emacs

Methods

sexp :: W256 -> SExpr Text

type Rep W256

Defined in EVM.Types

type Rep W256 = D1 ('MetaData "W256" "EVM.Types" "hevm-0.49.0-inplace" 'True) (C1 ('MetaCons "W256" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))

data Word

Constructors

C Whiff W256

Instances

Bounded Word

Defined in EVM.Types

Methods

minBound :: Word

maxBound :: Word

Enum Word

Defined in EVM.Types

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

Defined in EVM.Types

Methods

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

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

Integral Word

Defined in EVM.Types

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

Defined in EVM.Types

Methods

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

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

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

negate :: Word -> Word

abs :: Word -> Word

signum :: Word -> Word

fromInteger :: Integer -> Word

Ord Word

Defined in EVM.Types

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

Defined in EVM.Types

Methods

readsPrec :: Int -> ReadS Word

readList :: ReadS [Word]

readPrec :: ReadPrec Word

readListPrec :: ReadPrec [Word]

Real Word

Defined in EVM.Types

Methods

toRational :: Word -> Rational

Show Word

Defined in EVM.Types

Methods

showsPrec :: Int -> Word -> ShowS

show :: Word -> String

showList :: [Word] -> ShowS

ToJSON Word

Defined in EVM.Types

Methods

toJSON :: Word -> Value

toEncoding :: Word -> Encoding

toJSONList :: [Word] -> Value

toEncodingList :: [Word] -> Encoding

Bits Word

Defined in EVM.Types

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

Defined in EVM.Types

Methods

finiteBitSize :: Word -> Int

countLeadingZeros :: Word -> Int

countTrailingZeros :: Word -> Int

SDisplay Word

Defined in EVM.Emacs

Methods

sexp :: Word -> SExpr Text

w256 :: W256 -> Word

newtype ByteStringS

Constructors

ByteStringS ByteString

Instances

Eq ByteStringS

Defined in EVM.Types

Methods

(==) :: ByteStringS -> ByteStringS -> Bool

(/=) :: ByteStringS -> ByteStringS -> Bool

Show ByteStringS

Defined in EVM.Types

Methods

showsPrec :: Int -> ByteStringS -> ShowS

show :: ByteStringS -> String

showList :: [ByteStringS] -> ShowS

ToJSON ByteStringS

Defined in EVM.Types

Methods

toJSON :: ByteStringS -> Value

toEncoding :: ByteStringS -> Encoding

toJSONList :: [ByteStringS] -> Value

toEncodingList :: [ByteStringS] -> Encoding

data SymWord

Symbolic words of 256 bits, possibly annotated with additional "insightful" information

Constructors

S Whiff (SWord 256)

Instances

Bounded SymWord

Defined in EVM.Types

Methods

minBound :: SymWord

maxBound :: SymWord

Enum SymWord

Defined in EVM.Types

Methods

succ :: SymWord -> SymWord

pred :: SymWord -> SymWord

toEnum :: Int -> SymWord

fromEnum :: SymWord -> Int

enumFrom :: SymWord -> [SymWord]

enumFromThen :: SymWord -> SymWord -> [SymWord]

enumFromTo :: SymWord -> SymWord -> [SymWord]

enumFromThenTo :: SymWord -> SymWord -> SymWord -> [SymWord]

Eq SymWord

Defined in EVM.Types

Methods

(==) :: SymWord -> SymWord -> Bool

(/=) :: SymWord -> SymWord -> Bool

Num SymWord

Defined in EVM.Types

Methods

(+) :: SymWord -> SymWord -> SymWord

(-) :: SymWord -> SymWord -> SymWord

(*) :: SymWord -> SymWord -> SymWord

negate :: SymWord -> SymWord

abs :: SymWord -> SymWord

signum :: SymWord -> SymWord

fromInteger :: Integer -> SymWord

Show SymWord

Defined in EVM.Types

Methods

showsPrec :: Int -> SymWord -> ShowS

show :: SymWord -> String

showList :: [SymWord] -> ShowS

Bits SymWord

Defined in EVM.Types

Methods

(.&.) :: SymWord -> SymWord -> SymWord

(.|.) :: SymWord -> SymWord -> SymWord

xor :: SymWord -> SymWord -> SymWord

complement :: SymWord -> SymWord

shift :: SymWord -> Int -> SymWord

rotate :: SymWord -> Int -> SymWord

zeroBits :: SymWord

bit :: Int -> SymWord

setBit :: SymWord -> Int -> SymWord

clearBit :: SymWord -> Int -> SymWord

complementBit :: SymWord -> Int -> SymWord

testBit :: SymWord -> Int -> Bool

bitSizeMaybe :: SymWord -> Maybe Int

bitSize :: SymWord -> Int

isSigned :: SymWord -> Bool

shiftL :: SymWord -> Int -> SymWord

unsafeShiftL :: SymWord -> Int -> SymWord

shiftR :: SymWord -> Int -> SymWord

unsafeShiftR :: SymWord -> Int -> SymWord

rotateL :: SymWord -> Int -> SymWord

rotateR :: SymWord -> Int -> SymWord

popCount :: SymWord -> Int

EqSymbolic SymWord

Custom instances for SymWord, many of which have direct analogues for concrete words defined in Concrete.hs

Defined in EVM.Types

Methods

(.==) :: SymWord -> SymWord -> SBool

(./=) :: SymWord -> SymWord -> SBool

(.===) :: SymWord -> SymWord -> SBool

(./==) :: SymWord -> SymWord -> SBool

distinct :: [SymWord] -> SBool

distinctExcept :: [SymWord] -> [SymWord] -> SBool

allEqual :: [SymWord] -> SBool

sElem :: SymWord -> [SymWord] -> SBool

sNotElem :: SymWord -> [SymWord] -> SBool

SDivisible SymWord

Defined in EVM.Types

Methods

sQuotRem :: SymWord -> SymWord -> (SymWord, SymWord)

sDivMod :: SymWord -> SymWord -> (SymWord, SymWord)

sQuot :: SymWord -> SymWord -> SymWord

sRem :: SymWord -> SymWord -> SymWord

sDiv :: SymWord -> SymWord -> SymWord

sMod :: SymWord -> SymWord -> SymWord

SDisplay SymWord

Defined in EVM.Emacs

Methods

sexp :: SymWord -> SExpr Text

var :: String -> SWord 256 -> SymWord

iteWhiff :: Whiff -> SBool -> SWord 256 -> SWord 256 -> SymWord

Instead of supporting a Mergeable instance directly, we use one which carries the Whiff around:

data Whiff

This type can give insight into the provenance of a term which is useful, both for the aesthetic purpose of printing terms in a richer way, but also do optimizations on the AST instead of letting the SMT solver do all the heavy lifting.

Constructors

Todo String [Whiff]

And Whiff Whiff

Or Whiff Whiff

Eq Whiff Whiff

LT Whiff Whiff

GT Whiff Whiff

SLT Whiff Whiff

SGT Whiff Whiff

IsZero Whiff

ITE Whiff Whiff Whiff

SHL Whiff Whiff

SHR Whiff Whiff

SAR Whiff Whiff

Add Whiff Whiff

Sub Whiff Whiff

Mul Whiff Whiff

Div Whiff Whiff

Mod Whiff Whiff

Exp Whiff Whiff

Neg Whiff

FromKeccak Buffer

FromBytes Buffer

FromStorage Whiff (SArray (WordN 256) (WordN 256))

Literal W256

Var String (SWord 256)

Instances

Show Whiff

Defined in EVM.Types

Methods

showsPrec :: Int -> Whiff -> ShowS

show :: Whiff -> String

showList :: [Whiff] -> ShowS

newtype Addr

Constructors

Addr

Fields

• addressWord160 :: Word160

Instances

Enum Addr

Defined in EVM.Types

Methods

succ :: Addr -> Addr

pred :: Addr -> Addr

toEnum :: Int -> Addr

fromEnum :: Addr -> Int

enumFrom :: Addr -> [Addr]

enumFromThen :: Addr -> Addr -> [Addr]

enumFromTo :: Addr -> Addr -> [Addr]

enumFromThenTo :: Addr -> Addr -> Addr -> [Addr]

Eq Addr

Defined in EVM.Types

Methods

(==) :: Addr -> Addr -> Bool

(/=) :: Addr -> Addr -> Bool

Integral Addr

Defined in EVM.Types

Methods

quot :: Addr -> Addr -> Addr

rem :: Addr -> Addr -> Addr

div :: Addr -> Addr -> Addr

mod :: Addr -> Addr -> Addr

quotRem :: Addr -> Addr -> (Addr, Addr)

divMod :: Addr -> Addr -> (Addr, Addr)

toInteger :: Addr -> Integer

Num Addr

Defined in EVM.Types

Methods

(+) :: Addr -> Addr -> Addr

(-) :: Addr -> Addr -> Addr

(*) :: Addr -> Addr -> Addr

negate :: Addr -> Addr

abs :: Addr -> Addr

signum :: Addr -> Addr

fromInteger :: Integer -> Addr

Ord Addr

Defined in EVM.Types

Methods

compare :: Addr -> Addr -> Ordering

(<) :: Addr -> Addr -> Bool

(<=) :: Addr -> Addr -> Bool

(>) :: Addr -> Addr -> Bool

(>=) :: Addr -> Addr -> Bool

max :: Addr -> Addr -> Addr

min :: Addr -> Addr -> Addr

Read Addr

Defined in EVM.Types

Methods

readsPrec :: Int -> ReadS Addr

readList :: ReadS [Addr]

readPrec :: ReadPrec Addr

readListPrec :: ReadPrec [Addr]

Real Addr

Defined in EVM.Types

Methods

toRational :: Addr -> Rational

Show Addr

Defined in EVM.Types

Methods

showsPrec :: Int -> Addr -> ShowS

show :: Addr -> String

showList :: [Addr] -> ShowS

Generic Addr

Defined in EVM.Types

Associated Types

type Rep Addr :: Type -> Type

Methods

from :: Addr -> Rep Addr x

to :: Rep Addr x -> Addr

FromJSON Addr

Defined in EVM.Types

Methods

parseJSON :: Value -> Parser Addr

parseJSONList :: Value -> Parser [Addr]

FromJSONKey Addr

Defined in EVM.Types

Methods

fromJSONKey :: FromJSONKeyFunction Addr

fromJSONKeyList :: FromJSONKeyFunction [Addr]

Bits Addr

Defined in EVM.Types

Methods

(.&.) :: Addr -> Addr -> Addr

(.|.) :: Addr -> Addr -> Addr

xor :: Addr -> Addr -> Addr

complement :: Addr -> Addr

shift :: Addr -> Int -> Addr

rotate :: Addr -> Int -> Addr

zeroBits :: Addr

bit :: Int -> Addr

setBit :: Addr -> Int -> Addr

clearBit :: Addr -> Int -> Addr

complementBit :: Addr -> Int -> Addr

testBit :: Addr -> Int -> Bool

bitSizeMaybe :: Addr -> Maybe Int

bitSize :: Addr -> Int

isSigned :: Addr -> Bool

shiftL :: Addr -> Int -> Addr

unsafeShiftL :: Addr -> Int -> Addr

shiftR :: Addr -> Int -> Addr

unsafeShiftR :: Addr -> Int -> Addr

rotateL :: Addr -> Int -> Addr

rotateR :: Addr -> Int -> Addr

popCount :: Addr -> Int

ParseField Addr

Defined in EVM.Types

Methods

parseField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser Addr

parseListOfField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser [Addr]

readField :: ReadM Addr

metavar :: proxy Addr -> String

ParseFields Addr

Defined in EVM.Types

Methods

parseFields :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser Addr

ParseRecord Addr

Defined in EVM.Types

Methods

parseRecord :: Parser Addr

ToSizzleBV Addr

Defined in EVM.Types

Methods

toSizzle :: Addr -> ToSizzle Addr

ToRPC Addr

Defined in EVM.Fetch

Methods

toRPC :: Addr -> Value

SDisplay Addr

Defined in EVM.Emacs

Methods

sexp :: Addr -> SExpr Text

type Rep Addr

Defined in EVM.Types

type Rep Addr = D1 ('MetaData "Addr" "EVM.Types" "hevm-0.49.0-inplace" 'True) (C1 ('MetaCons "Addr" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressWord160") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word160)))

newtype SAddr

Constructors

SAddr

Fields

• saddressWord160 :: SWord 160

Instances

Num SAddr

Defined in EVM.Types

Methods

(+) :: SAddr -> SAddr -> SAddr

(-) :: SAddr -> SAddr -> SAddr

(*) :: SAddr -> SAddr -> SAddr

negate :: SAddr -> SAddr

abs :: SAddr -> SAddr

signum :: SAddr -> SAddr

fromInteger :: Integer -> SAddr

Show SAddr

Defined in EVM.Types

Methods

showsPrec :: Int -> SAddr -> ShowS

show :: SAddr -> String

showList :: [SAddr] -> ShowS

type family FromSizzle (t :: Type) :: Type where ...

Capture the correspondence between sized and fixed-sized BVs (This is blatant copypasta of FromSized from sbv, which just happens to be defined up to 64 bits)

Equations

FromSizzle (WordN 256) = W256

FromSizzle (WordN 160) = Addr

class FromSizzleBV a where

Conversion from a sized BV to a fixed-sized bit-vector.

Minimal complete definition

Nothing

Methods

fromSizzle :: a -> FromSizzle a

Convert a sized bit-vector to the corresponding fixed-sized bit-vector, for instance 'SWord 16' to SWord16. See also toSized.

default fromSizzle :: (Num (FromSizzle a), Integral a) => a -> FromSizzle a

Instances

FromSizzleBV (WordN 160)

Defined in EVM.Types

Methods

fromSizzle :: WordN 160 -> FromSizzle (WordN 160)

FromSizzleBV (WordN 256)

Defined in EVM.Types

Methods

fromSizzle :: WordN 256 -> FromSizzle (WordN 256)

maybeLitWord :: SymWord -> Maybe Word

type family ToSizzle (t :: Type) :: Type where ...

convert between (WordN 256) and Word256

Equations

ToSizzle W256 = WordN 256

ToSizzle Addr = WordN 160

class ToSizzleBV a where

Conversion from a fixed-sized BV to a sized bit-vector.

Minimal complete definition

Nothing

Methods

toSizzle :: a -> ToSizzle a

Convert a fixed-sized bit-vector to the corresponding sized bit-vector,

default toSizzle :: (Num (ToSizzle a), Integral a) => a -> ToSizzle a

Instances

ToSizzleBV Addr

Defined in EVM.Types

Methods

toSizzle :: Addr -> ToSizzle Addr

ToSizzleBV W256

Defined in EVM.Types

Methods

toSizzle :: W256 -> ToSizzle W256

w256lit :: W256 -> SymWord

litBytes :: ByteString -> [SWord 8]

toChecksumAddress :: String -> String

strip0x :: ByteString -> ByteString

hexByteString :: String -> ByteString -> ByteString

hexText :: Text -> ByteString

readN :: Integral a => String -> a

readNull :: Read a => a -> String -> a

wordField :: Object -> Text -> Parser W256

addrField :: Object -> Text -> Parser Addr

addrFieldMaybe :: Object -> Text -> Parser (Maybe Addr)

dataField :: Object -> Text -> Parser ByteString

toWord512 :: W256 -> Word512

fromWord512 :: Word512 -> W256

num :: (Integral a, Num b) => a -> b

padLeft :: Int -> ByteString -> ByteString

padRight :: Int -> ByteString -> ByteString

padRight' :: Int -> String -> String

truncpad :: Int -> [SWord 8] -> [SWord 8]

Right padding / truncating

padLeft' :: Num a => Int -> [a] -> [a]

word256 :: ByteString -> Word256

word :: ByteString -> W256

byteAt :: (Bits a, Bits b, Integral a, Num b) => a -> Int -> b

fromBE :: Integral a => ByteString -> a

asBE :: Integral a => a -> ByteString

word256Bytes :: W256 -> ByteString

word160Bytes :: Addr -> ByteString

newtype Nibble

Constructors

Nibble Word8

Instances

Bounded Nibble

Defined in EVM.Types

Methods

minBound :: Nibble

maxBound :: Nibble

Enum Nibble

Defined in EVM.Types

Methods

succ :: Nibble -> Nibble

pred :: Nibble -> Nibble

toEnum :: Int -> Nibble

fromEnum :: Nibble -> Int

enumFrom :: Nibble -> [Nibble]

enumFromThen :: Nibble -> Nibble -> [Nibble]

enumFromTo :: Nibble -> Nibble -> [Nibble]

enumFromThenTo :: Nibble -> Nibble -> Nibble -> [Nibble]

Eq Nibble

Defined in EVM.Types

Methods

(==) :: Nibble -> Nibble -> Bool

(/=) :: Nibble -> Nibble -> Bool

Integral Nibble

Defined in EVM.Types

Methods

quot :: Nibble -> Nibble -> Nibble

rem :: Nibble -> Nibble -> Nibble

div :: Nibble -> Nibble -> Nibble

mod :: Nibble -> Nibble -> Nibble

quotRem :: Nibble -> Nibble -> (Nibble, Nibble)

divMod :: Nibble -> Nibble -> (Nibble, Nibble)

toInteger :: Nibble -> Integer

Num Nibble

Defined in EVM.Types

Methods

(+) :: Nibble -> Nibble -> Nibble

(-) :: Nibble -> Nibble -> Nibble

(*) :: Nibble -> Nibble -> Nibble

negate :: Nibble -> Nibble

abs :: Nibble -> Nibble

signum :: Nibble -> Nibble

fromInteger :: Integer -> Nibble

Ord Nibble

Defined in EVM.Types

Methods

compare :: Nibble -> Nibble -> Ordering

(<) :: Nibble -> Nibble -> Bool

(<=) :: Nibble -> Nibble -> Bool

(>) :: Nibble -> Nibble -> Bool

(>=) :: Nibble -> Nibble -> Bool

max :: Nibble -> Nibble -> Nibble

min :: Nibble -> Nibble -> Nibble

Real Nibble

Defined in EVM.Types

Methods

toRational :: Nibble -> Rational

Show Nibble

Defined in EVM.Types

Methods

showsPrec :: Int -> Nibble -> ShowS

show :: Nibble -> String

showList :: [Nibble] -> ShowS

Generic Nibble

Defined in EVM.Types

Associated Types

type Rep Nibble :: Type -> Type

Methods

from :: Nibble -> Rep Nibble x

to :: Rep Nibble x -> Nibble

Bits Nibble

Defined in EVM.Types

Methods

(.&.) :: Nibble -> Nibble -> Nibble

(.|.) :: Nibble -> Nibble -> Nibble

xor :: Nibble -> Nibble -> Nibble

complement :: Nibble -> Nibble

shift :: Nibble -> Int -> Nibble

rotate :: Nibble -> Int -> Nibble

zeroBits :: Nibble

bit :: Int -> Nibble

setBit :: Nibble -> Int -> Nibble

clearBit :: Nibble -> Int -> Nibble

complementBit :: Nibble -> Int -> Nibble

testBit :: Nibble -> Int -> Bool

bitSizeMaybe :: Nibble -> Maybe Int

bitSize :: Nibble -> Int

isSigned :: Nibble -> Bool

shiftL :: Nibble -> Int -> Nibble

unsafeShiftL :: Nibble -> Int -> Nibble

shiftR :: Nibble -> Int -> Nibble

unsafeShiftR :: Nibble -> Int -> Nibble

rotateL :: Nibble -> Int -> Nibble

rotateR :: Nibble -> Int -> Nibble

popCount :: Nibble -> Int

FiniteBits Nibble

Defined in EVM.Types

Methods

finiteBitSize :: Nibble -> Int

countLeadingZeros :: Nibble -> Int

countTrailingZeros :: Nibble -> Int

type Rep Nibble

Defined in EVM.Types

type Rep Nibble = D1 ('MetaData "Nibble" "EVM.Types" "hevm-0.49.0-inplace" 'True) (C1 ('MetaCons "Nibble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

hi :: Word8 -> Nibble

lo :: Word8 -> Nibble

toByte :: Nibble -> Nibble -> Word8

unpackNibbles :: ByteString -> [Nibble]

packNibbles :: [Nibble] -> ByteString

keccakBytes :: ByteString -> ByteString

word32 :: [Word8] -> Word32

keccak :: ByteString -> W256

abiKeccak :: ByteString -> Word32

concatMapM :: Monad m => (a -> m [b]) -> [a] -> m [b]

regexMatches :: Text -> Text -> Bool