Module

Network.Ethereum.Web3.Solidity

Package
purescript-web3
Repository
f-o-a-m/purescript-web3

Re-exports from Data.ByteString

Re-exports from Network.Ethereum.Web3.Solidity.AbiEncoding

#ABIEncode Source

class ABIEncode a  where

Class representing values that have an encoding and decoding instance to/from a solidity type.

Members

Instances

#fromData Source

fromData :: forall a. ABIDecode a => HexString -> Either ParseError a

Parse encoded value, droping the leading 0x

Re-exports from Network.Ethereum.Web3.Solidity.Bytes

#BytesN Source

newtype BytesN n

Instances

#update Source

update :: forall n. KnownSize n => BytesN n -> ByteString -> BytesN n

#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.Event

#DecodeEvent Source

class (IndexedEvent a b c) <= DecodeEvent a b c | c -> a b where

Members

Instances

#IndexedEvent Source

class IndexedEvent a b c | c -> a b where

Members

Re-exports from Network.Ethereum.Web3.Solidity.Generic

#ArgsToRowListProxy Source

class ArgsToRowListProxy args (l :: RowList) | args -> l, l -> args

Instances

#GenericABIDecode Source

class GenericABIDecode a 

A class for decoding generically composed datatypes from their abi encoding

Instances

#GenericABIEncode Source

class GenericABIEncode a 

A class for encoding generically composed datatypes to their abi encoding

Instances

#ToRecordFields Source

class ToRecordFields args fields (rowList :: RowList) | args -> rowList, rowList -> args fields where

Members

Instances

#genericFromData Source

genericFromData :: forall rep a. Generic a rep => GenericABIDecode rep => HexString -> Either ParseError a

#genericABIEncode Source

genericABIEncode :: forall rep a. Generic a rep => GenericABIEncode rep => a -> HexString

Encode a generic type into its abi encoding, works only for types of the form Constructor name (Product (Argument a1) (Product ... (Argument an)))

#genericABIDecode Source

genericABIDecode :: forall rep a. Generic a rep => GenericABIDecode rep => Parser String a

Encode a generic type into its abi encoding, works only for types of the form Constructor name (Product (Argument a1) (Product ... (Argument an)))

Re-exports from Network.Ethereum.Web3.Solidity.Int

#IntN Source

newtype IntN n

Represents a statically sized signed integer of size n bytes

Instances

#unIntN Source

unIntN :: forall n. KnownSize n => IntN n -> BigNumber

Access the raw underlying integer

#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

#Z Source

data Z

Naturals

Instances

#S Source

data S n

Instances

#NumCons Source

data NumCons a b

Instances

#N9 Source

type N9 = S N8

#N8 Source

type N8 = S N7

#N7 Source

type N7 = S N6

#N6 Source

type N6 = S N5

#N5 Source

type N5 = S N4

#N4 Source

type N4 = S N3

#N3 Source

type N3 = S N2

#N2 Source

type N2 = S N1

#N1 Source

type N1 = S N0

#N0 Source

type N0 = Z

#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

Instances

#Tuple8 Source

data Tuple8 a b c d e f g h

Constructors

Instances

#Tuple7 Source

data Tuple7 a b c d e f g

Constructors

Instances

#Tuple6 Source

data Tuple6 a b c d e f

Constructors

Instances

#Tuple5 Source

data Tuple5 a b c d e

Constructors

Instances

#Tuple4 Source

data Tuple4 a b c d

Constructors

Instances

#Tuple3 Source

data Tuple3 a b c

Constructors

Instances

#Tuple2 Source

data Tuple2 a b

Constructors

Instances

#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

#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

#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

#Tuple13 Source

data Tuple13 a b c d e f g h i j k l m

Constructors

Instances

#Tuple12 Source

data Tuple12 a b c d e f g h i j k l

Constructors

Instances

#Tuple11 Source

data Tuple11 a b c d e f g h i j k

Constructors

Instances

#Tuple10 Source

data Tuple10 a b c d e f g h i j

Constructors

Instances

#Tuple1 Source

newtype Tuple1 a

Constructors

Instances

#Tuple0 Source

data Tuple0

Constructors

Instances

#uncurry9 Source

uncurry9 :: forall j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> Tuple9 a b c d e f g h i -> j

#uncurry8 Source

uncurry8 :: forall i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i) -> Tuple8 a b c d e f g h -> i

#uncurry7 Source

uncurry7 :: forall h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h) -> Tuple7 a b c d e f g -> h

#uncurry6 Source

uncurry6 :: forall g f e d c b a. (a -> b -> c -> d -> e -> f -> g) -> Tuple6 a b c d e f -> g

#uncurry5 Source

uncurry5 :: forall f e d c b a. (a -> b -> c -> d -> e -> f) -> Tuple5 a b c d e -> f

#uncurry4 Source

