Copyright	Alexander Krupenkin 2018
License	BSD3
Maintainer	mail@akru.me
Stability	experimental
Portability	unportable
Safe Haskell	None
Language	Haskell2010

Network.Ethereum.Account.Internal

Description

Internal types and functions of Account module.

Synopsis

data CallParam p = CallParam {
- _to :: Maybe Address
- _value :: Integer
- _gasLimit :: Maybe Integer
- _gasPrice :: Maybe Integer
- _block :: DefaultBlock
- _account :: p
}
to :: Lens' (CallParam p) Address
value :: Unit value => Lens' (CallParam p) value
gasLimit :: Lens' (CallParam p) Integer
gasPrice :: Unit gasprice => Lens' (CallParam p) gasprice
block :: Lens' (CallParam p) DefaultBlock
account :: Lens' (CallParam p) p
newtype AccountT p m a = AccountT {
- runAccountT :: StateT (CallParam p) m a
}
withParam :: Account p (AccountT p) => (CallParam p -> CallParam p) -> AccountT p m a -> AccountT p m a
defaultCallParam :: a -> CallParam a
getCall :: MonadState (CallParam p) m => m Call
getReceipt :: JsonRpc m => HexString -> m TxReceipt
updateReceipt :: JsonRpc m => TxReceipt -> m TxReceipt

Documentation

data CallParam p Source #

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) Source #
Instance details 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) Source #
Instance details 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 Source #

Transaction recipient lens

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

Transaction value lens

gasLimit :: Lens' (CallParam p) Integer Source #

Transaction gas limit lens

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

Transaction gas price lens

block :: Lens' (CallParam p) DefaultBlock Source #

Call execution block lens

account :: Lens' (CallParam p) p Source #

EOA params lens

newtype AccountT p m a Source #

Monad transformer for sending parametrized transactions from account

Constructors

AccountT
Fields runAccountT :: StateT (CallParam p) m a

Instances

Account () DefaultAccount Source #
Instance details Defined in Network.Ethereum.Account.Default Methods withAccount :: JsonRpc m => () -> DefaultAccount m b -> m b Source # send :: (JsonRpc m, Method args) => args -> DefaultAccount m TxReceipt Source # call :: (JsonRpc m, Method args, AbiGet result) => args -> DefaultAccount m result Source #
Account Personal PersonalAccount Source #
Instance details Defined in Network.Ethereum.Account.Personal Methods withAccount :: JsonRpc m => Personal -> PersonalAccount m b -> m b Source # send :: (JsonRpc m, Method args) => args -> PersonalAccount m TxReceipt Source # call :: (JsonRpc m, Method args, AbiGet result) => args -> PersonalAccount m result Source #
Account LocalKey LocalKeyAccount Source #
Instance details Defined in Network.Ethereum.Account.LocalKey Methods withAccount :: JsonRpc m => LocalKey -> LocalKeyAccount m b -> m b Source # send :: (JsonRpc m, Method args) => args -> LocalKeyAccount m TxReceipt Source # call :: (JsonRpc m, Method args, AbiGet result) => args -> LocalKeyAccount m result Source #
MonadTrans (AccountT p) Source #
Instance details Defined in Network.Ethereum.Account.Internal Methods lift :: Monad m => m a -> AccountT p m a #
Monad m => MonadState (CallParam p) (AccountT p m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

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 Source #

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

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

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