Data.Solidity.Prim

Solidity primitive data types.

Documentation

data Address

Ethereum account address

Instances

FromJSON Address

Defined in Data.Solidity.Prim.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

ToJSON Address

Defined in Data.Solidity.Prim.Address

Methods

toJSON :: Address -> Value

toEncoding :: Address -> Encoding

toJSONList :: [Address] -> Value

toEncodingList :: [Address] -> Encoding

IsString Address

Defined in Data.Solidity.Prim.Address

Methods

fromString :: String -> Address

Generic Address

Defined in Data.Solidity.Prim.Address

Associated Types

type Rep Address :: Type -> Type

Methods

from :: Address -> Rep Address x

to :: Rep Address x -> Address

Show Address

Defined in Data.Solidity.Prim.Address

Methods

showsPrec :: Int -> Address -> ShowS

show :: Address -> String

showList :: [Address] -> ShowS

Default Address

Defined in Data.Solidity.Prim.Address

Methods

def :: Address

Generic Address

Defined in Data.Solidity.Prim.Address

Associated Types

type Code Address :: [[Type]]

Methods

from :: Address -> Rep Address

to :: Rep Address -> Address

Eq Address

Defined in Data.Solidity.Prim.Address

Methods

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

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

Ord Address

Defined in Data.Solidity.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

AbiGet Address

Defined in Data.Solidity.Prim.Address

Methods

abiGet :: Get Address

AbiPut Address

Defined in Data.Solidity.Prim.Address

Methods

abiPut :: Putter Address

AbiType Address

Defined in Data.Solidity.Prim.Address

Methods

isDynamic :: Proxy Address -> Bool

type Rep Address

Defined in Data.Solidity.Prim.Address

type Rep Address = D1 ('MetaData "Address" "Data.Solidity.Prim.Address" "web3-solidity-1.0.1.0-J1UOi9Lyce74fxCh1FayRg" 'True) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UIntN 160))))

type Code Address

Defined in Data.Solidity.Prim.Address

type Code Address = GCode Address

data Bytes

Simplest Byte Array

Instances

FromJSON Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

parseJSON :: Value -> Parser Bytes

parseJSONList :: Value -> Parser [Bytes]

ToJSON Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

toJSON :: Bytes -> Value

toEncoding :: Bytes -> Encoding

toJSONList :: [Bytes] -> Value

toEncodingList :: [Bytes] -> Encoding

IsString Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

fromString :: String -> Bytes

Monoid Bytes

Defined in Data.ByteArray.Bytes

Methods

mempty :: Bytes

mappend :: Bytes -> Bytes -> Bytes

mconcat :: [Bytes] -> Bytes

Semigroup Bytes

Defined in Data.ByteArray.Bytes

Methods

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

sconcat :: NonEmpty Bytes -> Bytes

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

Show Bytes

Defined in Data.ByteArray.Bytes

Methods

showsPrec :: Int -> Bytes -> ShowS

show :: Bytes -> String

showList :: [Bytes] -> ShowS

NormalForm Bytes

Defined in Data.ByteArray.Bytes

Methods

toNormalForm :: Bytes -> ()

NFData Bytes

Defined in Data.ByteArray.Bytes

Methods

rnf :: Bytes -> ()

Eq Bytes

Defined in Data.ByteArray.Bytes

Methods

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

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

Ord Bytes

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

ByteArray Bytes

Defined in Data.ByteArray.Bytes

Methods

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

ByteArrayAccess Bytes

Defined in Data.ByteArray.Bytes

Methods

length :: Bytes -> Int

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

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

AbiGet Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

abiGet :: Get Bytes

AbiPut Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

abiPut :: Putter Bytes

AbiType Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

isDynamic :: Proxy Bytes -> Bool