uncurry4 :: forall e d c b a. (a -> b -> c -> d -> e) -> Tuple4 a b c d -> e

#uncurry3 Source

uncurry3 :: forall d c b a. (a -> b -> c -> d) -> Tuple3 a b c -> d

#uncurry2 Source

uncurry2 :: forall c b a. (a -> b -> c) -> Tuple2 a b -> c

#uncurry16 Source

uncurry16 :: forall q p o n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q) -> Tuple16 a b c d e f g h i j k l m n o p -> q

#uncurry15 Source

uncurry15 :: forall p o n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p) -> Tuple15 a b c d e f g h i j k l m n o -> p

#uncurry14 Source

uncurry14 :: forall o n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o) -> Tuple14 a b c d e f g h i j k l m n -> o

#uncurry13 Source

uncurry13 :: forall n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n) -> Tuple13 a b c d e f g h i j k l m -> n

#uncurry12 Source

uncurry12 :: forall m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m) -> Tuple12 a b c d e f g h i j k l -> m

#uncurry11 Source

uncurry11 :: forall l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l) -> Tuple11 a b c d e f g h i j k -> l

#uncurry10 Source

uncurry10 :: forall k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k) -> Tuple10 a b c d e f g h i j -> k

#uncurry1 Source

uncurry1 :: forall b a. (a -> b) -> Tuple1 a -> b

#unTuple1 Source

unTuple1 :: forall a. Tuple1 a -> a

#curry9 Source

curry9 :: forall j i h g f e d c b a. (Tuple9 a b c d e f g h i -> j) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j

#curry8 Source

curry8 :: forall i h g f e d c b a. (Tuple8 a b c d e f g h -> i) -> a -> b -> c -> d -> e -> f -> g -> h -> i

#curry7 Source

curry7 :: forall h g f e d c b a. (Tuple7 a b c d e f g -> h) -> a -> b -> c -> d -> e -> f -> g -> h

#curry6 Source

curry6 :: forall g f e d c b a. (Tuple6 a b c d e f -> g) -> a -> b -> c -> d -> e -> f -> g

#curry5 Source

curry5 :: forall f e d c b a. (Tuple5 a b c d e -> f) -> a -> b -> c -> d -> e -> f

#curry4 Source

curry4 :: forall e d c b a. (Tuple4 a b c d -> e) -> a -> b -> c -> d -> e

#curry3 Source

curry3 :: forall d c b a. (Tuple3 a b c -> d) -> a -> b -> c -> d

#curry2 Source

curry2 :: forall c b a. (Tuple2 a b -> c) -> a -> b -> c

#curry16 Source

curry16 :: forall q p o n m l k j i h g f e d c b a. (Tuple16 a b c d e f g h i j k l m n o p -> q) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q

#curry15 Source

curry15 :: forall p o n m l k j i h g f e d c b a. (Tuple15 a b c d e f g h i j k l m n o -> p) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p

#curry14 Source

curry14 :: forall o n m l k j i h g f e d c b a. (Tuple14 a b c d e f g h i j k l m n -> o) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o

#curry13 Source

curry13 :: forall n m l k j i h g f e d c b a. (Tuple13 a b c d e f g h i j k l m -> n) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n

#curry12 Source

curry12 :: forall m l k j i h g f e d c b a. (Tuple12 a b c d e f g h i j k l -> m) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m

#curry11 Source

curry11 :: forall l k j i h g f e d c b a. (Tuple11 a b c d e f g h i j k -> l) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l

#curry10 Source

curry10 :: forall k j i h g f e d c b a. (Tuple10 a b c d e f g h i j -> k) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k

#curry1 Source

curry1 :: forall b a. (Tuple1 a -> b) -> a -> b

Re-exports from Network.Ethereum.Web3.Solidity.UInt

#UIntN Source

newtype UIntN n

Represents a statically sized unsigned integer of size n

Instances

#unUIntN Source

unUIntN :: forall n. KnownSize n => UIntN n -> BigNumber

Access the raw underlying unsigned integer

#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

#Vector Source

newtype Vector n a

Represents a statically sized vector of length n

Instances

#vectorLength Source

vectorLength :: forall n a. KnownNat n => Vector n a -> Int

Get the length of a statically sized vector

#vCons Source

vCons :: forall n a. a -> Vector n a -> Vector (S n) a

Dependently typed cons

#unVector Source

unVector :: forall n a. Vector n a -> Array a

Access the underlying array

#toVector Source

toVector :: forall n a. KnownNat n => Array a -> Maybe (Vector n a)

Attempt to coerce an array into a statically sized array

#nilVector Source

nilVector :: forall a. Vector Z a

Array of length 0

#(:<) Source

Operator alias for Network.Ethereum.Web3.Solidity.Vector.vCons (right-associative / precedence 6)

Re-exports from Network.Ethereum.Web3.Types

#Address Source

newtype Address

Represents and Ethereum address, which is a 20 byte HexString

Instances