Copyright	Alexander Krupenkin 2016-2018
License	BSD3
Maintainer	mail@akru.me
Stability	experimental
Portability	noportable
Safe Haskell	None
Language	Haskell2010

Network.Ethereum.ABI.Prim

Description

Ethereum ABI encoding primitive types.

Synopsis

data Address
data Bytes
type BytesN n = SizedByteArray n Bytes
data IntN (n :: Nat)
data UIntN (n :: Nat)
data ListN (n :: Nat) a
newtype Singleton a = Singleton {
- unSingleton :: a
}

Documentation

data Address #

Ethereum account address

Instances

Eq Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods (==) :: Address -> Address -> Bool # (/=) :: Address -> Address -> Bool #
Ord Address #
Instance details Defined in Network.Ethereum.ABI.Prim.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 #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods showsPrec :: Int -> Address -> ShowS # show :: Address -> String # showList :: [Address] -> ShowS #
IsString Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods fromString :: String -> Address #
Generic Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Associated Types type Rep Address :: * -> * # Methods from :: Address -> Rep Address x # to :: Rep Address x -> Address #
ToJSON Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods toJSON :: Address -> Value # toEncoding :: Address -> Encoding # toJSONList :: [Address] -> Value # toEncodingList :: [Address] -> Encoding #
FromJSON Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods parseJSON :: Value -> Parser Address # parseJSONList :: Value -> Parser [Address] #
Generic Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Associated Types type Code Address :: [[*]] # Methods from :: Address -> Rep Address # to :: Rep Address -> Address #
ABIGet Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods abiGet :: Get Address #
ABIPut Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods abiPut :: Putter Address #
ABIType Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address Methods isDynamic :: Proxy Address -> Bool #
type Rep Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address type Rep Address = D1 (MetaData "Address" "Network.Ethereum.ABI.Prim.Address" "web3-0.7.3.0-BTt00wxYmo22aJL52C3rZL" True) (C1 (MetaCons "Address" PrefixI True) (S1 (MetaSel (Just "unAddress") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (UIntN 160))))
type Code Address #
Instance details Defined in Network.Ethereum.ABI.Prim.Address type Code Address = GCode Address

data Bytes #

Simplest Byte Array

Instances

