Safe Haskell	None
Language	Haskell2010

EVM.Types

Synopsis

data Word512 = Word512 !Word256 !Word256
data Int512 = Int512 !Int256 !Word256
data Buffer
- = ConcreteBuffer ByteString
- | SymbolicBuffer [SWord 8]
newtype W256 = W256 Word256
data Word = C Whiff W256
w256 :: W256 -> Word
newtype ByteStringS = ByteStringS ByteString
data SymWord = S Whiff (SWord 256)
var :: String -> SWord 256 -> SymWord
iteWhiff :: Whiff -> SBool -> SWord 256 -> SWord 256 -> SymWord
data Whiff
- = 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)
newtype Addr = Addr {
- addressWord160 :: Word160
}
newtype SAddr = SAddr {
- saddressWord160 :: SWord 160
}
type family FromSizzle (t :: Type) :: Type where ...
class FromSizzleBV a where
- fromSizzle :: a -> FromSizzle a
maybeLitWord :: SymWord -> Maybe Word
type family ToSizzle (t :: Type) :: Type where ...
class ToSizzleBV a where
- toSizzle :: a -> ToSizzle a
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
truncpad :: Int -> [SWord 8] -> [SWord 8]
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 = Nibble 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]

Documentation

data Word512 Source #

Constructors

Word512 !Word256 !Word256

Instances

Instances details

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 :: 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 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 :: Type -> Type # 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.46.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 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

Instances details

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 :: 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 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 :: Type -> Type # 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.46.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 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

data Buffer Source #

Constructors

ConcreteBuffer ByteString
SymbolicBuffer [SWord 8]

Instances

Instances details

Show Buffer Source #	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.
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Buffer -> ShowS # show :: Buffer -> String # showList :: [Buffer] -> ShowS #
Semigroup Buffer Source #
Instance details Defined in EVM.Types Methods (<>) :: Buffer -> Buffer -> Buffer # sconcat :: NonEmpty Buffer -> Buffer # stimes :: Integral b => b -> Buffer -> Buffer #
Monoid Buffer Source #
Instance details Defined in EVM.Types Methods mempty :: Buffer # mappend :: Buffer -> Buffer -> Buffer # mconcat :: [Buffer] -> Buffer #
EqSymbolic Buffer Source #
Instance details 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 Source #
Instance details Defined in EVM.Emacs Methods sexp :: Buffer -> SExpr Text Source #

newtype W256 Source #

Constructors

W256 Word256

Instances

Instances details

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 :: Type -> Type # Methods from :: W256 -> Rep W256 x # to :: Rep W256 x -> W256 #
ToJSON W256 Source #
Instance details Defined in EVM.Types Methods toJSON :: W256 -> Value # toEncoding :: W256 -> Encoding # toJSONList :: [W256] -> Value # toEncodingList :: [W256] -> Encoding #
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 #
ToSizzleBV W256 Source #
Instance details Defined in EVM.Types Methods toSizzle :: W256 -> ToSizzle W256 Source #
ToRPC W256 Source #
Instance details Defined in EVM.Fetch Methods toRPC :: W256 -> Value 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.46.0-inplace" 'True) (C1 ('MetaCons "W256" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))

data Word Source #

Constructors

C Whiff W256

Instances

Instances details

Bounded Word Source #
Instance details Defined in EVM.Types Methods minBound :: Word # maxBound :: Word #
Enum Word Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods (==) :: Word -> Word -> Bool # (/=) :: Word -> Word -> Bool #
Integral Word Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS Word # readList :: ReadS [Word] # readPrec :: ReadPrec Word # readListPrec :: ReadPrec [Word] #
Real Word Source #
Instance details Defined in EVM.Types Methods toRational :: Word -> Rational #
Show Word Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Word -> ShowS # show :: Word -> String # showList :: [Word] -> ShowS #
ToJSON Word Source #
Instance details Defined in EVM.Types Methods toJSON :: Word -> Value # toEncoding :: Word -> Encoding # toJSONList :: [Word] -> Value # toEncodingList :: [Word] -> Encoding #
Bits Word Source #
Instance details 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 Source #
Instance details Defined in EVM.Types 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 #

w256 :: W256 -> Word Source #

newtype ByteStringS Source #

Constructors

ByteStringS ByteString

Instances

Instances details

Eq ByteStringS Source #
Instance details Defined in EVM.Types Methods (==) :: ByteStringS -> ByteStringS -> Bool # (/=) :: ByteStringS -> ByteStringS -> Bool #
Read ByteStringS Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS ByteStringS # readList :: ReadS [ByteStringS] # readPrec :: ReadPrec ByteStringS # readListPrec :: ReadPrec [ByteStringS] #
Show ByteStringS Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> ByteStringS -> ShowS # show :: ByteStringS -> String # showList :: [ByteStringS] -> ShowS #
ToJSON ByteStringS Source #
Instance details Defined in EVM.Types Methods toJSON :: ByteStringS -> Value # toEncoding :: ByteStringS -> Encoding # toJSONList :: [ByteStringS] -> Value # toEncodingList :: [ByteStringS] -> Encoding #

data SymWord Source #

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

Constructors

