Network.Ethereum.ABI.Prim

Ethereum ABI encoding primitive types.

Documentation

data Address

Ethereum account address

Instances

Eq Address

Methods

(==) :: Address -> Address -> Bool

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

Ord Address

Methods

compare :: Address -> Address -> Ordering

(<) :: Address -> Address -> Bool

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

(>) :: Address -> Address -> Bool

(>=) :: Address -> Address -> Bool

max :: Address -> Address -> Address

min :: Address -> Address -> Address

Show Address

Methods

showsPrec :: Int -> Address -> ShowS

show :: Address -> String

showList :: [Address] -> ShowS

IsString Address

Methods

fromString :: String -> Address

Generic Address

Associated Types

type Rep Address :: * -> *

Methods

from :: Address -> Rep Address x

to :: Rep Address x -> Address

ToJSON Address

Methods

toJSON :: Address -> Value

toEncoding :: Address -> Encoding

toJSONList :: [Address] -> Value

toEncodingList :: [Address] -> Encoding

FromJSON Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

Generic Address

Associated Types

type Code Address :: [[*]]

Methods

from :: Address -> Rep Address

to :: Rep Address -> Address

ABIGet Address

Methods

abiGet :: Get Address

ABIPut Address

Methods

abiPut :: Putter Address

ABIType Address

Methods

isDynamic :: Proxy * Address -> Bool

type Rep Address

type Rep Address = D1 * (MetaData "Address" "Network.Ethereum.ABI.Prim.Address" "web3-0.7.3.0-BH6gK1wKPUz1odKfbprREs" True) (C1 * (MetaCons "Address" PrefixI True) (S1 * (MetaSel (Just Symbol "unAddress") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (UIntN 160))))

type Code Address

type Code Address = GCode Address

data Bytes :: *

Simplest Byte Array

Instances

Eq Bytes

Methods

(==) :: Bytes -> Bytes -> Bool

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

Ord Bytes

Methods

compare :: Bytes -> Bytes -> Ordering

(<) :: Bytes -> Bytes -> Bool

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

(>) :: Bytes -> Bytes -> Bool

(>=) :: Bytes -> Bytes -> Bool

max :: Bytes -> Bytes -> Bytes

min :: Bytes -> Bytes -> Bytes

Show Bytes

Methods

showsPrec :: Int -> Bytes -> ShowS

show :: Bytes -> String

showList :: [Bytes] -> ShowS

Semigroup Bytes

Methods

(<>) :: Bytes -> Bytes -> Bytes

sconcat :: NonEmpty Bytes -> Bytes

stimes :: Integral b => b -> Bytes -> Bytes

Monoid Bytes

Methods

mempty :: Bytes

mappend :: Bytes -> Bytes -> Bytes

mconcat :: [Bytes] -> Bytes

NormalForm Bytes

Methods

toNormalForm :: Bytes -> ()

NFData Bytes

Methods

rnf :: Bytes -> ()

ByteArray Bytes

Methods

allocRet :: Int -> (Ptr p -> IO a) -> IO (a, Bytes)

ByteArrayAccess Bytes

Methods

length :: Bytes -> Int

withByteArray :: Bytes -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Bytes -> Ptr p -> IO ()

type BytesN n = SizedByteArray n Bytes

data IntN (n :: Nat)

Instances

(KnownNat n, (<=) n 256) => Bounded (IntN n)

Methods

minBound :: IntN n

maxBound :: IntN n

Enum (IntN n)

Methods

succ :: IntN n -> IntN n

pred :: IntN n -> IntN n

toEnum :: Int -> IntN n

fromEnum :: IntN n -> Int

enumFrom :: IntN n -> [IntN n]

enumFromThen :: IntN n -> IntN n -> [IntN n]

enumFromTo :: IntN n -> IntN n -> [IntN n]

enumFromThenTo :: IntN n -> IntN n -> IntN n -> [IntN n]

Eq (IntN n)

