Moduleweb3-ethereum-1.1.0.1Haskell2010

Network.Ethereum

Ethereum is a global, open-source platform for decentralized applications.

Contents

Basic transaction sending
Basic EVM event listening
Primitive Solidity data types
Metric unit system

Synopsis

data EventAction
value event
newtype ListN
data Bytes
newtype Address
type BytesN
newtype IntN
newtype UIntN

Packageweb3-ethereum-1.1.0.1
Exports8
LanguageHaskell2010
LicenceApache-2.0
SourceEthereum.hs

Basic transaction sending

module Network.Ethereum.Account

Basic EVM event listening

datadata EventAction

Source#

Event callback control response

ContinueEvent TerminateEvent

Instances2Eq, Show

Eq EventActionDefined in web3-ethereum-1.1.0.1 · Network.Ethereum.Contract.Event.Common
Show EventActionDefined in web3-ethereum-1.1.0.1 · Network.Ethereum.Contract.Event.Common

valueevent

:: (DecodeEvent i ni e, JsonRpc m)
=> Filter e
-> e -> ReaderT Change m EventAction
-> m ()

Source#

Run one block at a time.

Primitive Solidity data types

newtypenewtype ListN (n :: Nat) a

Source#

A Typed-level sized List equivalent to [a]

Instances11IsList, Eq, Ord, Show, Generic, NormalForm, …

(NatWithinBound Int n, KnownNat n) => IsList (ListN n a)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan
Eq a => Eq (ListN n a)Defined in basement-0.0.16 · Basement.Sized.List
Ord a => Ord (ListN n a)Defined in basement-0.0.16 · Basement.Sized.List
Show a => Show (ListN n a)Defined in basement-0.0.16 · Basement.Sized.List
Generic (ListN n a)Defined in basement-0.0.16 · Basement.Sized.List
NormalForm a => NormalForm (ListN n a)Defined in basement-0.0.16 · Basement.Sized.List
(NatWithinBound Int n, KnownNat n, AbiGet a) => AbiGet (ListN n a)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan
(AbiPut a, KnownNat n, 1 <= (n + 1)) => AbiPut (ListN n a)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan
(AbiType a, KnownNat n) => AbiType (ListN n a)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan
type Rep (ListN n a) = D1 ('MetaData "ListN" "Basement.Sized.List" "basement-0.0.16-LMHb76lxsKVWIx4pyoLKV" 'True) (C1 ('MetaCons "ListN" 'PrefixI 'True) (S1 ('MetaSel ('Just "unListN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))Defined in basement-0.0.16 · Basement.Sized.List
type Item (ListN n a) = aDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan

datadata Bytes

Source#

Simplest Byte Array

Instances21Eq, Ord, Show, Semigroup, Monoid, NFData, …

Eq BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
Ord BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
Show BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
IsString BytesDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
Semigroup BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
Monoid BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
NFData BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
FromJSON BytesDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
ToJSON BytesDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
NormalForm BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
ByteArray BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
ByteArrayAccess BytesDefined in memory-0.18.0 · Data.ByteArray.Bytes
AbiGet BytesDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
AbiPut BytesDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
AbiType BytesDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
KnownNat n => IsString (BytesN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
KnownNat n => FromJSON (BytesN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
KnownNat n => ToJSON (BytesN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
(KnownNat n, n <= 32) => AbiGet (BytesN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
KnownNat n => AbiPut (BytesN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan
KnownNat n => AbiType (BytesN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Bytes · orphan

newtypenewtype Address

Source#

Ethereum account address

Instances14Eq, Ord, Show, IsString, FromJSON, ToJSON, …

Eq AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
Ord AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
Show AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
IsString AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
Generic AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
FromJSON AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
ToJSON AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
Default AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
Generic AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
AbiGet AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
AbiPut AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
AbiType AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
type Rep Address = D1 ('MetaData "Address" "Data.Solidity.Prim.Address" "web3-solidity-1.1.0.0-G445E1HOMhq7NZtXqjQhxQ" 'True) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UIntN 160))))Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address
type Code Address = GCode AddressDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Address

typetype BytesN (n :: Nat) = SizedByteArray n Bytes

Source#

Sized byte array with fixed length in bytes

newtypenewtype IntN (n :: Nat)

Source#

Signed integer with fixed length in bits.

Instances15Bounded, Enum, Eq, Integral, Num, Ord, …

KnownNat n => Bounded (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Enum (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Eq (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Integral (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Num (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Ord (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Real (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Show (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Generic (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Bits (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => ToJSON (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiGet (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiPut (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiType (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
type Rep (IntN n) = D1 ('MetaData "IntN" "Data.Solidity.Prim.Int" "web3-solidity-1.1.0.0-G445E1HOMhq7NZtXqjQhxQ" 'True) (C1 ('MetaCons "IntN" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int

newtypenewtype UIntN (n :: Nat)

Source#

Unsigned integer with fixed length in bits.

Instances15Bounded, Enum, Eq, Integral, Num, Ord, …

KnownNat n => Bounded (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Enum (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Eq (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Integral (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Num (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Ord (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Real (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Show (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Generic (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Bits (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => ToJSON (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiGet (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiPut (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiType (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
type Rep (UIntN n) = D1 ('MetaData "UIntN" "Data.Solidity.Prim.Int" "web3-solidity-1.1.0.0-G445E1HOMhq7NZtXqjQhxQ" 'True) (C1 ('MetaCons "UIntN" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUIntN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int

Metric unit system

module Network.Ethereum.Unit