Safe Haskell	None
Language	Haskell2010

EVM.ABI

Documentation

data AbiValue Source #

Instances

Instances details

Eq AbiValue Source #
Instance details Defined in EVM.ABI Methods (==) :: AbiValue -> AbiValue -> Bool # (/=) :: AbiValue -> AbiValue -> Bool #
Ord AbiValue Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI Methods readsPrec :: Int -> ReadS AbiValue # readList :: ReadS [AbiValue] # readPrec :: ReadPrec AbiValue # readListPrec :: ReadPrec [AbiValue] #
Show AbiValue Source #	Pretty-print some `AbiValue`.
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> AbiValue -> ShowS # show :: AbiValue -> String # showList :: [AbiValue] -> ShowS #
Generic AbiValue Source #
Instance details Defined in EVM.ABI Associated Types type Rep AbiValue :: Type -> Type # Methods from :: AbiValue -> Rep AbiValue x # to :: Rep AbiValue x -> AbiValue #
Arbitrary AbiValue Source #
Instance details Defined in EVM.ABI Methods arbitrary :: Gen AbiValue # shrink :: AbiValue -> [AbiValue] #
type Rep AbiValue Source #
Instance details Defined in EVM.ABI type Rep AbiValue = D1 ('MetaData "AbiValue" "EVM.ABI" "hevm-0.46.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 Source #

Constructors

AbiUIntType Int
AbiIntType Int
AbiAddressType
AbiBoolType
AbiBytesType Int
AbiBytesDynamicType
AbiStringType
AbiArrayDynamicType AbiType
AbiArrayType Int AbiType
AbiTupleType (Vector AbiType)

Instances

Instances details

Eq AbiType Source #
Instance details Defined in EVM.ABI Methods (==) :: AbiType -> AbiType -> Bool # (/=) :: AbiType -> AbiType -> Bool #
Ord AbiType Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI Methods readsPrec :: Int -> ReadS AbiType # readList :: ReadS [AbiType] # readPrec :: ReadPrec AbiType # readListPrec :: ReadPrec [AbiType] #
Show AbiType Source #
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> AbiType -> ShowS # show :: AbiType -> String # showList :: [AbiType] -> ShowS #
Generic AbiType Source #
Instance details Defined in EVM.ABI Associated Types type Rep AbiType :: Type -> Type # Methods from :: AbiType -> Rep AbiType x # to :: Rep AbiType x -> AbiType #
Arbitrary AbiType Source #
Instance details Defined in EVM.ABI Methods arbitrary :: Gen AbiType # shrink :: AbiType -> [AbiType] #
type Rep AbiType Source #
Instance details Defined in EVM.ABI type Rep AbiType = D1 ('MetaData "AbiType" "EVM.ABI" "hevm-0.46.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 Source #

Constructors

Dynamic
Static

Instances

Instances details

Eq AbiKind Source #
Instance details Defined in EVM.ABI Methods (==) :: AbiKind -> AbiKind -> Bool # (/=) :: AbiKind -> AbiKind -> Bool #
Ord AbiKind Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI Methods readsPrec :: Int -> ReadS AbiKind # readList :: ReadS [AbiKind] # readPrec :: ReadPrec AbiKind # readListPrec :: ReadPrec [AbiKind] #
Show AbiKind Source #
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> AbiKind -> ShowS # show :: AbiKind -> String # showList :: [AbiKind] -> ShowS #
Generic AbiKind Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI type Rep AbiKind = D1 ('MetaData "AbiKind" "EVM.ABI" "hevm-0.46.0-inplace" 'False) (C1 ('MetaCons "Dynamic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Static" 'PrefixI 'False) (U1 :: Type -> Type))

data AbiVals Source #

Constructors

NoVals
CAbi [AbiValue]
SAbi [SymWord]

abiKind :: AbiType -> AbiKind Source #

data Event Source #

Constructors

Event Text Anonymity [(AbiType, Indexed)]

Instances

Instances details

Eq Event Source #
Instance details Defined in EVM.ABI Methods (==) :: Event -> Event -> Bool # (/=) :: Event -> Event -> Bool #
Ord Event Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> Event -> ShowS # show :: Event -> String # showList :: [Event] -> ShowS #
Generic Event Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI type Rep Event = D1 ('MetaData "Event" "EVM.ABI" "hevm-0.46.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 Source #

Constructors

Anonymous
NotAnonymous

Instances

Instances details

Eq Anonymity Source #
Instance details Defined in EVM.ABI Methods (==) :: Anonymity -> Anonymity -> Bool # (/=) :: Anonymity -> Anonymity -> Bool #
Ord Anonymity Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> Anonymity -> ShowS # show :: Anonymity -> String # showList :: [Anonymity] -> ShowS #
Generic Anonymity Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI type Rep Anonymity = D1 ('MetaData "Anonymity" "EVM.ABI" "hevm-0.46.0-inplace" 'False) (C1 ('MetaCons "Anonymous" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotAnonymous" 'PrefixI 'False) (U1 :: Type -> Type))

data Indexed Source #

Constructors

Indexed
NotIndexed

Instances

Instances details

Eq Indexed Source #
Instance details Defined in EVM.ABI Methods (==) :: Indexed -> Indexed -> Bool # (/=) :: Indexed -> Indexed -> Bool #
Ord Indexed Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> Indexed -> ShowS # show :: Indexed -> String # showList :: [Indexed] -> ShowS #
Generic Indexed Source #
Instance details 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 Source #
Instance details Defined in EVM.ABI type Rep Indexed = D1 ('MetaData "Indexed" "EVM.ABI" "hevm-0.46.0-inplace" 'False) (C1 ('MetaCons "Indexed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotIndexed" 'PrefixI 'False) (U1 :: Type -> Type))

putAbi :: AbiValue -> Put Source #

getAbi :: AbiType -> Get AbiValue Source #

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

genAbiValue :: AbiType -> Gen AbiValue Source #

abiValueType :: AbiValue -> AbiType Source #

abiTypeSolidity :: AbiType -> Text Source #

abiMethod :: Text -> AbiValue -> ByteString Source #

emptyAbi :: AbiValue Source #

encodeAbiValue :: AbiValue -> ByteString Source #

decodeAbiValue :: AbiType -> ByteString -> AbiValue Source #

decodeStaticArgs :: Buffer -> [SymWord] Source #

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

formatString :: ByteString -> String Source #

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

makeAbiValue :: AbiType -> String -> AbiValue Source #

parseAbiValue :: AbiType -> ReadP AbiValue Source #

selector :: Text -> ByteString Source #

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)