Methods

(==) :: IntN n -> IntN n -> Bool

(/=) :: IntN n -> IntN n -> Bool

(KnownNat n, (<=) n 256) => Integral (IntN n)

Methods

quot :: IntN n -> IntN n -> IntN n

rem :: IntN n -> IntN n -> IntN n

div :: IntN n -> IntN n -> IntN n

mod :: IntN n -> IntN n -> IntN n

quotRem :: IntN n -> IntN n -> (IntN n, IntN n)

divMod :: IntN n -> IntN n -> (IntN n, IntN n)

toInteger :: IntN n -> Integer

(KnownNat n, (<=) n 256) => Num (IntN n)

Methods

(+) :: IntN n -> IntN n -> IntN n

(-) :: IntN n -> IntN n -> IntN n

(*) :: IntN n -> IntN n -> IntN n

negate :: IntN n -> IntN n

abs :: IntN n -> IntN n

signum :: IntN n -> IntN n

fromInteger :: Integer -> IntN n

Ord (IntN n)

Methods

compare :: IntN n -> IntN n -> Ordering

(<) :: IntN n -> IntN n -> Bool

(<=) :: IntN n -> IntN n -> Bool

(>) :: IntN n -> IntN n -> Bool

(>=) :: IntN n -> IntN n -> Bool

max :: IntN n -> IntN n -> IntN n

min :: IntN n -> IntN n -> IntN n

(KnownNat n, (<=) n 256) => Real (IntN n)

Methods

toRational :: IntN n -> Rational

(KnownNat n, (<=) n 256) => Show (IntN n)

Methods

showsPrec :: Int -> IntN n -> ShowS

show :: IntN n -> String

showList :: [IntN n] -> ShowS

Generic (IntN n)

Associated Types

type Rep (IntN n) :: * -> *

Methods

from :: IntN n -> Rep (IntN n) x

to :: Rep (IntN n) x -> IntN n

Bits (IntN n)

Methods

(.&.) :: IntN n -> IntN n -> IntN n

(.|.) :: IntN n -> IntN n -> IntN n

xor :: IntN n -> IntN n -> IntN n

complement :: IntN n -> IntN n

shift :: IntN n -> Int -> IntN n

rotate :: IntN n -> Int -> IntN n

zeroBits :: IntN n

bit :: Int -> IntN n

setBit :: IntN n -> Int -> IntN n

clearBit :: IntN n -> Int -> IntN n

complementBit :: IntN n -> Int -> IntN n

testBit :: IntN n -> Int -> Bool

bitSizeMaybe :: IntN n -> Maybe Int

bitSize :: IntN n -> Int

isSigned :: IntN n -> Bool

shiftL :: IntN n -> Int -> IntN n

unsafeShiftL :: IntN n -> Int -> IntN n

shiftR :: IntN n -> Int -> IntN n

unsafeShiftR :: IntN n -> Int -> IntN n

rotateL :: IntN n -> Int -> IntN n

rotateR :: IntN n -> Int -> IntN n

popCount :: IntN n -> Int

(<=) n 256 => ABIGet (IntN n)

Methods

abiGet :: Get (IntN n)

(<=) n 256 => ABIPut (IntN n)

Methods

abiPut :: Putter (IntN n)

(<=) n 256 => ABIType (IntN n)

Methods

isDynamic :: Proxy * (IntN n) -> Bool

type Rep (IntN n)

type Rep (IntN n) = D1 * (MetaData "IntN" "Network.Ethereum.ABI.Prim.Int" "web3-0.7.3.0-BH6gK1wKPUz1odKfbprREs" True) (C1 * (MetaCons "IntN" PrefixI True) (S1 * (MetaSel (Just Symbol "unIntN") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word256)))

data UIntN (n :: Nat)

Instances

(KnownNat n, (<=) n 256) => Bounded (UIntN n)

Methods

minBound :: UIntN n

maxBound :: UIntN n

