EVM.ABI

Documentation

data AbiValue

Constructors

AbiUInt Int Word256

AbiInt Int Int256

AbiAddress Addr

AbiBool Bool

AbiBytes Int ByteString

AbiBytesDynamic ByteString

AbiString ByteString

AbiArrayDynamic AbiType (Vector AbiValue)

AbiArray Int AbiType (Vector AbiValue)

AbiTuple (Vector AbiValue)

Instances

Eq AbiValue

Defined in EVM.ABI

Methods

(==) :: AbiValue -> AbiValue -> Bool

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

Ord AbiValue

Defined in EVM.ABI

Methods

compare :: AbiValue -> AbiValue -> Ordering

(<) :: AbiValue -> AbiValue -> Bool

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

(>) :: AbiValue -> AbiValue -> Bool

(>=) :: AbiValue -> AbiValue -> Bool

max :: AbiValue -> AbiValue -> AbiValue

min :: AbiValue -> AbiValue -> AbiValue

Read AbiValue

Defined in EVM.ABI

Methods

readsPrec :: Int -> ReadS AbiValue

readList :: ReadS [AbiValue]

readPrec :: ReadPrec AbiValue

readListPrec :: ReadPrec [AbiValue]

Show AbiValue

Pretty-print some AbiValue.

Defined in EVM.ABI

Methods

showsPrec :: Int -> AbiValue -> ShowS

show :: AbiValue -> String

showList :: [AbiValue] -> ShowS

Generic AbiValue

Defined in EVM.ABI

Associated Types

type Rep AbiValue :: Type -> Type

Methods

from :: AbiValue -> Rep AbiValue x

to :: Rep AbiValue x -> AbiValue

Arbitrary AbiValue

Defined in EVM.ABI

Methods

arbitrary :: Gen AbiValue

shrink :: AbiValue -> [AbiValue]

type Rep AbiValue

Defined in EVM.ABI

type Rep AbiValue = D1 ('MetaData "AbiValue" "EVM.ABI" "hevm-0.47.0-inplace" 'False) (((C1 ('MetaCons "AbiUInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word256)) :+: C1 ('MetaCons "AbiInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int256))) :+: (C1 ('MetaCons "AbiAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Addr)) :+: (C1 ('MetaCons "AbiBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "AbiBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))) :+: ((C1 ('MetaCons "AbiBytesDynamic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "AbiString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))) :+: (C1 ('MetaCons "AbiArrayDynamic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AbiType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector AbiValue))) :+: (C1 ('MetaCons "AbiArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AbiType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector AbiValue)))) :+: C1 ('MetaCons "AbiTuple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector AbiValue)))))))

data AbiType

Constructors

AbiUIntType Int

AbiIntType Int

AbiAddressType

AbiBoolType

AbiBytesType Int

AbiBytesDynamicType

AbiStringType

AbiArrayDynamicType AbiType

AbiArrayType Int AbiType

AbiTupleType (Vector AbiType)

Instances

Eq AbiType

Defined in EVM.ABI

Methods

(==) :: AbiType -> AbiType -> Bool

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

Ord AbiType

Defined in EVM.ABI

Methods

compare :: AbiType -> AbiType -> Ordering

(<) :: AbiType -> AbiType -> Bool

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

(>) :: AbiType -> AbiType -> Bool

(>=) :: AbiType -> AbiType -> Bool

max :: AbiType -> AbiType -> AbiType

min :: AbiType -> AbiType -> AbiType

Read AbiType

Defined in EVM.ABI

Methods

readsPrec :: Int -> ReadS AbiType

readList :: ReadS [AbiType]

readPrec :: ReadPrec AbiType

readListPrec :: ReadPrec [AbiType]

Show AbiType

Defined in EVM.ABI

Methods

showsPrec :: Int -> AbiType -> ShowS

show :: AbiType -> String

showList :: [AbiType] -> ShowS

Generic AbiType

Defined in EVM.ABI

Associated Types

type Rep AbiType :: Type -> Type

Methods

from :: AbiType -> Rep AbiType x

to :: Rep AbiType x -> AbiType

Arbitrary AbiType

Defined in EVM.ABI

Methods

arbitrary :: Gen AbiType

shrink :: AbiType -> [AbiType]

type Rep AbiType

Defined in EVM.ABI

