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)

AbiFunction ByteString

Instances

Arbitrary AbiValue

Defined in EVM.ABI

Methods

arbitrary :: Gen AbiValue

shrink :: AbiValue -> [AbiValue]

Generic AbiValue

Defined in EVM.ABI

Associated Types

type Rep AbiValue :: Type -> Type

Methods

from :: AbiValue -> Rep AbiValue x

to :: Rep AbiValue x -> 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

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

type Rep AbiValue

Defined in EVM.ABI

type Rep AbiValue = D1 ('MetaData "AbiValue" "EVM.ABI" "hevm-0.53.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))) :+: C1 ('MetaCons "AbiFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))))

data AbiType

Constructors

AbiUIntType Int

AbiIntType Int

AbiAddressType

AbiBoolType

AbiBytesType Int

AbiBytesDynamicType

AbiStringType

AbiArrayDynamicType AbiType

AbiArrayType Int AbiType

AbiTupleType (Vector AbiType)

AbiFunctionType

Instances

Arbitrary AbiType

Defined in EVM.ABI

Methods

arbitrary :: Gen AbiType

shrink :: AbiType -> [AbiType]

Data AbiType

Defined in EVM.ABI

Methods

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

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

toConstr :: AbiType -> Constr

dataTypeOf :: AbiType -> DataType

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

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

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

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

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

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

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

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

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

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

Generic AbiType

Defined in EVM.ABI

Associated Types

type Rep AbiType :: Type -> Type

Methods

from :: AbiType -> Rep AbiType x

to :: Rep AbiType x -> 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

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

type Rep AbiType

Defined in EVM.ABI

type Rep AbiType = D1 ('MetaData "AbiType" "EVM.ABI" "hevm-0.53.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))) :+: C1 ('MetaCons "AbiFunctionType" 'PrefixI 'False) (U1 :: Type -> Type)))))

data AbiKind

Constructors

Dynamic

Static

Instances

Generic AbiKind

Defined in EVM.ABI

Associated Types

type Rep AbiKind :: Type -> Type

Methods

from :: AbiKind -> Rep AbiKind x

to :: Rep AbiKind x -> 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

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

type Rep AbiKind

Defined in EVM.ABI

type Rep AbiKind = D1 ('MetaData "AbiKind" "EVM.ABI" "hevm-0.53.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 [Expr EWord]

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 [(Text, AbiType, Indexed)]

Instances

Generic Event

Defined in EVM.ABI

Associated Types

type Rep Event :: Type -> Type

Methods

from :: Event -> Rep Event x

to :: Rep Event x -> Event

Show Event

Defined in EVM.ABI

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

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

type Rep Event

Defined in EVM.ABI

type Rep Event = D1 ('MetaData "Event" "EVM.ABI" "hevm-0.53.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 [(Text, AbiType, Indexed)]))))

data SolError

Constructors

SolError Text [AbiType]

Instances

Generic SolError

Defined in EVM.ABI

Associated Types

type Rep SolError :: Type -> Type

Methods

from :: SolError -> Rep SolError x

to :: Rep SolError x -> SolError

Show SolError

Defined in EVM.ABI

Methods

showsPrec :: Int -> SolError -> ShowS

show :: SolError -> String

showList :: [SolError] -> ShowS

Eq SolError

Defined in EVM.ABI

Methods

(==) :: SolError -> SolError -> Bool

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

Ord SolError

Defined in EVM.ABI

Methods

compare :: SolError -> SolError -> Ordering

(<) :: SolError -> SolError -> Bool

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

(>) :: SolError -> SolError -> Bool

(>=) :: SolError -> SolError -> Bool

max :: SolError -> SolError -> SolError

min :: SolError -> SolError -> SolError

type Rep SolError

Defined in EVM.ABI

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

data Anonymity

Constructors

Anonymous

NotAnonymous

Instances

Generic Anonymity

Defined in EVM.ABI

Associated Types

type Rep Anonymity :: Type -> Type

Methods

from :: Anonymity -> Rep Anonymity x

to :: Rep Anonymity x -> Anonymity

Show Anonymity

Defined in EVM.ABI

Methods

showsPrec :: Int -> Anonymity -> ShowS

show :: Anonymity -> String

showList :: [Anonymity] -> ShowS

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

type Rep Anonymity

Defined in EVM.ABI

type Rep Anonymity = D1 ('MetaData "Anonymity" "EVM.ABI" "hevm-0.53.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

Generic Indexed

Defined in EVM.ABI

Associated Types

type Rep Indexed :: Type -> Type

Methods

from :: Indexed -> Rep Indexed x

to :: Rep Indexed x -> Indexed

Show Indexed

Defined in EVM.ABI

Methods

showsPrec :: Int -> Indexed -> ShowS

show :: Indexed -> String

showList :: [Indexed] -> ShowS

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

type Rep Indexed

Defined in EVM.ABI

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

data Sig

A method name, and the (ordered) types of it's arguments

Constructors

Sig Text [AbiType]

Instances

Show Sig

Defined in EVM.ABI

Methods

showsPrec :: Int -> Sig -> ShowS

show :: Sig -> String

showList :: [Sig] -> ShowS

Eq Sig

Defined in EVM.ABI

Methods

(==) :: Sig -> Sig -> Bool

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

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

decodeBuf :: [AbiType] -> Expr Buf -> AbiVals

decodeStaticArgs :: Int -> Int -> Expr Buf -> [Expr EWord]

formatString :: ByteString -> String

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

makeAbiValue :: AbiType -> String -> AbiValue

parseAbiValue :: AbiType -> ReadP AbiValue

selector :: Text -> ByteString