Enum (UIntN n)

Methods

succ :: UIntN n -> UIntN n

pred :: UIntN n -> UIntN n

toEnum :: Int -> UIntN n

fromEnum :: UIntN n -> Int

enumFrom :: UIntN n -> [UIntN n]

enumFromThen :: UIntN n -> UIntN n -> [UIntN n]

enumFromTo :: UIntN n -> UIntN n -> [UIntN n]

enumFromThenTo :: UIntN n -> UIntN n -> UIntN n -> [UIntN n]

Eq (UIntN n)

Methods

(==) :: UIntN n -> UIntN n -> Bool

(/=) :: UIntN n -> UIntN n -> Bool

(KnownNat n, (<=) n 256) => Integral (UIntN n)

Methods

quot :: UIntN n -> UIntN n -> UIntN n

rem :: UIntN n -> UIntN n -> UIntN n

div :: UIntN n -> UIntN n -> UIntN n

mod :: UIntN n -> UIntN n -> UIntN n

quotRem :: UIntN n -> UIntN n -> (UIntN n, UIntN n)

divMod :: UIntN n -> UIntN n -> (UIntN n, UIntN n)

toInteger :: UIntN n -> Integer

Num (UIntN n)

Methods

(+) :: UIntN n -> UIntN n -> UIntN n

(-) :: UIntN n -> UIntN n -> UIntN n

(*) :: UIntN n -> UIntN n -> UIntN n

negate :: UIntN n -> UIntN n

abs :: UIntN n -> UIntN n

signum :: UIntN n -> UIntN n

fromInteger :: Integer -> UIntN n

Ord (UIntN n)

Methods

compare :: UIntN n -> UIntN n -> Ordering

(<) :: UIntN n -> UIntN n -> Bool

(<=) :: UIntN n -> UIntN n -> Bool

(>) :: UIntN n -> UIntN n -> Bool

(>=) :: UIntN n -> UIntN n -> Bool

max :: UIntN n -> UIntN n -> UIntN n

min :: UIntN n -> UIntN n -> UIntN n

(KnownNat n, (<=) n 256) => Real (UIntN n)

Methods

toRational :: UIntN n -> Rational

(KnownNat n, (<=) n 256) => Show (UIntN n)

Methods

showsPrec :: Int -> UIntN n -> ShowS

show :: UIntN n -> String

showList :: [UIntN n] -> ShowS

Generic (UIntN n)

Associated Types

type Rep (UIntN n) :: * -> *

Methods

from :: UIntN n -> Rep (UIntN n) x

to :: Rep (UIntN n) x -> UIntN n

Bits (UIntN n)

Methods

(.&.) :: UIntN n -> UIntN n -> UIntN n

(.|.) :: UIntN n -> UIntN n -> UIntN n

xor :: UIntN n -> UIntN n -> UIntN n

complement :: UIntN n -> UIntN n

shift :: UIntN n -> Int -> UIntN n

rotate :: UIntN n -> Int -> UIntN n

zeroBits :: UIntN n

bit :: Int -> UIntN n

setBit :: UIntN n -> Int -> UIntN n

clearBit :: UIntN n -> Int -> UIntN n

complementBit :: UIntN n -> Int -> UIntN n

testBit :: UIntN n -> Int -> Bool

bitSizeMaybe :: UIntN n -> Maybe Int

bitSize :: UIntN n -> Int

isSigned :: UIntN n -> Bool

shiftL :: UIntN n -> Int -> UIntN n

unsafeShiftL :: UIntN n -> Int -> UIntN n

shiftR :: UIntN n -> Int -> UIntN n

unsafeShiftR :: UIntN n -> Int -> UIntN n

rotateL :: UIntN n -> Int -> UIntN n

rotateR :: UIntN n -> Int -> UIntN n

popCount :: UIntN n -> Int

(<=) n 256 => ABIGet (UIntN n)

Methods

abiGet :: Get (UIntN n)