Eq Bytes
Instance details Defined in Data.ByteArray.Bytes Methods (==) :: Bytes -> Bytes -> Bool # (/=) :: Bytes -> Bytes -> Bool #
Ord Bytes
Instance details Defined in Data.ByteArray.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
Instance details Defined in Data.ByteArray.Bytes Methods showsPrec :: Int -> Bytes -> ShowS # show :: Bytes -> String # showList :: [Bytes] -> ShowS #
IsString Bytes #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods fromString :: String -> Bytes #
Semigroup Bytes
Instance details Defined in Data.ByteArray.Bytes Methods (<>) :: Bytes -> Bytes -> Bytes # sconcat :: NonEmpty Bytes -> Bytes # stimes :: Integral b => b -> Bytes -> Bytes #
Monoid Bytes
Instance details Defined in Data.ByteArray.Bytes Methods mempty :: Bytes # mappend :: Bytes -> Bytes -> Bytes # mconcat :: [Bytes] -> Bytes #
ToJSON Bytes #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods toJSON :: Bytes -> Value # toEncoding :: Bytes -> Encoding # toJSONList :: [Bytes] -> Value # toEncodingList :: [Bytes] -> Encoding #
FromJSON Bytes #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods parseJSON :: Value -> Parser Bytes # parseJSONList :: Value -> Parser [Bytes] #
NormalForm Bytes
Instance details Defined in Data.ByteArray.Bytes Methods toNormalForm :: Bytes -> () #
NFData Bytes
Instance details Defined in Data.ByteArray.Bytes Methods rnf :: Bytes -> () #
ByteArray Bytes
Instance details Defined in Data.ByteArray.Bytes Methods allocRet :: Int -> (Ptr p -> IO a) -> IO (a, Bytes) #
ByteArrayAccess Bytes
Instance details Defined in Data.ByteArray.Bytes Methods length :: Bytes -> Int # withByteArray :: Bytes -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: Bytes -> Ptr p -> IO () #
ABIGet Bytes #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods abiGet :: Get Bytes #
ABIPut Bytes #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods abiPut :: Putter Bytes #
ABIType Bytes #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods isDynamic :: Proxy Bytes -> Bool #
(KnownNat n, n <= 32) => IsString (BytesN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods fromString :: String -> BytesN n #
(KnownNat n, n <= 32) => ToJSON (BytesN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods toJSON :: BytesN n -> Value # toEncoding :: BytesN n -> Encoding # toJSONList :: [BytesN n] -> Value # toEncodingList :: [BytesN n] -> Encoding #
(KnownNat n, n <= 32) => FromJSON (BytesN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods parseJSON :: Value -> Parser (BytesN n) # parseJSONList :: Value -> Parser [BytesN n] #
(KnownNat n, n <= 32) => ABIGet (BytesN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods abiGet :: Get (BytesN n) #
(KnownNat n, n <= 32) => ABIPut (BytesN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods abiPut :: Putter (BytesN n) #
n <= 32 => ABIType (BytesN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Bytes Methods isDynamic :: Proxy (BytesN n) -> Bool #

type BytesN n = SizedByteArray n Bytes #

data IntN (n :: Nat) #

Instances

(KnownNat n, n <= 256) => Bounded (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods minBound :: IntN n # maxBound :: IntN n #
Enum (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods (==) :: IntN n -> IntN n -> Bool # (/=) :: IntN n -> IntN n -> Bool #
(KnownNat n, n <= 256) => Integral (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods toRational :: IntN n -> Rational #
(KnownNat n, n <= 256) => Show (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods showsPrec :: Int -> IntN n -> ShowS # show :: IntN n -> String # showList :: [IntN n] -> ShowS #
Generic (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Associated Types type Rep (IntN n) :: * -> * # Methods from :: IntN n -> Rep (IntN n) x # to :: Rep (IntN n) x -> IntN n #
Bits (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods abiGet :: Get (IntN n) #
n <= 256 => ABIPut (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods abiPut :: Putter (IntN n) #
n <= 256 => ABIType (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods isDynamic :: Proxy (IntN n) -> Bool #
type Rep (IntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int type Rep (IntN n) = D1 (MetaData "IntN" "Network.Ethereum.ABI.Prim.Int" "web3-0.7.3.0-BTt00wxYmo22aJL52C3rZL" True) (C1 (MetaCons "IntN" PrefixI True) (S1 (MetaSel (Just "unIntN") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word256)))

data UIntN (n :: Nat) #

Instances

(KnownNat n, n <= 256) => Bounded (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods minBound :: UIntN n # maxBound :: UIntN n #
Enum (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods (==) :: UIntN n -> UIntN n -> Bool # (/=) :: UIntN n -> UIntN n -> Bool #
(KnownNat n, n <= 256) => Integral (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods toRational :: UIntN n -> Rational #
(KnownNat n, n <= 256) => Show (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods showsPrec :: Int -> UIntN n -> ShowS # show :: UIntN n -> String # showList :: [UIntN n] -> ShowS #
Generic (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Associated Types type Rep (UIntN n) :: * -> * # Methods from :: UIntN n -> Rep (UIntN n) x # to :: Rep (UIntN n) x -> UIntN n #
Bits (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods abiGet :: Get (UIntN n) #
n <= 256 => ABIPut (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods abiPut :: Putter (UIntN n) #
n <= 256 => ABIType (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int Methods isDynamic :: Proxy (UIntN n) -> Bool #
type Rep (UIntN n) #
Instance details Defined in Network.Ethereum.ABI.Prim.Int type Rep (UIntN n) = D1 (MetaData "UIntN" "Network.Ethereum.ABI.Prim.Int" "web3-0.7.3.0-BTt00wxYmo22aJL52C3rZL" True) (C1 (MetaCons "UIntN" PrefixI True) (S1 (MetaSel (Just "unUIntN") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word256)))

data ListN (n :: Nat) a #

A Typed-level sized List equivalent to [a]

Instances

(NatWithinBound Int n, KnownNat n) => IsList (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Associated Types type Item (ListN n a) :: * # Methods fromList :: [Item (ListN n a)] -> ListN n a # fromListN :: Int -> [Item (ListN n a)] -> ListN n a # toList :: ListN n a -> [Item (ListN n a)] #
Eq a => Eq (ListN n a)
Instance details Defined in Basement.Sized.List Methods (==) :: ListN n a -> ListN n a -> Bool # (/=) :: ListN n a -> ListN n a -> Bool #
Ord a => Ord (ListN n a)
Instance details Defined in Basement.Sized.List 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)
Instance details Defined in Basement.Sized.List Methods showsPrec :: Int -> ListN n a -> ShowS # show :: ListN n a -> String # showList :: [ListN n a] -> ShowS #
Generic (ListN n a)
Instance details Defined in Basement.Sized.List 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)
Instance details Defined in Basement.Sized.List Methods toNormalForm :: ListN n a -> () #
(NatWithinBound Int n, KnownNat n, ABIGet a) => ABIGet (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Methods abiGet :: Get (ListN n a) #
ABIPut a => ABIPut (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Methods abiPut :: Putter (ListN n a) #
ABIType (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Methods isDynamic :: Proxy (ListN n a) -> Bool #
type Rep (ListN n a)
Instance details Defined in Basement.Sized.List type Rep (ListN n a) = D1 (MetaData "ListN" "Basement.Sized.List" "basement-0.0.8-8QjArDsw3GWCcbHE5iqtz3" True) (C1 (MetaCons "ListN" PrefixI True) (S1 (MetaSel (Just "unListN") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])))
type Item (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List 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) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple Methods (==) :: Singleton a -> Singleton a -> Bool # (/=) :: Singleton a -> Singleton a -> Bool #
Show a => Show (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple Methods showsPrec :: Int -> Singleton a -> ShowS # show :: Singleton a -> String # showList :: [Singleton a] -> ShowS #
Generic (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple Associated Types type Rep (Singleton a) :: * -> * # Methods from :: Singleton a -> Rep (Singleton a) x # to :: Rep (Singleton a) x -> Singleton a #
Generic (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple Associated Types type Code (Singleton a) :: [[*]] # Methods from :: Singleton a -> Rep (Singleton a) # to :: Rep (Singleton a) -> Singleton a #
ABIGet a => ABIGet (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple Methods abiGet :: Get (Singleton a) #
ABIPut a => ABIPut (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple Methods abiPut :: Putter (Singleton a) #
ABIType a => ABIType (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple Methods isDynamic :: Proxy (Singleton a) -> Bool #
type Rep (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple type Rep (Singleton a) = D1 (MetaData "Singleton" "Network.Ethereum.ABI.Prim.Tuple" "web3-0.7.3.0-BTt00wxYmo22aJL52C3rZL" True) (C1 (MetaCons "Singleton" PrefixI True) (S1 (MetaSel (Just "unSingleton") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
type Code (Singleton a) #
Instance details Defined in Network.Ethereum.ABI.Prim.Tuple type Code (Singleton a) = GCode (Singleton a)