Moduleweb3-ethereum-1.1.0.1Haskell2010

Network.Ethereum

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

7 types
1 value

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

Basic transaction sending

0 declarations

module Network.Ethereum.Account

Basic EVM event listening

2 declarations

datadata EventAction

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 ()

Run one block at a time.

Primitive Solidity data types

6 declarations

newtypenewtype ListN (n :: Nat) a

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

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

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

Sized byte array with fixed length in bytes

newtypenewtype IntN (n :: Nat)

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)

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

0 declarations

module Network.Ethereum.Unit