Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data AbiValue
- data AbiType
- data AbiKind
- data AbiVals
- abiKind :: AbiType -> AbiKind
- data Event = Event Text Anonymity [(Text, AbiType, Indexed)]
- data SolError = SolError Text [AbiType]
- data Anonymity
- data Indexed
- putAbi :: AbiValue -> Put
- getAbi :: AbiType -> Get AbiValue
- getAbiSeq :: Int -> [AbiType] -> Get (Vector AbiValue)
- 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
Documentation
Instances
Instances
Instances
Generic Event Source # | |
Show Event Source # | |
Eq Event Source # | |
Ord Event Source # | |
type Rep Event Source # | |
Defined in EVM.ABI type Rep Event = D1 ('MetaData "Event" "EVM.ABI" "hevm-0.51.1-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)])))) |
Instances
Generic SolError Source # | |
Show SolError Source # | |
Eq SolError Source # | |
Ord SolError Source # | |
type Rep SolError Source # | |
Defined in EVM.ABI type Rep SolError = D1 ('MetaData "SolError" "EVM.ABI" "hevm-0.51.1-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]))) |
getAbiSeq :: Int -> [AbiType] -> Get (Vector AbiValue) Source #
Decode a sequence type (e.g. tuple / array). Will fail for non sequence types
abiValueType :: AbiValue -> AbiType Source #
abiTypeSolidity :: AbiType -> Text Source #
encodeAbiValue :: AbiValue -> ByteString Source #
decodeAbiValue :: AbiType -> ByteString -> AbiValue Source #
formatString :: ByteString -> String Source #
selector :: Text -> ByteString Source #