Module
Network.Ethereum.Web3.Solidity
- Package
- purescript-web3
- Repository
- f-o-a-m/purescript-web3
Re-exports from Data.ByteString
#ByteString Source
Re-exports from Network.Ethereum.Web3.Solidity.AbiEncoding
#ABIEncoding Source
class ABIEncoding a where
Class representing values that have an encoding and decoding instance to/from a solidity type.
Members
toDataBuilder :: a -> HexString
fromDataParser :: Parser String a
Instances
ABIEncoding BigNumber
ABIEncoding Boolean
ABIEncoding Int
ABIEncoding Address
ABIEncoding ByteString
ABIEncoding String
(ByteSize n) => ABIEncoding (BytesN n)
(ABIEncoding a, KnownNat n) => ABIEncoding (Vector n a)
(ABIEncoding a) => ABIEncoding (Array a)
(IntSize n) => ABIEncoding (UIntN n)
(IntSize n) => ABIEncoding (IntN n)
Re-exports from Network.Ethereum.Web3.Solidity.Bytes
#unBytesN Source
unBytesN :: forall n. KnownSize n => BytesN n -> ByteString
Access the underlying raw bytestring
#proxyBytesN Source
proxyBytesN :: forall n. KnownSize n => BytesN n
#fromByteString Source
fromByteString :: forall n. KnownSize n => ByteString -> Maybe (BytesN n)
Attempt to coerce a bytestring into one of the appropriate size
Re-exports from Network.Ethereum.Web3.Solidity.Int
#intNFromBigNumber Source
intNFromBigNumber :: forall n. KnownSize n => BigNumber -> Maybe (IntN n)
Attempt to coerce an signed BigNumber
into a statically sized one
Re-exports from Network.Ethereum.Web3.Solidity.Size
#D2 Source
data D2
Instances
KnownSize D2
IntSize (D2 :& D4)
IntSize (D3 :& D2)
IntSize (D7 :& D2)
IntSize (D1 :& D1 :& D2)
IntSize (D1 :& D2 :& D0)
IntSize (D1 :& D2 :& D8)
IntSize (D1 :& D5 :& D2)
IntSize (D1 :& D9 :& D2)
IntSize (D2 :& D0 :& D0)
IntSize (D2 :& D0 :& D8)
IntSize (D2 :& D1 :& D6)
IntSize (D2 :& D2 :& D4)
IntSize (D2 :& D3 :& D2)
IntSize (D2 :& D4 :& D0)
IntSize (D2 :& D4 :& D8)
IntSize (D2 :& D5 :& D6)
ByteSize D2
ByteSize (D1 :& D2)
ByteSize (D2 :& D0)
ByteSize (D2 :& D1)
ByteSize (D2 :& D2)
ByteSize (D2 :& D3)
ByteSize (D2 :& D4)
ByteSize (D2 :& D5)
ByteSize (D2 :& D6)
ByteSize (D2 :& D7)
ByteSize (D2 :& D8)
ByteSize (D2 :& D9)
ByteSize (D3 :& D2)
#D1 Source
data D1
Instances
KnownSize D1
IntSize (D1 :& D6)
IntSize (D1 :& D0 :& D4)
IntSize (D1 :& D1 :& D2)
IntSize (D1 :& D2 :& D0)
IntSize (D1 :& D2 :& D8)
IntSize (D1 :& D3 :& D6)
IntSize (D1 :& D4 :& D4)
IntSize (D1 :& D5 :& D2)
IntSize (D1 :& D6 :& D0)
IntSize (D1 :& D6 :& D8)
IntSize (D1 :& D7 :& D6)
IntSize (D1 :& D8 :& D4)
IntSize (D1 :& D9 :& D2)
IntSize (D2 :& D1 :& D6)
ByteSize D1
ByteSize (D1 :& D0)
ByteSize (D1 :& D1)
ByteSize (D1 :& D2)
ByteSize (D1 :& D3)
ByteSize (D1 :& D4)
ByteSize (D1 :& D5)
ByteSize (D1 :& D6)
ByteSize (D1 :& D7)
ByteSize (D1 :& D8)
ByteSize (D1 :& D9)
ByteSize (D2 :& D1)
ByteSize (D3 :& D1)
#type (:&) Source
Operator alias for Network.Ethereum.Web3.Solidity.Size.NumCons (right-associative / precedence 6)
Re-exports from Network.Ethereum.Web3.Solidity.Tuple
#Tuple9 Source
data Tuple9 a b c d e f g h i
Constructors
Tuple9 a b c d e f g h i
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i) => ABIEncoding (Tuple9 a b c d e f g h i)
Generic (Tuple9 a b c d e f g h i) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (Tuple9 a b c d e f g h i)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (Tuple9 a b c d e f g h i)
#Tuple8 Source
data Tuple8 a b c d e f g h
Constructors
Tuple8 a b c d e f g h
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h) => ABIEncoding (Tuple8 a b c d e f g h)
Generic (Tuple8 a b c d e f g h) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (Tuple8 a b c d e f g h)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (Tuple8 a b c d e f g h)
#Tuple7 Source
data Tuple7 a b c d e f g
Constructors
Tuple7 a b c d e f g
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g) => ABIEncoding (Tuple7 a b c d e f g)
Generic (Tuple7 a b c d e f g) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (Tuple7 a b c d e f g)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (Tuple7 a b c d e f g)
#Tuple6 Source
data Tuple6 a b c d e f
Constructors
Tuple6 a b c d e f
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f) => ABIEncoding (Tuple6 a b c d e f)
Generic (Tuple6 a b c d e f) _
(Show a, Show b, Show c, Show d, Show e, Show f) => Show (Tuple6 a b c d e f)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (Tuple6 a b c d e f)
#Tuple5 Source
data Tuple5 a b c d e
Constructors
Tuple5 a b c d e
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e) => ABIEncoding (Tuple5 a b c d e)
Generic (Tuple5 a b c d e) _
(Show a, Show b, Show c, Show d, Show e) => Show (Tuple5 a b c d e)
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (Tuple5 a b c d e)
#Tuple4 Source
data Tuple4 a b c d
Constructors
Tuple4 a b c d
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d) => ABIEncoding (Tuple4 a b c d)
Generic (Tuple4 a b c d) _
(Show a, Show b, Show c, Show d) => Show (Tuple4 a b c d)
(Eq a, Eq b, Eq c, Eq d) => Eq (Tuple4 a b c d)
#Tuple3 Source
data Tuple3 a b c
Constructors
Tuple3 a b c
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c) => ABIEncoding (Tuple3 a b c)
Generic (Tuple3 a b c) _
(Show a, Show b, Show c) => Show (Tuple3 a b c)
(Eq a, Eq b, Eq c) => Eq (Tuple3 a b c)
#Tuple2 Source
data Tuple2 a b
Constructors
Tuple2 a b
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b) => ABIEncoding (Tuple2 a b)
Generic (Tuple2 a b) _
(Show a, Show b) => Show (Tuple2 a b)
(Eq a, Eq b) => Eq (Tuple2 a b)
#Tuple16 Source
data Tuple16 a b c d e f g h i j k l m n o p
Constructors
Tuple16 a b c d e f g h i j k l m n o p
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m, ABIEncoding n, EncodingType n, ABIEncoding o, EncodingType o, ABIEncoding p, EncodingType p) => ABIEncoding (Tuple16 a b c d e f g h i j k l m n o p)
Generic (Tuple16 a b c d e f g h i j k l m n o p) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p) => Show (Tuple16 a b c d e f g h i j k l m n o p)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p) => Eq (Tuple16 a b c d e f g h i j k l m n o p)
#Tuple15 Source
data Tuple15 a b c d e f g h i j k l m n o
Constructors
Tuple15 a b c d e f g h i j k l m n o
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m, ABIEncoding n, EncodingType n, ABIEncoding o, EncodingType o) => ABIEncoding (Tuple15 a b c d e f g h i j k l m n o)
Generic (Tuple15 a b c d e f g h i j k l m n o) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (Tuple15 a b c d e f g h i j k l m n o)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (Tuple15 a b c d e f g h i j k l m n o)
#Tuple14 Source
data Tuple14 a b c d e f g h i j k l m n
Constructors
Tuple14 a b c d e f g h i j k l m n
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m, ABIEncoding n, EncodingType n) => ABIEncoding (Tuple14 a b c d e f g h i j k l m n)
Generic (Tuple14 a b c d e f g h i j k l m n) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (Tuple14 a b c d e f g h i j k l m n)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (Tuple14 a b c d e f g h i j k l m n)
#Tuple13 Source
data Tuple13 a b c d e f g h i j k l m
Constructors
Tuple13 a b c d e f g h i j k l m
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m) => ABIEncoding (Tuple13 a b c d e f g h i j k l m)
Generic (Tuple13 a b c d e f g h i j k l m) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (Tuple13 a b c d e f g h i j k l m)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (Tuple13 a b c d e f g h i j k l m)
#Tuple12 Source
data Tuple12 a b c d e f g h i j k l
Constructors
Tuple12 a b c d e f g h i j k l
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l) => ABIEncoding (Tuple12 a b c d e f g h i j k l)
Generic (Tuple12 a b c d e f g h i j k l) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (Tuple12 a b c d e f g h i j k l)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (Tuple12 a b c d e f g h i j k l)
#Tuple11 Source
data Tuple11 a b c d e f g h i j k
Constructors
Tuple11 a b c d e f g h i j k
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k) => ABIEncoding (Tuple11 a b c d e f g h i j k)
Generic (Tuple11 a b c d e f g h i j k) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (Tuple11 a b c d e f g h i j k)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (Tuple11 a b c d e f g h i j k)
#Tuple10 Source
data Tuple10 a b c d e f g h i j
Constructors
Tuple10 a b c d e f g h i j
Instances
(ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j) => ABIEncoding (Tuple10 a b c d e f g h i j)
Generic (Tuple10 a b c d e f g h i j) _
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (Tuple10 a b c d e f g h i j)
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (Tuple10 a b c d e f g h i j)
#Singleton Source
newtype Singleton a
Constructors
Instances
(ABIEncoding a, EncodingType a) => ABIEncoding (Singleton a)
Generic (Singleton a) _
(Show a) => Show (Singleton a)
(Eq a) => Eq (Singleton a)
#unSingleton Source
unSingleton :: forall a. Singleton a -> a
Re-exports from Network.Ethereum.Web3.Solidity.UInt
#uIntNFromBigNumber Source
uIntNFromBigNumber :: forall n. KnownSize n => BigNumber -> Maybe (UIntN n)
Attempt to coerce an unsigned integer into a statically sized one
Re-exports from Network.Ethereum.Web3.Solidity.Vector
#vectorLength Source
vectorLength :: forall n a. KnownNat n => Vector n a -> Int
Get the length of a statically sized vector
#(:<) Source
Operator alias for Network.Ethereum.Web3.Solidity.Vector.vCons (right-associative / precedence 6)
Re-exports from Network.Ethereum.Web3.Types
- Modules
- Network.
Ethereum. Web3 - Network.
Ethereum. Web3. Api - Network.
Ethereum. Web3. Contract - Network.
Ethereum. Web3. JsonRPC - Network.
Ethereum. Web3. Provider - Network.
Ethereum. Web3. Solidity - Network.
Ethereum. Web3. Solidity. AbiEncoding - Network.
Ethereum. Web3. Solidity. Bytes - Network.
Ethereum. Web3. Solidity. EncodingType - Network.
Ethereum. Web3. Solidity. Int - Network.
Ethereum. Web3. Solidity. Size - Network.
Ethereum. Web3. Solidity. Tuple - Network.
Ethereum. Web3. Solidity. UInt - Network.
Ethereum. Web3. Solidity. Vector - Network.
Ethereum. Web3. Types - Network.
Ethereum. Web3. Types. BigNumber - Network.
Ethereum. Web3. Types. EtherUnit - Network.
Ethereum. Web3. Types. Sha3 - Network.
Ethereum. Web3. Types. Types - Network.
Ethereum. Web3. Types. Utils