KnownNat n => FromJSON (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

parseJSON :: Value -> Parser (BytesN n)

parseJSONList :: Value -> Parser [BytesN n]

KnownNat n => ToJSON (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

toJSON :: BytesN n -> Value

toEncoding :: BytesN n -> Encoding

toJSONList :: [BytesN n] -> Value

toEncodingList :: [BytesN n] -> Encoding

KnownNat n => IsString (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

fromString :: String -> BytesN n

(KnownNat n, n <= 32) => AbiGet (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

abiGet :: Get (BytesN n)

KnownNat n => AbiPut (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

abiPut :: Putter (BytesN n)

KnownNat n => AbiType (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

isDynamic :: Proxy (BytesN n) -> Bool

type BytesN n = SizedByteArray n Bytes

Sized byte array with fixed length in bytes

data IntN (n :: Nat)

Signed integer with fixed length in bits.

Instances

KnownNat n => ToJSON (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

toJSON :: IntN n -> Value

toEncoding :: IntN n -> Encoding

toJSONList :: [IntN n] -> Value

toEncodingList :: [IntN n] -> Encoding

Bits (IntN n)

Defined in Data.Solidity.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

KnownNat n => Bounded (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

minBound :: IntN n

maxBound :: IntN n

Enum (IntN n)

Defined in Data.Solidity.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]

Generic (IntN n)

Defined in Data.Solidity.Prim.Int

Associated Types

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

Methods

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

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

KnownNat n => Num (IntN n)

Defined in Data.Solidity.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

KnownNat n => Integral (IntN n)

Defined in Data.Solidity.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 => Real (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

toRational :: IntN n -> Rational

KnownNat n => Show (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

showsPrec :: Int -> IntN n -> ShowS

show :: IntN n -> String

showList :: [IntN n] -> ShowS

Eq (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

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

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

Ord (IntN n)

Defined in Data.Solidity.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 => AbiGet (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiGet :: Get (IntN n)

KnownNat n => AbiPut (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiPut :: Putter (IntN n)

KnownNat n => AbiType (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

isDynamic :: Proxy (IntN n) -> Bool

type Rep (IntN n)

Defined in Data.Solidity.Prim.Int

type Rep (IntN n) = D1 ('MetaData "IntN" "Data.Solidity.Prim.Int" "web3-solidity-1.0.1.0-J1UOi9Lyce74fxCh1FayRg" 'True) (C1 ('MetaCons "IntN" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))

data UIntN (n :: Nat)

Unsigned integer with fixed length in bits.

Instances

KnownNat n => ToJSON (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

toJSON :: UIntN n -> Value

toEncoding :: UIntN n -> Encoding

toJSONList :: [UIntN n] -> Value

toEncodingList :: [UIntN n] -> Encoding

Bits (UIntN n)

Defined in Data.Solidity.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

KnownNat n => Bounded (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

minBound :: UIntN n

maxBound :: UIntN n

Enum (UIntN n)

Defined in Data.Solidity.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]

Generic (UIntN n)

Defined in Data.Solidity.Prim.Int

Associated Types

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

Methods

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

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

KnownNat n => Num (UIntN n)

Defined in Data.Solidity.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

KnownNat n => Integral (UIntN n)

Defined in Data.Solidity.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

KnownNat n => Real (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

toRational :: UIntN n -> Rational

KnownNat n => Show (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

showsPrec :: Int -> UIntN n -> ShowS

show :: UIntN n -> String

showList :: [UIntN n] -> ShowS

Eq (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

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

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

Ord (UIntN n)

Defined in Data.Solidity.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 => AbiGet (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiGet :: Get (UIntN n)

KnownNat n => AbiPut (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiPut :: Putter (UIntN n)

KnownNat n => AbiType (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

isDynamic :: Proxy (UIntN n) -> Bool

type Rep (UIntN n)

Defined in Data.Solidity.Prim.Int

type Rep (UIntN n) = D1 ('MetaData "UIntN" "Data.Solidity.Prim.Int" "web3-solidity-1.0.1.0-J1UOi9Lyce74fxCh1FayRg" '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

Generic (ListN n a)

Defined in Basement.Sized.List

Associated Types

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

Methods

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

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

(NatWithinBound Int n, KnownNat n) => IsList (ListN n a)

Defined in Data.Solidity.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)]

Show a => Show (ListN n a)

Defined in Basement.Sized.List

Methods

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

show :: ListN n a -> String

showList :: [ListN n a] -> ShowS

NormalForm a => NormalForm (ListN n a)

Defined in Basement.Sized.List

Methods

toNormalForm :: ListN n a -> ()

Eq a => Eq (ListN n a)

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)

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

(NatWithinBound Int n, KnownNat n, AbiGet a) => AbiGet (ListN n a)

Defined in Data.Solidity.Prim.List

Methods

abiGet :: Get (ListN n a)

(AbiPut a, KnownNat n, 1 <= (n + 1)) => AbiPut (ListN n a)

Defined in Data.Solidity.Prim.List

Methods

abiPut :: Putter (ListN n a)

(AbiType a, KnownNat n) => AbiType (ListN n a)

Defined in Data.Solidity.Prim.List

Methods

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

type Rep (ListN n a)

Defined in Basement.Sized.List

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

type Item (ListN n a)

Defined in Data.Solidity.Prim.List

type Item (ListN n a) = a