type Rep AbiType = D1 ('MetaData "AbiType" "EVM.ABI" "hevm-0.47.0-inplace" 'False) (((C1 ('MetaCons "AbiUIntType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "AbiIntType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :+: (C1 ('MetaCons "AbiAddressType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AbiBoolType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AbiBytesType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))) :+: ((C1 ('MetaCons "AbiBytesDynamicType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AbiStringType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AbiArrayDynamicType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AbiType)) :+: (C1 ('MetaCons "AbiArrayType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AbiType)) :+: C1 ('MetaCons "AbiTupleType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector AbiType)))))))

data AbiKind

Constructors

Dynamic

Static

Instances

Eq AbiKind

Defined in EVM.ABI

Methods

(==) :: AbiKind -> AbiKind -> Bool

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

Ord AbiKind

Defined in EVM.ABI

Methods

compare :: AbiKind -> AbiKind -> Ordering

(<) :: AbiKind -> AbiKind -> Bool

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

(>) :: AbiKind -> AbiKind -> Bool

(>=) :: AbiKind -> AbiKind -> Bool

max :: AbiKind -> AbiKind -> AbiKind

min :: AbiKind -> AbiKind -> AbiKind

Read AbiKind

Defined in EVM.ABI

Methods

readsPrec :: Int -> ReadS AbiKind

readList :: ReadS [AbiKind]

readPrec :: ReadPrec AbiKind

readListPrec :: ReadPrec [AbiKind]

Show AbiKind

Defined in EVM.ABI

Methods

showsPrec :: Int -> AbiKind -> ShowS

show :: AbiKind -> String

showList :: [AbiKind] -> ShowS

Generic AbiKind

Defined in EVM.ABI

Associated Types

type Rep AbiKind :: Type -> Type

Methods

from :: AbiKind -> Rep AbiKind x

to :: Rep AbiKind x -> AbiKind

type Rep AbiKind

Defined in EVM.ABI

type Rep AbiKind = D1 ('MetaData "AbiKind" "EVM.ABI" "hevm-0.47.0-inplace" 'False) (C1 ('MetaCons "Dynamic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Static" 'PrefixI 'False) (U1 :: Type -> Type))

data AbiVals

Constructors

NoVals

CAbi [AbiValue]

SAbi [SymWord]

Instances

Show AbiVals

Defined in EVM.ABI

Methods

showsPrec :: Int -> AbiVals -> ShowS

show :: AbiVals -> String

showList :: [AbiVals] -> ShowS

abiKind :: AbiType -> AbiKind

data Event

Constructors

Event Text Anonymity [(AbiType, Indexed)]

Instances

Eq Event

Defined in EVM.ABI

Methods

(==) :: Event -> Event -> Bool

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

Ord Event

Defined in EVM.ABI

Methods

compare :: Event -> Event -> Ordering

(<) :: Event -> Event -> Bool

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

(>) :: Event -> Event -> Bool

(>=) :: Event -> Event -> Bool

max :: Event -> Event -> Event

min :: Event -> Event -> Event

Show Event

Defined in EVM.ABI

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

Generic Event

Defined in EVM.ABI

Associated Types

type Rep Event :: Type -> Type

Methods

from :: Event -> Rep Event x

to :: Rep Event x -> Event

type Rep Event

Defined in EVM.ABI

type Rep Event = D1 ('MetaData "Event" "EVM.ABI" "hevm-0.47.0-inplace" 'False) (C1 ('MetaCons "Event" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Anonymity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(AbiType, Indexed)]))))

data Anonymity

Constructors

Anonymous

NotAnonymous

Instances

Eq Anonymity

Defined in EVM.ABI

Methods

(==) :: Anonymity -> Anonymity -> Bool

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

Ord Anonymity

Defined in EVM.ABI

Methods

compare :: Anonymity -> Anonymity -> Ordering

(<) :: Anonymity -> Anonymity -> Bool

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

(>) :: Anonymity -> Anonymity -> Bool

(>=) :: Anonymity -> Anonymity -> Bool

max :: Anonymity -> Anonymity -> Anonymity

min :: Anonymity -> Anonymity -> Anonymity

Show Anonymity

Defined in EVM.ABI

Methods

showsPrec :: Int -> Anonymity -> ShowS

show :: Anonymity -> String

showList :: [Anonymity] -> ShowS

Generic Anonymity

Defined in EVM.ABI

Associated Types

type Rep Anonymity :: Type -> Type

Methods

from :: Anonymity -> Rep Anonymity x

to :: Rep Anonymity x -> Anonymity

type Rep Anonymity

Defined in EVM.ABI

type Rep Anonymity = D1 ('MetaData "Anonymity" "EVM.ABI" "hevm-0.47.0-inplace" 'False) (C1 ('MetaCons "Anonymous" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotAnonymous" 'PrefixI 'False) (U1 :: Type -> Type))

data Indexed

Constructors

Indexed

NotIndexed

Instances

Eq Indexed

Defined in EVM.ABI

Methods

(==) :: Indexed -> Indexed -> Bool

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

Ord Indexed

Defined in EVM.ABI

Methods

compare :: Indexed -> Indexed -> Ordering

(<) :: Indexed -> Indexed -> Bool

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

(>) :: Indexed -> Indexed -> Bool

(>=) :: Indexed -> Indexed -> Bool

max :: Indexed -> Indexed -> Indexed

min :: Indexed -> Indexed -> Indexed

Show Indexed

Defined in EVM.ABI

Methods

showsPrec :: Int -> Indexed -> ShowS

show :: Indexed -> String

showList :: [Indexed] -> ShowS

Generic Indexed

Defined in EVM.ABI

Associated Types

type Rep Indexed :: Type -> Type

Methods

from :: Indexed -> Rep Indexed x

to :: Rep Indexed x -> Indexed

type Rep Indexed

Defined in EVM.ABI

type Rep Indexed = D1 ('MetaData "Indexed" "EVM.ABI" "hevm-0.47.0-inplace" 'False) (C1 ('MetaCons "Indexed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotIndexed" 'PrefixI 'False) (U1 :: Type -> Type))

putAbi :: AbiValue -> Put

getAbi :: AbiType -> Get AbiValue

getAbiSeq :: Int -> [AbiType] -> Get (Vector AbiValue)

Decode a sequence type (e.g. tuple / array). Will fail for non sequence types

genAbiValue :: AbiType -> Gen AbiValue

abiValueType :: AbiValue -> AbiType

abiTypeSolidity :: AbiType -> Text

abiMethod :: Text -> AbiValue -> ByteString

emptyAbi :: AbiValue

encodeAbiValue :: AbiValue -> ByteString

decodeAbiValue :: AbiType -> ByteString -> AbiValue

decodeStaticArgs :: Buffer -> [SymWord]

decodeBuffer :: [AbiType] -> Buffer -> AbiVals

formatString :: ByteString -> String

parseTypeName :: Vector AbiType -> Text -> Maybe AbiType

makeAbiValue :: AbiType -> String -> AbiValue

parseAbiValue :: AbiType -> ReadP AbiValue

selector :: Text -> ByteString