Safe Haskell	None
Language	Haskell2010

EVM.ABI

Documentation

data AbiValue Source #

Instances

Eq AbiValue Source #
Methods (==) :: AbiValue -> AbiValue -> Bool # (/=) :: AbiValue -> AbiValue -> Bool #
Ord AbiValue Source #
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 #
Methods readsPrec :: Int -> ReadS AbiValue # readList :: ReadS [AbiValue] # readPrec :: ReadPrec AbiValue # readListPrec :: ReadPrec [AbiValue] #
Show AbiValue Source #
Methods showsPrec :: Int -> AbiValue -> ShowS # show :: AbiValue -> String # showList :: [AbiValue] -> ShowS #
Generic AbiValue Source #
Associated Types type Rep AbiValue :: * -> * # Methods from :: AbiValue -> Rep AbiValue x # to :: Rep AbiValue x -> AbiValue #
Arbitrary AbiValue Source #
Methods arbitrary :: Gen AbiValue # shrink :: AbiValue -> [AbiValue] #
type Rep AbiValue Source #
type Rep AbiValue = D1 * (MetaData "AbiValue" "EVM.ABI" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "AbiUInt" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Word256)))) (C1 * (MetaCons "AbiInt" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int256))))) ((:+:) * (C1 * (MetaCons "AbiAddress" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Word160))) (C1 * (MetaCons "AbiBool" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Bool))))) ((:+:) * ((:+:) * (C1 * (MetaCons "AbiBytes" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * ByteString)))) (C1 * (MetaCons "AbiBytesDynamic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * ByteString)))) ((:+:) * (C1 * (MetaCons "AbiString" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * ByteString))) ((:+:) * (C1 * (MetaCons "AbiArrayDynamic" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * AbiType)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * (Vector AbiValue))))) (C1 * (MetaCons "AbiArray" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int)) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * AbiType)) (S1 * (MetaSel (Nothing 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

Instances

Eq AbiType Source #
Methods (==) :: AbiType -> AbiType -> Bool # (/=) :: AbiType -> AbiType -> Bool #
Ord AbiType Source #
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 #
Methods readsPrec :: Int -> ReadS AbiType # readList :: ReadS [AbiType] # readPrec :: ReadPrec AbiType # readListPrec :: ReadPrec [AbiType] #
Show AbiType Source #
Methods showsPrec :: Int -> AbiType -> ShowS # show :: AbiType -> String # showList :: [AbiType] -> ShowS #
Generic AbiType Source #
Associated Types type Rep AbiType :: * -> * # Methods from :: AbiType -> Rep AbiType x # to :: Rep AbiType x -> AbiType #
Arbitrary AbiType Source #
Methods arbitrary :: Gen AbiType # shrink :: AbiType -> [AbiType] #
type Rep AbiType Source #
type Rep AbiType = D1 * (MetaData "AbiType" "EVM.ABI" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "AbiUIntType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int))) (C1 * (MetaCons "AbiIntType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int)))) ((:+:) * (C1 * (MetaCons "AbiAddressType" PrefixI False) (U1 )) (C1 (MetaCons "AbiBoolType" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "AbiBytesType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int))) (C1 * (MetaCons "AbiBytesDynamicType" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "AbiStringType" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "AbiArrayDynamicType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * AbiType))) (C1 * (MetaCons "AbiArrayType" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Int)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * AbiType))))))))

data Event Source #

Constructors

Event Text Anonymity [(AbiType, Indexed)]

Instances

Eq Event Source #
Methods (==) :: Event -> Event -> Bool # (/=) :: Event -> Event -> Bool #
Ord Event Source #
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 #
Methods showsPrec :: Int -> Event -> ShowS # show :: Event -> String # showList :: [Event] -> ShowS #
Generic Event Source #
Associated Types type Rep Event :: * -> * # Methods from :: Event -> Rep Event x # to :: Rep Event x -> Event #
type Rep Event Source #
type Rep Event = D1 * (MetaData "Event" "EVM.ABI" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" False) (C1 * (MetaCons "Event" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Text)) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Anonymity)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * [(AbiType, Indexed)])))))

data Anonymity Source #

Constructors

Anonymous
NotAnonymous

Instances

Eq Anonymity Source #
Methods (==) :: Anonymity -> Anonymity -> Bool # (/=) :: Anonymity -> Anonymity -> Bool #
Ord Anonymity Source #
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 #
Methods showsPrec :: Int -> Anonymity -> ShowS # show :: Anonymity -> String # showList :: [Anonymity] -> ShowS #
Generic Anonymity Source #
Associated Types type Rep Anonymity :: * -> * # Methods from :: Anonymity -> Rep Anonymity x # to :: Rep Anonymity x -> Anonymity #
type Rep Anonymity Source #
type Rep Anonymity = D1 * (MetaData "Anonymity" "EVM.ABI" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" False) ((:+:) * (C1 * (MetaCons "Anonymous" PrefixI False) (U1 )) (C1 (MetaCons "NotAnonymous" PrefixI False) (U1 *)))

data Indexed Source #

Constructors

Indexed
NotIndexed

Instances

Eq Indexed Source #
Methods (==) :: Indexed -> Indexed -> Bool # (/=) :: Indexed -> Indexed -> Bool #
Ord Indexed Source #
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 #
Methods showsPrec :: Int -> Indexed -> ShowS # show :: Indexed -> String # showList :: [Indexed] -> ShowS #
Generic Indexed Source #
Associated Types type Rep Indexed :: * -> * # Methods from :: Indexed -> Rep Indexed x # to :: Rep Indexed x -> Indexed #
type Rep Indexed Source #
type Rep Indexed = D1 * (MetaData "Indexed" "EVM.ABI" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" False) ((:+:) * (C1 * (MetaCons "Indexed" PrefixI False) (U1 )) (C1 (MetaCons "NotIndexed" PrefixI False) (U1 *)))

putAbi :: AbiValue -> Put Source #

getAbi :: AbiType -> Get AbiValue Source #

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

abiValueType :: AbiValue -> AbiType Source #

abiTypeSolidity :: AbiType -> Text Source #

abiCalldata :: Text -> Vector AbiValue -> ByteString Source #

encodeAbiValue :: AbiValue -> ByteString Source #

parseTypeName :: Text -> Maybe AbiType Source #

AbiUInt Int Word256
AbiInt Int Int256
AbiAddress Word160
AbiBool Bool
AbiBytes Int ByteString
AbiBytesDynamic ByteString
AbiString ByteString
AbiArrayDynamic AbiType (Vector AbiValue)
AbiArray Int AbiType (Vector AbiValue)