Network.Ethereum.Account.Internal

Internal types and functions of Account module.

Documentation

data CallParam p

Account is needed to send transactions to blockchain

Transaction parametrization data type

Constructors

CallParam

Fields

• _to :: Maybe Address

  Transaction recepient

• _value :: Integer

  Transaction value

• _gasLimit :: Maybe Integer

  Transaction gas limit

• _gasPrice :: Maybe Integer

  Transaction gas price

• _block :: DefaultBlock

  Call block number

• _account :: p

  Account params to sign transaction

Instances

Eq p => Eq (CallParam p)

Defined in Network.Ethereum.Account.Internal

Methods

(==) :: CallParam p -> CallParam p -> Bool

(/=) :: CallParam p -> CallParam p -> Bool

Monad m => MonadState (CallParam p) (AccountT p m)

Defined in Network.Ethereum.Account.Internal

Methods

get :: AccountT p m (CallParam p)

put :: CallParam p -> AccountT p m ()

state :: (CallParam p -> (a, CallParam p)) -> AccountT p m a

to :: Lens' (CallParam p) Address

Transaction recipient lens

value :: Unit value => Lens' (CallParam p) value

Transaction value lens

gasLimit :: Lens' (CallParam p) Integer

Transaction gas limit lens

gasPrice :: Unit gasprice => Lens' (CallParam p) gasprice

Transaction gas price lens

block :: Lens' (CallParam p) DefaultBlock

Call execution block lens

account :: Lens' (CallParam p) p

EOA params lens

newtype AccountT p m a

Monad transformer for sending parametrized transactions from account

Constructors

AccountT

Fields

• runAccountT :: StateT (CallParam p) m a

Instances

Account () DefaultAccount

Defined in Network.Ethereum.Account.Default

Methods

withAccount :: JsonRpc m => () -> DefaultAccount m b -> m b

send :: (JsonRpc m, Method args) => args -> DefaultAccount m TxReceipt

call :: (JsonRpc m, Method args, AbiGet result) => args -> DefaultAccount m result

Account Personal PersonalAccount

Defined in Network.Ethereum.Account.Personal

Methods

withAccount :: JsonRpc m => Personal -> PersonalAccount m b -> m b

send :: (JsonRpc m, Method args) => args -> PersonalAccount m TxReceipt

call :: (JsonRpc m, Method args, AbiGet result) => args -> PersonalAccount m result

Account LocalKey LocalKeyAccount

Defined in Network.Ethereum.Account.LocalKey

Methods

withAccount :: JsonRpc m => LocalKey -> LocalKeyAccount m b -> m b

send :: (JsonRpc m, Method args) => args -> LocalKeyAccount m TxReceipt

call :: (JsonRpc m, Method args, AbiGet result) => args -> LocalKeyAccount m result

MonadTrans (AccountT p)

Defined in Network.Ethereum.Account.Internal

Methods

lift :: Monad m => m a -> AccountT p m a

Monad m => MonadState (CallParam p) (AccountT p m)

Defined in Network.Ethereum.Account.Internal

Methods

get :: AccountT p m (CallParam p)

put :: CallParam p -> AccountT p m ()

state :: (CallParam p -> (a, CallParam p)) -> AccountT p m a

Monad m => Monad (AccountT p m)

Defined in Network.Ethereum.Account.Internal

Methods

(>>=) :: AccountT p m a -> (a -> AccountT p m b) -> AccountT p m b

(>>) :: AccountT p m a -> AccountT p m b -> AccountT p m b

return :: a -> AccountT p m a

fail :: String -> AccountT p m a

Functor m => Functor (AccountT p m)

Defined in Network.Ethereum.Account.Internal

Methods

fmap :: (a -> b) -> AccountT p m a -> AccountT p m b

(<$) :: a -> AccountT p m b -> AccountT p m a

Monad m => Applicative (AccountT p m)

Defined in Network.Ethereum.Account.Internal

Methods

pure :: a -> AccountT p m a

(<*>) :: AccountT p m (a -> b) -> AccountT p m a -> AccountT p m b

liftA2 :: (a -> b -> c) -> AccountT p m a -> AccountT p m b -> AccountT p m c

(*>) :: AccountT p m a -> AccountT p m b -> AccountT p m b

(<*) :: AccountT p m a -> AccountT p m b -> AccountT p m a

withParam :: Account p (AccountT p) => (CallParam p -> CallParam p) -> AccountT p m a -> AccountT p m a

withParam is very similar to withStateT function, it's used to set parameters of transaction locally and revert params after out of scope.

 withAccount () $
   withParam (to .~ tokenAddress) $
     transfer alice 42
 

defaultCallParam :: a -> CallParam a

getCall :: MonadState (CallParam p) m => m Call

getReceipt :: JsonRpc m => HexString -> m TxReceipt

updateReceipt :: JsonRpc m => TxReceipt -> m TxReceipt