Safe Haskell	None
Language	GHC2021

EVM.ABI

Synopsis

data AbiValue
- = 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 Addr FunctionSelector
data AbiType
- = AbiUIntType Int
- | AbiIntType Int
- | AbiAddressType
- | AbiBoolType
- | AbiBytesType Int
- | AbiBytesDynamicType
- | AbiStringType
- | AbiArrayDynamicType AbiType
- | AbiArrayType Int AbiType
- | AbiTupleType (Vector AbiType)
- | AbiFunctionType
data AbiKind
- = Dynamic
- | Static
data AbiVals
- = NoVals
- | CAbi [AbiValue]
- | SAbi [Expr 'EWord]
abiKind :: AbiType -> AbiKind
data Event = Event Text Anonymity [(Text, AbiType, Indexed)]
data SolError = SolError Text [AbiType]
data Anonymity
- = Anonymous
- | NotAnonymous
data Indexed
- = Indexed
- | NotIndexed
data Sig = Sig Text [AbiType]
callSig :: Sig -> Text
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, String)
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
showAlter :: ShowAlter a => a -> String

Documentation

data AbiValue Source #

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 Addr FunctionSelector

Instances

Instances details

Arbitrary AbiValue Source #

Instance details

Defined in EVM.ABI

Methods

arbitrary :: Gen AbiValue #

shrink :: AbiValue -> [AbiValue] #

Generic AbiValue Source #

Instance details

Defined in EVM.ABI

Associated Types

type Rep AbiValue

Instance details

Defined in EVM.ABI

Methods

from :: AbiValue -> Rep AbiValue x #

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

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 #

type Rep AbiValue Source #

Instance details

Defined in EVM.ABI

data AbiType Source #

Constructors

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

Instances

Instances details

Arbitrary AbiType Source #

Instance details

Defined in EVM.ABI

Methods

arbitrary :: Gen AbiType #

shrink :: AbiType -> [AbiType] #

Data AbiType Source #

Instance details

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 Source #

Instance details

Defined in EVM.ABI

Associated Types

type Rep AbiType

Instance details

Defined in EVM.ABI

Methods

from :: AbiType -> Rep AbiType x #

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

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 #

type Rep AbiType Source #

Instance details

Defined in EVM.ABI

data AbiKind Source #

Constructors

Dynamic
Static

Instances

Instances details

Generic AbiKind Source #

Instance details

Defined in EVM.ABI

Associated Types

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

Methods

from :: AbiKind -> Rep AbiKind x #

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

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 #

type Rep AbiKind Source #

Instance details

Defined in EVM.ABI

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

Instances

Instances details

Show AbiVals Source #
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> AbiVals -> ShowS # show :: AbiVals -> String # showList :: [AbiVals] -> ShowS #

abiKind :: AbiType -> AbiKind Source #

data Event Source #

Constructors

Event Text Anonymity [(Text, AbiType, Indexed)]

Instances

Instances details

Generic Event Source #

Instance details

Defined in EVM.ABI

Associated Types

type Rep Event

Instance details

Defined in EVM.ABI

type Rep Event = D1 ('MetaData "Event" "EVM.ABI" "hevm-0.58.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)]))))

Methods

from :: Event -> Rep Event x #

to :: Rep Event x -> Event #

Show Event Source #

Instance details

Defined in EVM.ABI

Methods

showsPrec :: Int -> Event -> ShowS #

show :: Event -> String #

showList :: [Event] -> ShowS #

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 #

type Rep Event Source #

Instance details

Defined in EVM.ABI

type Rep Event = D1 ('MetaData "Event" "EVM.ABI" "hevm-0.58.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 Source #

Constructors

SolError Text [AbiType]

Instances

Instances details

Generic SolError Source #

Instance details

Defined in EVM.ABI

Associated Types

type Rep SolError
Instance details Defined in EVM.ABI type Rep SolError = D1 ('MetaData "SolError" "EVM.ABI" "hevm-0.58.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])))

Methods

from :: SolError -> Rep SolError x #

to :: Rep SolError x -> SolError #

Show SolError Source #

Instance details

Defined in EVM.ABI

Methods

showsPrec :: Int -> SolError -> ShowS #

show :: SolError -> String #

showList :: [SolError] -> ShowS #

Eq SolError Source #

Instance details

Defined in EVM.ABI

Methods

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

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

Ord SolError Source #

Instance details

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 Source #

Instance details

Defined in EVM.ABI

type Rep SolError = D1 ('MetaData "SolError" "EVM.ABI" "hevm-0.58.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 Source #

Constructors

Anonymous
NotAnonymous

Instances

Instances details

Generic Anonymity Source #

Instance details

Defined in EVM.ABI

Associated Types

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

Methods

from :: Anonymity -> Rep Anonymity x #

to :: Rep Anonymity x -> Anonymity #

Show Anonymity Source #

Instance details

Defined in EVM.ABI

Methods

showsPrec :: Int -> Anonymity -> ShowS #

show :: Anonymity -> String #

showList :: [Anonymity] -> ShowS #

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 #

type Rep Anonymity Source #

Instance details

Defined in EVM.ABI

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

Generic Indexed Source #

Instance details

Defined in EVM.ABI

Associated Types

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

Methods

from :: Indexed -> Rep Indexed x #

to :: Rep Indexed x -> Indexed #

Show Indexed Source #

Instance details

Defined in EVM.ABI

Methods

showsPrec :: Int -> Indexed -> ShowS #

show :: Indexed -> String #

showList :: [Indexed] -> ShowS #

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 #

type Rep Indexed Source #

Instance details

Defined in EVM.ABI

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

data Sig Source #

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

Constructors

Sig Text [AbiType]

Instances

Instances details

Show Sig Source #
Instance details Defined in EVM.ABI Methods showsPrec :: Int -> Sig -> ShowS # show :: Sig -> String # showList :: [Sig] -> ShowS #
Eq Sig Source #
Instance details Defined in EVM.ABI Methods (==) :: Sig -> Sig -> Bool # (/=) :: Sig -> Sig -> Bool #