Safe Haskell	None
Language	Haskell2010

EVM.Types

Documentation

data Word512 Source #

Constructors

Word512 !Word256 !Word256

Instances

Bounded Word512 Source #
Instance details Defined in EVM.Types Methods minBound :: Word512 # maxBound :: Word512 #
Enum Word512 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods (==) :: Word512 -> Word512 -> Bool # (/=) :: Word512 -> Word512 -> Bool #
Integral Word512 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS Word512 # readList :: ReadS [Word512] # readPrec :: ReadPrec Word512 # readListPrec :: ReadPrec [Word512] #
Real Word512 Source #
Instance details Defined in EVM.Types Methods toRational :: Word512 -> Rational #
Show Word512 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Word512 -> ShowS # show :: Word512 -> String # showList :: [Word512] -> ShowS #
Ix Word512 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Associated Types type Rep Word512 :: * -> * # Methods from :: Word512 -> Rep Word512 x # to :: Rep Word512 x -> Word512 #
Hashable Word512 Source #
Instance details Defined in EVM.Types Methods hashWithSalt :: Int -> Word512 -> Int # hash :: Word512 -> Int #
Bits Word512 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: Word512 -> Int # countLeadingZeros :: Word512 -> Int # countTrailingZeros :: Word512 -> Int #
BinaryWord Word512 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types type SignedWord Word512 = Int512
type UnsignedWord Word512 Source #
Instance details Defined in EVM.Types type UnsignedWord Word512 = Word512
type HiWord Word512 Source #
Instance details Defined in EVM.Types type HiWord Word512 = Word256
type LoWord Word512 Source #
Instance details Defined in EVM.Types type LoWord Word512 = Word256

data Int512 Source #

Constructors

Int512 !Int256 !Word256

Instances

Bounded Int512 Source #
Instance details Defined in EVM.Types Methods minBound :: Int512 # maxBound :: Int512 #
Enum Int512 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods (==) :: Int512 -> Int512 -> Bool # (/=) :: Int512 -> Int512 -> Bool #
Integral Int512 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS Int512 # readList :: ReadS [Int512] # readPrec :: ReadPrec Int512 # readListPrec :: ReadPrec [Int512] #
Real Int512 Source #
Instance details Defined in EVM.Types Methods toRational :: Int512 -> Rational #
Show Int512 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Int512 -> ShowS # show :: Int512 -> String # showList :: [Int512] -> ShowS #
Ix Int512 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Associated Types type Rep Int512 :: * -> * # Methods from :: Int512 -> Rep Int512 x # to :: Rep Int512 x -> Int512 #
Hashable Int512 Source #
Instance details Defined in EVM.Types Methods hashWithSalt :: Int -> Int512 -> Int # hash :: Int512 -> Int #
Bits Int512 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: Int512 -> Int # countLeadingZeros :: Int512 -> Int # countTrailingZeros :: Int512 -> Int #
BinaryWord Int512 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types type SignedWord Int512 = Int512
type UnsignedWord Int512 Source #
Instance details Defined in EVM.Types type UnsignedWord Int512 = Word512
type HiWord Int512 Source #
Instance details Defined in EVM.Types type HiWord Int512 = Int256
type LoWord Int512 Source #
Instance details Defined in EVM.Types type LoWord Int512 = Word256

newtype W256 Source #

Constructors

W256 Word256

Instances

Bounded W256 Source #
Instance details Defined in EVM.Types Methods minBound :: W256 # maxBound :: W256 #
Enum W256 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods (==) :: W256 -> W256 -> Bool # (/=) :: W256 -> W256 -> Bool #
Integral W256 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS W256 # readList :: ReadS [W256] # readPrec :: ReadPrec W256 # readListPrec :: ReadPrec [W256] #
Real W256 Source #
Instance details Defined in EVM.Types Methods toRational :: W256 -> Rational #
Show W256 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> W256 -> ShowS # show :: W256 -> String # showList :: [W256] -> ShowS #
Generic W256 Source #
Instance details Defined in EVM.Types Associated Types type Rep W256 :: * -> * # Methods from :: W256 -> Rep W256 x # to :: Rep W256 x -> W256 #
FromJSON W256 Source #
Instance details Defined in EVM.Types Methods parseJSON :: Value -> Parser W256 # parseJSONList :: Value -> Parser [W256] #
FromJSONKey W256 Source #
Instance details Defined in EVM.Types Methods fromJSONKey :: FromJSONKeyFunction W256 # fromJSONKeyList :: FromJSONKeyFunction [W256] #
Bits W256 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: W256 -> Int # countLeadingZeros :: W256 -> Int # countTrailingZeros :: W256 -> Int #
ParseField W256 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods parseFields :: Maybe Text -> Maybe Text -> Maybe Char -> Parser W256 #
ParseRecord W256 Source #
Instance details Defined in EVM.Types Methods parseRecord :: Parser W256 #
ToRPC W256 Source #
Instance details Defined in EVM.Fetch Methods toRPC :: W256 -> String Source #
SDisplay W256 Source #
Instance details Defined in EVM.Emacs Methods sexp :: W256 -> SExpr Text Source #
type Rep W256 Source #
Instance details 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 Source #

Constructors

Addr
Fields addressWord160 :: Word160

Instances

Enum Addr Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods (==) :: Addr -> Addr -> Bool # (/=) :: Addr -> Addr -> Bool #
Integral Addr Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS Addr # readList :: ReadS [Addr] # readPrec :: ReadPrec Addr # readListPrec :: ReadPrec [Addr] #
Real Addr Source #
Instance details Defined in EVM.Types Methods toRational :: Addr -> Rational #
Show Addr Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Addr -> ShowS # show :: Addr -> String # showList :: [Addr] -> ShowS #
Generic Addr Source #
Instance details Defined in EVM.Types Associated Types type Rep Addr :: * -> * # Methods from :: Addr -> Rep Addr x # to :: Rep Addr x -> Addr #
FromJSON Addr Source #
Instance details Defined in EVM.Types Methods parseJSON :: Value -> Parser Addr # parseJSONList :: Value -> Parser [Addr] #
FromJSONKey Addr Source #
Instance details Defined in EVM.Types Methods fromJSONKey :: FromJSONKeyFunction Addr # fromJSONKeyList :: FromJSONKeyFunction [Addr] #
Bits Addr Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods parseFields :: Maybe Text -> Maybe Text -> Maybe Char -> Parser Addr #
ParseRecord Addr Source #
Instance details Defined in EVM.Types Methods parseRecord :: Parser Addr #
ToRPC Addr Source #
Instance details Defined in EVM.Fetch Methods toRPC :: Addr -> String Source #
SDisplay Addr Source #
Instance details Defined in EVM.Emacs Methods sexp :: Addr -> SExpr Text Source #
type Rep Addr Source #
Instance details 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 Source #

showWordWith0x :: W256 -> String Source #

showByteStringWith0x :: ByteString -> String Source #

hexByteString :: String -> ByteString -> ByteString Source #

hexText :: Text -> ByteString Source #

readN :: Integral a => String -> a Source #

wordField :: Object -> Text -> Parser W256 Source #

addrField :: Object -> Text -> Parser Addr Source #

dataField :: Object -> Text -> Parser ByteString Source #

toWord512 :: W256 -> Word512 Source #

fromWord512 :: Word512 -> W256 Source #

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

padLeft :: Int -> ByteString -> ByteString Source #

padRight :: Int -> ByteString -> ByteString Source #

word :: ByteString -> W256 Source #

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