(<=) n 256 => ABIPut (UIntN n)

Methods

abiPut :: Putter (UIntN n)

(<=) n 256 => ABIType (UIntN n)

Methods

isDynamic :: Proxy * (UIntN n) -> Bool

type Rep (UIntN n)

type Rep (UIntN n) = D1 * (MetaData "UIntN" "Network.Ethereum.ABI.Prim.Int" "web3-0.7.3.0-BH6gK1wKPUz1odKfbprREs" True) (C1 * (MetaCons "UIntN" PrefixI True) (S1 * (MetaSel (Just Symbol "unUIntN") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word256)))

data ListN (n :: Nat) a :: Nat -> * -> *

A Typed-level sized List equivalent to [a]

Instances

Eq a => Eq (ListN n a)

Methods

(==) :: ListN n a -> ListN n a -> Bool

(/=) :: ListN n a -> ListN n a -> Bool

Ord a => Ord (ListN n a)

Methods

compare :: ListN n a -> ListN n a -> Ordering

(<) :: ListN n a -> ListN n a -> Bool

(<=) :: ListN n a -> ListN n a -> Bool

(>) :: ListN n a -> ListN n a -> Bool

(>=) :: ListN n a -> ListN n a -> Bool

max :: ListN n a -> ListN n a -> ListN n a

min :: ListN n a -> ListN n a -> ListN n a

Show a => Show (ListN n a)

Methods

showsPrec :: Int -> ListN n a -> ShowS

show :: ListN n a -> String

showList :: [ListN n a] -> ShowS

Generic (ListN n a)

Associated Types

type Rep (ListN n a) :: * -> *

Methods

from :: ListN n a -> Rep (ListN n a) x

to :: Rep (ListN n a) x -> ListN n a

NormalForm a => NormalForm (ListN n a)

Methods

toNormalForm :: ListN n a -> ()

type Rep (ListN n a)

type Rep (ListN n a) = D1 * (MetaData "ListN" "Basement.Sized.List" "basement-0.0.7-AsRzReOE7L68EDipEfgoG3" True) (C1 * (MetaCons "ListN" PrefixI True) (S1 * (MetaSel (Just Symbol "unListN") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [a])))

type Item (ListN n a)

type Item (ListN n a) = a

newtype Singleton a

The type for one-tuples

Constructors

Singleton

Fields

• unSingleton :: a

Instances

Eq a => Eq (Singleton a)

Methods

(==) :: Singleton a -> Singleton a -> Bool

(/=) :: Singleton a -> Singleton a -> Bool

Show a => Show (Singleton a)

Methods

showsPrec :: Int -> Singleton a -> ShowS

show :: Singleton a -> String

showList :: [Singleton a] -> ShowS

Generic (Singleton a)

Associated Types

type Rep (Singleton a) :: * -> *

Methods

from :: Singleton a -> Rep (Singleton a) x

to :: Rep (Singleton a) x -> Singleton a

Generic (Singleton a)

Associated Types

type Code (Singleton a) :: [[*]]

Methods

from :: Singleton a -> Rep (Singleton a)

to :: Rep (Singleton a) -> Singleton a

ABIGet a => ABIGet (Singleton a)

Methods

abiGet :: Get (Singleton a)

ABIPut a => ABIPut (Singleton a)

Methods

abiPut :: Putter (Singleton a)

ABIType a => ABIType (Singleton a)

Methods

isDynamic :: Proxy * (Singleton a) -> Bool

type Rep (Singleton a)

type Rep (Singleton a) = D1 * (MetaData "Singleton" "Network.Ethereum.ABI.Prim.Tuple" "web3-0.7.3.0-BH6gK1wKPUz1odKfbprREs" True) (C1 * (MetaCons "Singleton" PrefixI True) (S1 * (MetaSel (Just Symbol "unSingleton") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)))

type Code (Singleton a)

type Code (Singleton a) = GCode (Singleton a)