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 :: (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 :: * -> *

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.24-3aA5LU32nyhTVeUOUjcXw" 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 :: (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 :: * -> *

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.24-3aA5LU32nyhTVeUOUjcXw" 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

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 :: * -> *

Methods

from :: W256 -> Rep W256 x

to :: Rep W256 x -> W256

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 -> Parser W256

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

readField :: ReadM W256

metavar :: proxy W256 -> String

ParseFields W256

Defined in EVM.Types

Methods

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

ParseRecord W256

Defined in EVM.Types

Methods

parseRecord :: Parser W256

ToRPC W256

Defined in EVM.Fetch

Methods

toRPC :: W256 -> String

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.24-3aA5LU32nyhTVeUOUjcXw" True) (C1 (MetaCons "W256" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word256)))

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 :: * -> *

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 -> Parser Addr

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

readField :: ReadM Addr

metavar :: proxy Addr -> String

ParseFields Addr

Defined in EVM.Types

Methods

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

ParseRecord Addr

Defined in EVM.Types

Methods

parseRecord :: Parser Addr

ToRPC Addr

Defined in EVM.Fetch

Methods

toRPC :: Addr -> String

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.24-3aA5LU32nyhTVeUOUjcXw" True) (C1 (MetaCons "Addr" PrefixI True) (S1 (MetaSel (Just "addressWord160") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word160)))

showAddrWith0x :: Addr -> String

showWordWith0x :: W256 -> String

showByteStringWith0x :: ByteString -> String

hexByteString :: String -> ByteString -> ByteString

hexText :: Text -> ByteString

readN :: Integral a => String -> a

wordField :: Object -> Text -> Parser W256

addrField :: Object -> Text -> Parser 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

word :: ByteString -> W256

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