S Whiff (SWord 256)

Instances

Instances details

Bounded SymWord Source #
Instance details Defined in EVM.Types Methods minBound :: SymWord # maxBound :: SymWord #
Enum SymWord Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods (==) :: SymWord -> SymWord -> Bool # (/=) :: SymWord -> SymWord -> Bool #
Num SymWord Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> SymWord -> ShowS # show :: SymWord -> String # showList :: [SymWord] -> ShowS #
Bits SymWord Source #
Instance details 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 Source #	Custom instances for SymWord, many of which have direct analogues for concrete words defined in Concrete.hs
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Emacs Methods sexp :: SymWord -> SExpr Text Source #

var :: String -> SWord 256 -> SymWord Source #

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

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

data Whiff Source #

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

Instances details

Show Whiff Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Whiff -> ShowS # show :: Whiff -> String # showList :: [Whiff] -> ShowS #

newtype Addr Source #

Constructors

Addr
Fields addressWord160 :: Word160

Instances

Instances details

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 :: Type -> Type # 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 #
ToSizzleBV Addr Source #
Instance details Defined in EVM.Types Methods toSizzle :: Addr -> ToSizzle Addr Source #
ToRPC Addr Source #
Instance details Defined in EVM.Fetch Methods toRPC :: Addr -> Value 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.46.0-inplace" 'True) (C1 ('MetaCons "Addr" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressWord160") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word160)))

newtype SAddr Source #

Constructors

SAddr
Fields saddressWord160 :: SWord 160

Instances

Instances details

Num SAddr Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> SAddr -> ShowS # show :: SAddr -> String # showList :: [SAddr] -> ShowS #

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

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 Source #

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

Minimal complete definition

Nothing

Methods

fromSizzle :: a -> FromSizzle a Source #

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 Source #

Instances

Instances details

FromSizzleBV (WordN 160) Source #
Instance details Defined in EVM.Types Methods fromSizzle :: WordN 160 -> FromSizzle (WordN 160) Source #
FromSizzleBV (WordN 256) Source #
Instance details Defined in EVM.Types Methods fromSizzle :: WordN 256 -> FromSizzle (WordN 256) Source #

maybeLitWord :: SymWord -> Maybe Word Source #

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

convert between (WordN 256) and Word256

Equations

ToSizzle W256 = WordN 256
ToSizzle Addr = WordN 160

class ToSizzleBV a where Source #

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

Minimal complete definition

Nothing

Methods

toSizzle :: a -> ToSizzle a Source #

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

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

Instances

Instances details

ToSizzleBV Addr Source #
Instance details Defined in EVM.Types Methods toSizzle :: Addr -> ToSizzle Addr Source #
ToSizzleBV W256 Source #
Instance details Defined in EVM.Types Methods toSizzle :: W256 -> ToSizzle W256 Source #

w256lit :: W256 -> SymWord Source #

litBytes :: ByteString -> [SWord 8] Source #

toChecksumAddress :: String -> String Source #

strip0x :: ByteString -> ByteString Source #

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

hexText :: Text -> ByteString Source #

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

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

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

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

addrFieldMaybe :: Object -> Text -> Parser (Maybe 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 #

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

Right padding / truncating

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

word256 :: ByteString -> Word256 Source #

word :: ByteString -> W256 Source #

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

fromBE :: Integral a => ByteString -> a Source #

asBE :: Integral a => a -> ByteString Source #

word256Bytes :: W256 -> ByteString Source #

word160Bytes :: Addr -> ByteString Source #

newtype Nibble Source #

Constructors

Nibble Word8

Instances

Instances details

Bounded Nibble Source #
Instance details Defined in EVM.Types Methods minBound :: Nibble # maxBound :: Nibble #
Enum Nibble Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods (==) :: Nibble -> Nibble -> Bool # (/=) :: Nibble -> Nibble -> Bool #
Integral Nibble Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods toRational :: Nibble -> Rational #
Show Nibble Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Nibble -> ShowS # show :: Nibble -> String # showList :: [Nibble] -> ShowS #
Generic Nibble Source #
Instance details Defined in EVM.Types Associated Types type Rep Nibble :: Type -> Type # Methods from :: Nibble -> Rep Nibble x # to :: Rep Nibble x -> Nibble #
Bits Nibble Source #
Instance details 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 Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: Nibble -> Int # countLeadingZeros :: Nibble -> Int # countTrailingZeros :: Nibble -> Int #
type Rep Nibble Source #
Instance details Defined in EVM.Types type Rep Nibble = D1 ('MetaData "Nibble" "EVM.Types" "hevm-0.46.0-inplace" 'True) (C1 ('MetaCons "Nibble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

hi :: Word8 -> Nibble Source #

lo :: Word8 -> Nibble Source #

toByte :: Nibble -> Nibble -> Word8 Source #

unpackNibbles :: ByteString -> [Nibble] Source #

packNibbles :: [Nibble] -> ByteString Source #

keccakBytes :: ByteString -> ByteString Source #

word32 :: [Word8] -> Word32 Source #

keccak :: ByteString -> W256 Source #

abiKeccak :: ByteString -> Word32 Source #

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