974 lines
34 KiB
Haskell
974 lines
34 KiB
Haskell
{-# LANGUAGE TemplateHaskell #-}
|
|
{-# LANGUAGE TypeApplications #-}
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
{-# LANGUAGE ScopedTypeVariables #-}
|
|
|
|
module Zenith.CLI where
|
|
|
|
import qualified Brick.AttrMap as A
|
|
import qualified Brick.BChan as BC
|
|
import qualified Brick.Focus as F
|
|
import Brick.Forms
|
|
( Form(..)
|
|
, (@@=)
|
|
, editTextField
|
|
, focusedFormInputAttr
|
|
, handleFormEvent
|
|
, newForm
|
|
, renderForm
|
|
, updateFormState
|
|
)
|
|
import qualified Brick.Main as M
|
|
import qualified Brick.Types as BT
|
|
import Brick.Types (Widget)
|
|
import Brick.Util (bg, clamp, fg, on, style)
|
|
import qualified Brick.Widgets.Border as B
|
|
import Brick.Widgets.Border.Style (unicode, unicodeBold)
|
|
import qualified Brick.Widgets.Center as C
|
|
import Brick.Widgets.Core
|
|
( Padding(..)
|
|
, (<+>)
|
|
, (<=>)
|
|
, emptyWidget
|
|
, fill
|
|
, hBox
|
|
, hLimit
|
|
, joinBorders
|
|
, padAll
|
|
, padBottom
|
|
, str
|
|
, strWrap
|
|
, strWrapWith
|
|
, txt
|
|
, txtWrap
|
|
, txtWrapWith
|
|
, updateAttrMap
|
|
, vBox
|
|
, vLimit
|
|
, withAttr
|
|
, withBorderStyle
|
|
)
|
|
import qualified Brick.Widgets.Dialog as D
|
|
import qualified Brick.Widgets.List as L
|
|
import qualified Brick.Widgets.ProgressBar as P
|
|
import Control.Concurrent (forkIO, threadDelay)
|
|
import Control.Exception (catch, throw, throwIO, try)
|
|
import Control.Monad (forever, void)
|
|
import Control.Monad.IO.Class (liftIO)
|
|
import Control.Monad.Logger (runFileLoggingT)
|
|
import Data.Aeson
|
|
import Data.Maybe
|
|
import qualified Data.Text as T
|
|
import qualified Data.Text.Encoding as E
|
|
import Data.Time.Clock.POSIX (posixSecondsToUTCTime)
|
|
import qualified Data.Vector as Vec
|
|
import Database.Persist
|
|
import qualified Graphics.Vty as V
|
|
import qualified Graphics.Vty.CrossPlatform as VC
|
|
import Lens.Micro ((&), (.~), (^.), set)
|
|
import Lens.Micro.Mtl
|
|
import Lens.Micro.TH
|
|
import Text.Wrap (FillScope(..), FillStrategy(..), WrapSettings(..), wrapText)
|
|
import ZcashHaskell.Keys (generateWalletSeedPhrase, getWalletSeed)
|
|
import ZcashHaskell.Orchard (getSaplingFromUA, isValidUnifiedAddress)
|
|
import ZcashHaskell.Transparent (encodeTransparentReceiver)
|
|
import ZcashHaskell.Types
|
|
import ZcashHaskell.Utils (getBlockTime, makeZebraCall)
|
|
import Zenith.Core
|
|
import Zenith.DB
|
|
import Zenith.Scanner (processTx)
|
|
import Zenith.Types
|
|
( Config(..)
|
|
, PhraseDB(..)
|
|
, UnifiedAddressDB(..)
|
|
, ZcashNetDB(..)
|
|
)
|
|
import Zenith.Utils (displayTaz, displayZec, jsonNumber, showAddress)
|
|
|
|
data Name
|
|
= WList
|
|
| AList
|
|
| AcList
|
|
| TList
|
|
| HelpDialog
|
|
| DialogInputField
|
|
deriving (Eq, Show, Ord)
|
|
|
|
data DialogInput = DialogInput
|
|
{ _dialogInput :: !T.Text
|
|
} deriving (Show)
|
|
|
|
makeLenses ''DialogInput
|
|
|
|
data DialogType
|
|
= WName
|
|
| AName
|
|
| AdName
|
|
| WSelect
|
|
| ASelect
|
|
| Blank
|
|
|
|
data DisplayType
|
|
= AddrDisplay
|
|
| MsgDisplay
|
|
| PhraseDisplay
|
|
| TxDisplay
|
|
| SyncDisplay
|
|
| BlankDisplay
|
|
|
|
data Tick =
|
|
Tick
|
|
|
|
data State = State
|
|
{ _network :: !ZcashNet
|
|
, _wallets :: !(L.List Name (Entity ZcashWallet))
|
|
, _accounts :: !(L.List Name (Entity ZcashAccount))
|
|
, _addresses :: !(L.List Name (Entity WalletAddress))
|
|
, _transactions :: !(L.List Name (Entity UserTx))
|
|
, _msg :: !String
|
|
, _helpBox :: !Bool
|
|
, _dialogBox :: !DialogType
|
|
, _splashBox :: !Bool
|
|
, _inputForm :: !(Form DialogInput () Name)
|
|
, _focusRing :: !(F.FocusRing Name)
|
|
, _startBlock :: !Int
|
|
, _dbPath :: !T.Text
|
|
, _zebraHost :: !T.Text
|
|
, _zebraPort :: !Int
|
|
, _displayBox :: !DisplayType
|
|
, _syncBlock :: !Int
|
|
, _balance :: !Integer
|
|
, _barValue :: !Float
|
|
, _eventDispatch :: !(BC.BChan Tick)
|
|
}
|
|
|
|
makeLenses ''State
|
|
|
|
drawUI :: State -> [Widget Name]
|
|
drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
|
|
where
|
|
ui :: State -> Widget Name
|
|
ui st =
|
|
joinBorders $
|
|
withBorderStyle unicode $
|
|
B.borderWithLabel
|
|
(str
|
|
("Zenith - " <>
|
|
show (st ^. network) <>
|
|
" - " <>
|
|
T.unpack
|
|
(maybe
|
|
"(None)"
|
|
(\(_, w) -> zcashWalletName $ entityVal w)
|
|
(L.listSelectedElement (st ^. wallets)))))
|
|
(C.hCenter
|
|
(str
|
|
("Account: " ++
|
|
T.unpack
|
|
(maybe
|
|
"(None)"
|
|
(\(_, a) -> zcashAccountName $ entityVal a)
|
|
(L.listSelectedElement (st ^. accounts))))) <=>
|
|
C.hCenter
|
|
(str
|
|
("Balance: " ++
|
|
if st ^. network == MainNet
|
|
then displayZec (st ^. balance)
|
|
else displayTaz (st ^. balance))) <=>
|
|
listAddressBox "Addresses" (st ^. addresses) <+>
|
|
B.vBorder <+>
|
|
(C.hCenter (str ("Last block seen: " ++ show (st ^. syncBlock))) <=>
|
|
listTxBox "Transactions" (st ^. transactions))) <=>
|
|
C.hCenter
|
|
(hBox
|
|
[ capCommand "W" "allets"
|
|
, capCommand "A" "ccounts"
|
|
, capCommand "V" "iew address"
|
|
, capCommand "Q" "uit"
|
|
])
|
|
listBox :: Show e => String -> L.List Name e -> Widget Name
|
|
listBox titleLabel l =
|
|
C.vCenter $
|
|
vBox
|
|
[ C.hCenter
|
|
(B.borderWithLabel (str titleLabel) $
|
|
hLimit 25 $ vLimit 15 $ L.renderList listDrawElement True l)
|
|
, str " "
|
|
, C.hCenter $ str "Select "
|
|
]
|
|
selectListBox ::
|
|
Show e
|
|
=> String
|
|
-> L.List Name e
|
|
-> (Bool -> e -> Widget Name)
|
|
-> Widget Name
|
|
selectListBox titleLabel l drawF =
|
|
vBox
|
|
[ C.hCenter
|
|
(B.borderWithLabel (str titleLabel) $
|
|
hLimit 25 $ vLimit 15 $ L.renderList drawF True l)
|
|
, str " "
|
|
]
|
|
listAddressBox ::
|
|
String -> L.List Name (Entity WalletAddress) -> Widget Name
|
|
listAddressBox titleLabel a =
|
|
C.vCenter $
|
|
vBox
|
|
[ C.hCenter
|
|
(B.borderWithLabel (str titleLabel) $
|
|
hLimit 40 $ vLimit 15 $ L.renderList listDrawAddress True a)
|
|
, str " "
|
|
, C.hCenter $ str "Use arrows to select"
|
|
]
|
|
listTxBox :: String -> L.List Name (Entity UserTx) -> Widget Name
|
|
listTxBox titleLabel tx =
|
|
C.vCenter $
|
|
vBox
|
|
[ C.hCenter
|
|
(B.borderWithLabel (str titleLabel) $
|
|
hLimit 40 $ vLimit 15 $ L.renderList listDrawTx True tx)
|
|
, str " "
|
|
, C.hCenter $ str "Use arrows to select"
|
|
]
|
|
helpDialog :: State -> Widget Name
|
|
helpDialog st =
|
|
if st ^. helpBox
|
|
then D.renderDialog
|
|
(D.dialog (Just (str "Commands")) Nothing 55)
|
|
(vBox ([C.hCenter $ str "Key", B.hBorder] <> keyList) <+>
|
|
vBox ([str "Actions", B.hBorder] <> actionList))
|
|
else emptyWidget
|
|
where
|
|
keyList = map (C.hCenter . str) ["?", "Esc", "w", "a", "v", "q"]
|
|
actionList =
|
|
map
|
|
(hLimit 40 . str)
|
|
[ "Open help"
|
|
, "Close dialog"
|
|
, "Switch wallets"
|
|
, "Switch accounts"
|
|
, "View address"
|
|
, "Quit"
|
|
]
|
|
inputDialog :: State -> Widget Name
|
|
inputDialog st =
|
|
case st ^. dialogBox of
|
|
WName ->
|
|
D.renderDialog
|
|
(D.dialog (Just (str "Create Wallet")) Nothing 50)
|
|
(renderForm $ st ^. inputForm)
|
|
AName ->
|
|
D.renderDialog
|
|
(D.dialog (Just (str "Create Account")) Nothing 50)
|
|
(renderForm $ st ^. inputForm)
|
|
AdName ->
|
|
D.renderDialog
|
|
(D.dialog (Just (str "Create Address")) Nothing 50)
|
|
(renderForm $ st ^. inputForm)
|
|
WSelect ->
|
|
D.renderDialog
|
|
(D.dialog (Just (str "Select Wallet")) Nothing 50)
|
|
(selectListBox "Wallets" (st ^. wallets) listDrawWallet <=>
|
|
C.hCenter
|
|
(hBox
|
|
[ capCommand "↑↓ " "move"
|
|
, capCommand "↲ " "select"
|
|
, capCommand "N" "ew"
|
|
, capCommand "S" "how phrase"
|
|
, xCommand
|
|
]))
|
|
ASelect ->
|
|
D.renderDialog
|
|
(D.dialog (Just (str "Select Account")) Nothing 50)
|
|
(selectListBox "Accounts" (st ^. accounts) listDrawAccount <=>
|
|
C.hCenter
|
|
(hBox
|
|
[ capCommand "↑↓ " "move"
|
|
, capCommand "↲ " "select"
|
|
, capCommand "N" "ew"
|
|
, xCommand
|
|
]))
|
|
Blank -> emptyWidget
|
|
splashDialog :: State -> Widget Name
|
|
splashDialog st =
|
|
if st ^. splashBox
|
|
then withBorderStyle unicodeBold $
|
|
D.renderDialog
|
|
(D.dialog Nothing Nothing 30)
|
|
(withAttr
|
|
titleAttr
|
|
(str
|
|
" _____ _ _ _ \n|__ /___ _ __ (_) |_| |__\n / // _ \\ '_ \\| | __| '_ \\\n / /| __/ | | | | |_| | | |\n/____\\___|_| |_|_|\\__|_| |_|") <=>
|
|
C.hCenter (withAttr titleAttr (str "Zcash Wallet v0.5.0.0")) <=>
|
|
C.hCenter (withAttr blinkAttr $ str "Press any key..."))
|
|
else emptyWidget
|
|
capCommand :: String -> String -> Widget Name
|
|
capCommand k comm = hBox [withAttr titleAttr (str k), str comm, str " | "]
|
|
xCommand :: Widget Name
|
|
xCommand = hBox [str "E", withAttr titleAttr (str "x"), str "it"]
|
|
displayDialog :: State -> Widget Name
|
|
displayDialog st =
|
|
case st ^. displayBox of
|
|
AddrDisplay ->
|
|
case L.listSelectedElement $ st ^. addresses of
|
|
Just (_, a) ->
|
|
withBorderStyle unicodeBold $
|
|
D.renderDialog
|
|
(D.dialog
|
|
(Just $ txt ("Address: " <> walletAddressName (entityVal a)))
|
|
Nothing
|
|
60)
|
|
(padAll 1 $
|
|
B.borderWithLabel
|
|
(str "Unified")
|
|
(txtWrapWith (WrapSettings False True NoFill FillAfterFirst) $
|
|
getUA $ walletAddressUAddress $ entityVal a) <=>
|
|
B.borderWithLabel
|
|
(str "Legacy Shielded")
|
|
(txtWrapWith (WrapSettings False True NoFill FillAfterFirst) $
|
|
fromMaybe "None" $
|
|
(getSaplingFromUA .
|
|
E.encodeUtf8 . getUA . walletAddressUAddress)
|
|
(entityVal a)) <=>
|
|
B.borderWithLabel
|
|
(str "Transparent")
|
|
(txtWrapWith (WrapSettings False True NoFill FillAfterFirst) $
|
|
maybe "None" (encodeTransparentReceiver (st ^. network)) $
|
|
t_rec =<<
|
|
(isValidUnifiedAddress .
|
|
E.encodeUtf8 . getUA . walletAddressUAddress)
|
|
(entityVal a)))
|
|
Nothing -> emptyWidget
|
|
PhraseDisplay ->
|
|
case L.listSelectedElement $ st ^. wallets of
|
|
Just (_, w) ->
|
|
withBorderStyle unicodeBold $
|
|
D.renderDialog
|
|
(D.dialog (Just $ txt "Seed Phrase") Nothing 50)
|
|
(padAll 1 $
|
|
txtWrap $
|
|
E.decodeUtf8Lenient $
|
|
getBytes $ getPhrase $ zcashWalletSeedPhrase $ entityVal w)
|
|
Nothing -> emptyWidget
|
|
MsgDisplay ->
|
|
withBorderStyle unicodeBold $
|
|
D.renderDialog
|
|
(D.dialog (Just $ txt "Message") Nothing 50)
|
|
(padAll 1 $ strWrap $ st ^. msg)
|
|
TxDisplay ->
|
|
case L.listSelectedElement $ st ^. transactions of
|
|
Nothing -> emptyWidget
|
|
Just (_, tx) ->
|
|
withBorderStyle unicodeBold $
|
|
D.renderDialog
|
|
(D.dialog (Just $ txt "Transaction") Nothing 50)
|
|
(padAll
|
|
1
|
|
(str
|
|
("Date: " ++
|
|
show
|
|
(posixSecondsToUTCTime
|
|
(fromIntegral (userTxTime $ entityVal tx)))) <=>
|
|
(str "Tx ID: " <+>
|
|
strWrapWith
|
|
(WrapSettings False True NoFill FillAfterFirst)
|
|
(show (userTxHex $ entityVal tx))) <=>
|
|
str
|
|
("Amount: " ++
|
|
if st ^. network == MainNet
|
|
then displayZec
|
|
(fromIntegral $ userTxAmount $ entityVal tx)
|
|
else displayTaz
|
|
(fromIntegral $ userTxAmount $ entityVal tx)) <=>
|
|
(txt "Memo: " <+>
|
|
txtWrapWith
|
|
(WrapSettings False True NoFill FillAfterFirst)
|
|
(userTxMemo (entityVal tx)))))
|
|
SyncDisplay ->
|
|
withBorderStyle unicodeBold $
|
|
D.renderDialog
|
|
(D.dialog (Just $ txt "Sync") Nothing 50)
|
|
(padAll
|
|
1
|
|
(updateAttrMap
|
|
(A.mapAttrNames
|
|
[ (barDoneAttr, P.progressCompleteAttr)
|
|
, (barToDoAttr, P.progressIncompleteAttr)
|
|
])
|
|
(P.progressBar
|
|
(Just $ show (st ^. barValue * 100))
|
|
(_barValue st))))
|
|
BlankDisplay -> emptyWidget
|
|
|
|
mkInputForm :: DialogInput -> Form DialogInput e Name
|
|
mkInputForm =
|
|
newForm
|
|
[label "Name: " @@= editTextField dialogInput DialogInputField (Just 1)]
|
|
where
|
|
label s w =
|
|
padBottom (Pad 1) $ vLimit 1 (hLimit 15 $ str s <+> fill ' ') <+> w
|
|
|
|
listDrawElement :: (Show a) => Bool -> a -> Widget Name
|
|
listDrawElement sel a =
|
|
let selStr s =
|
|
if sel
|
|
then withAttr customAttr (str $ "<" <> s <> ">")
|
|
else str s
|
|
in C.hCenter $ selStr $ show a
|
|
|
|
listDrawWallet :: Bool -> Entity ZcashWallet -> Widget Name
|
|
listDrawWallet sel w =
|
|
let selStr s =
|
|
if sel
|
|
then withAttr customAttr (txt $ "<" <> s <> ">")
|
|
else txt s
|
|
in C.hCenter $ selStr $ zcashWalletName (entityVal w)
|
|
|
|
listDrawAccount :: Bool -> Entity ZcashAccount -> Widget Name
|
|
listDrawAccount sel w =
|
|
let selStr s =
|
|
if sel
|
|
then withAttr customAttr (txt $ "<" <> s <> ">")
|
|
else txt s
|
|
in C.hCenter $ selStr $ zcashAccountName (entityVal w)
|
|
|
|
listDrawAddress :: Bool -> Entity WalletAddress -> Widget Name
|
|
listDrawAddress sel w =
|
|
let selStr s =
|
|
if sel
|
|
then withAttr customAttr (txt $ "<" <> s <> ">")
|
|
else txt s
|
|
in C.hCenter $
|
|
selStr $
|
|
walletAddressName (entityVal w) <>
|
|
": " <> showAddress (walletAddressUAddress (entityVal w))
|
|
|
|
listDrawTx :: Bool -> Entity UserTx -> Widget Name
|
|
listDrawTx sel tx =
|
|
selStr $
|
|
T.pack
|
|
(show $ posixSecondsToUTCTime (fromIntegral (userTxTime $ entityVal tx))) <>
|
|
" " <> fmtAmt
|
|
where
|
|
amt = fromIntegral (userTxAmount $ entityVal tx) / 100000000
|
|
fmtAmt =
|
|
if amt > 0
|
|
then "↘" <> T.pack (show amt) <> " "
|
|
else " " <> T.pack (show amt) <> "↗"
|
|
selStr s =
|
|
if sel
|
|
then withAttr customAttr (txt $ "> " <> s)
|
|
else txt $ " " <> s
|
|
|
|
customAttr :: A.AttrName
|
|
customAttr = L.listSelectedAttr <> A.attrName "custom"
|
|
|
|
titleAttr :: A.AttrName
|
|
titleAttr = A.attrName "title"
|
|
|
|
blinkAttr :: A.AttrName
|
|
blinkAttr = A.attrName "blink"
|
|
|
|
baseAttr :: A.AttrName
|
|
baseAttr = A.attrName "base"
|
|
|
|
barDoneAttr :: A.AttrName
|
|
barDoneAttr = A.attrName "done"
|
|
|
|
barToDoAttr :: A.AttrName
|
|
barToDoAttr = A.attrName "remaining"
|
|
|
|
validBarValue :: Float -> Float
|
|
validBarValue = clamp 0 1
|
|
|
|
scanZebra :: Int -> BT.EventM Name State ()
|
|
scanZebra b = do
|
|
s <- BT.get
|
|
_ <- liftIO $ initDb $ s ^. dbPath
|
|
bStatus <- liftIO $ checkBlockChain (s ^. zebraHost) (s ^. zebraPort)
|
|
dbBlock <- liftIO $ getMaxBlock $ s ^. dbPath
|
|
let sb = max dbBlock b
|
|
if sb > zgb_blocks bStatus || sb < 1
|
|
then do
|
|
BT.modify $ set msg "Invalid starting block for scan"
|
|
BT.modify $ set displayBox MsgDisplay
|
|
else do
|
|
let bList = [(sb + 1) .. (zgb_blocks bStatus)]
|
|
let step = (1.0 :: Float) / fromIntegral (zgb_blocks bStatus - (sb + 1))
|
|
mapM_ (processBlock step) bList
|
|
where
|
|
processBlock :: Float -> Int -> BT.EventM Name State ()
|
|
processBlock step bl = do
|
|
s <- BT.get
|
|
r <-
|
|
liftIO $
|
|
makeZebraCall
|
|
(s ^. zebraHost)
|
|
(s ^. zebraPort)
|
|
"getblock"
|
|
[Data.Aeson.String $ T.pack $ show bl, jsonNumber 1]
|
|
case r of
|
|
Left e1 -> do
|
|
BT.modify $ set msg e1
|
|
BT.modify $ set displayBox MsgDisplay
|
|
Right blk -> do
|
|
r2 <-
|
|
liftIO $
|
|
makeZebraCall
|
|
(s ^. zebraHost)
|
|
(s ^. zebraPort)
|
|
"getblock"
|
|
[Data.Aeson.String $ T.pack $ show bl, jsonNumber 0]
|
|
case r2 of
|
|
Left e2 -> do
|
|
BT.modify $ set msg e2
|
|
BT.modify $ set displayBox MsgDisplay
|
|
Right hb -> do
|
|
let blockTime = getBlockTime hb
|
|
liftIO $
|
|
mapM_
|
|
(processTx
|
|
(s ^. zebraHost)
|
|
(s ^. zebraPort)
|
|
blockTime
|
|
(s ^. dbPath)) $
|
|
bl_txs $ addTime blk blockTime
|
|
BT.modify $ set barValue $ validBarValue (s ^. barValue + step)
|
|
BT.modify $ set displayBox SyncDisplay
|
|
addTime :: BlockResponse -> Int -> BlockResponse
|
|
addTime bl t =
|
|
BlockResponse
|
|
(bl_confirmations bl)
|
|
(bl_height bl)
|
|
(fromIntegral t)
|
|
(bl_txs bl)
|
|
|
|
appEvent :: BT.BrickEvent Name Tick -> BT.EventM Name State ()
|
|
appEvent (BT.AppEvent Tick) = do
|
|
s <- BT.get
|
|
case s ^. displayBox of
|
|
SyncDisplay -> do
|
|
if s ^. barValue == 1.0
|
|
then BT.modify $ set displayBox BlankDisplay
|
|
else BT.modify $ set displayBox SyncDisplay
|
|
_ -> return ()
|
|
appEvent (BT.VtyEvent e) = do
|
|
r <- F.focusGetCurrent <$> use focusRing
|
|
s <- BT.get
|
|
if s ^. splashBox
|
|
then BT.modify $ set splashBox False
|
|
else if s ^. helpBox
|
|
then do
|
|
case e of
|
|
V.EvKey V.KEsc [] -> do
|
|
BT.modify $ set helpBox False
|
|
_ev -> return ()
|
|
else do
|
|
case s ^. displayBox of
|
|
AddrDisplay -> BT.modify $ set displayBox BlankDisplay
|
|
MsgDisplay -> BT.modify $ set displayBox BlankDisplay
|
|
PhraseDisplay -> BT.modify $ set displayBox BlankDisplay
|
|
TxDisplay -> BT.modify $ set displayBox BlankDisplay
|
|
SyncDisplay -> do
|
|
if s ^. barValue == 1.0
|
|
then BT.modify $ set displayBox BlankDisplay
|
|
else do
|
|
sBlock <- liftIO $ getMinBirthdayHeight $ s ^. dbPath
|
|
selWallet <-
|
|
do case L.listSelectedElement $ s ^. wallets of
|
|
Nothing -> do
|
|
let fWall =
|
|
L.listSelectedElement $
|
|
L.listMoveToBeginning $ s ^. wallets
|
|
case fWall of
|
|
Nothing ->
|
|
throw $ userError "Failed to select wallet"
|
|
Just (_j, w1) -> return w1
|
|
Just (_k, w) -> return w
|
|
scanZebra sBlock
|
|
liftIO $
|
|
runFileLoggingT "zenith.log" $
|
|
syncWallet
|
|
(Config (s ^. dbPath) (s ^. zebraHost) (s ^. zebraPort))
|
|
selWallet
|
|
BT.modify $ set displayBox SyncDisplay
|
|
BlankDisplay -> do
|
|
case s ^. dialogBox of
|
|
WName -> do
|
|
case e of
|
|
V.EvKey V.KEsc [] -> BT.modify $ set dialogBox Blank
|
|
V.EvKey V.KEnter [] -> do
|
|
fs <- BT.zoom inputForm $ BT.gets formState
|
|
nw <- liftIO $ addNewWallet (fs ^. dialogInput) s
|
|
ns <- liftIO $ refreshWallet nw
|
|
BT.put ns
|
|
aL <- use accounts
|
|
BT.modify $ set displayBox MsgDisplay
|
|
BT.modify $
|
|
set dialogBox $
|
|
if not (null $ L.listElements aL)
|
|
then Blank
|
|
else AName
|
|
ev ->
|
|
BT.zoom inputForm $ handleFormEvent (BT.VtyEvent ev)
|
|
AName -> do
|
|
case e of
|
|
V.EvKey V.KEsc [] -> BT.modify $ set dialogBox Blank
|
|
V.EvKey V.KEnter [] -> do
|
|
fs <- BT.zoom inputForm $ BT.gets formState
|
|
ns <-
|
|
liftIO $
|
|
refreshAccount =<<
|
|
addNewAddress "Change" Internal =<<
|
|
addNewAccount (fs ^. dialogInput) s
|
|
BT.put ns
|
|
addrL <- use addresses
|
|
BT.modify $ set displayBox MsgDisplay
|
|
BT.modify $
|
|
set dialogBox $
|
|
if not (null $ L.listElements addrL)
|
|
then Blank
|
|
else AdName
|
|
ev ->
|
|
BT.zoom inputForm $ handleFormEvent (BT.VtyEvent ev)
|
|
AdName -> do
|
|
case e of
|
|
V.EvKey V.KEsc [] -> BT.modify $ set dialogBox Blank
|
|
V.EvKey V.KEnter [] -> do
|
|
fs <- BT.zoom inputForm $ BT.gets formState
|
|
nAddr <-
|
|
liftIO $ addNewAddress (fs ^. dialogInput) External s
|
|
BT.put nAddr
|
|
BT.modify $ set displayBox MsgDisplay
|
|
BT.modify $ set dialogBox Blank
|
|
ev ->
|
|
BT.zoom inputForm $ handleFormEvent (BT.VtyEvent ev)
|
|
WSelect -> do
|
|
case e of
|
|
V.EvKey (V.KChar 'x') [] ->
|
|
BT.modify $ set dialogBox Blank
|
|
V.EvKey V.KEnter [] -> do
|
|
ns <- liftIO $ refreshWallet s
|
|
BT.put ns
|
|
BT.modify $ set dialogBox Blank
|
|
V.EvKey (V.KChar 'n') [] -> do
|
|
BT.modify $
|
|
set inputForm $
|
|
updateFormState (DialogInput "New Wallet") $
|
|
s ^. inputForm
|
|
BT.modify $ set dialogBox WName
|
|
V.EvKey (V.KChar 's') [] ->
|
|
BT.modify $ set displayBox PhraseDisplay
|
|
ev -> BT.zoom wallets $ L.handleListEvent ev
|
|
ASelect -> do
|
|
case e of
|
|
V.EvKey (V.KChar 'x') [] ->
|
|
BT.modify $ set dialogBox Blank
|
|
V.EvKey V.KEnter [] -> do
|
|
ns <- liftIO $ refreshAccount s
|
|
BT.put ns
|
|
BT.modify $ set dialogBox Blank
|
|
V.EvKey (V.KChar 'n') [] -> do
|
|
BT.modify $
|
|
set inputForm $
|
|
updateFormState (DialogInput "New Account") $
|
|
s ^. inputForm
|
|
BT.modify $ set dialogBox AName
|
|
ev -> BT.zoom accounts $ L.handleListEvent ev
|
|
Blank -> do
|
|
case e of
|
|
V.EvKey (V.KChar '\t') [] -> focusRing %= F.focusNext
|
|
V.EvKey V.KEnter [] -> do
|
|
ns <- liftIO $ refreshTxs s
|
|
BT.put ns
|
|
V.EvKey (V.KChar 'q') [] -> M.halt
|
|
V.EvKey (V.KChar '?') [] -> BT.modify $ set helpBox True
|
|
V.EvKey (V.KChar 'n') [] ->
|
|
BT.modify $ set dialogBox AdName
|
|
V.EvKey (V.KChar 'v') [] ->
|
|
BT.modify $ set displayBox AddrDisplay
|
|
V.EvKey (V.KChar 'w') [] ->
|
|
BT.modify $ set dialogBox WSelect
|
|
V.EvKey (V.KChar 't') [] ->
|
|
BT.modify $ set displayBox TxDisplay
|
|
V.EvKey (V.KChar 'a') [] ->
|
|
BT.modify $ set dialogBox ASelect
|
|
V.EvKey (V.KChar 's') [] -> do
|
|
BT.modify $ set barValue 0.0
|
|
BT.modify $ set displayBox SyncDisplay
|
|
ev ->
|
|
case r of
|
|
Just AList ->
|
|
BT.zoom addresses $ L.handleListEvent ev
|
|
Just TList ->
|
|
BT.zoom transactions $ L.handleListEvent ev
|
|
_anyName -> return ()
|
|
where
|
|
printMsg :: String -> BT.EventM Name State ()
|
|
printMsg s = BT.modify $ updateMsg s
|
|
updateMsg :: String -> State -> State
|
|
updateMsg = set msg
|
|
appEvent _ = return ()
|
|
|
|
theMap :: A.AttrMap
|
|
theMap =
|
|
A.attrMap
|
|
V.defAttr
|
|
[ (L.listAttr, V.white `on` V.blue)
|
|
, (L.listSelectedAttr, V.blue `on` V.white)
|
|
, (customAttr, fg V.black)
|
|
, (titleAttr, V.withStyle (fg V.brightGreen) V.bold)
|
|
, (blinkAttr, style V.blink)
|
|
, (focusedFormInputAttr, V.white `on` V.blue)
|
|
, (baseAttr, bg V.brightBlack)
|
|
, (barDoneAttr, V.white `on` V.blue)
|
|
, (barToDoAttr, V.white `on` V.black)
|
|
]
|
|
|
|
theApp :: M.App State Tick Name
|
|
theApp =
|
|
M.App
|
|
{ M.appDraw = drawUI
|
|
, M.appChooseCursor = M.showFirstCursor
|
|
, M.appHandleEvent = appEvent
|
|
, M.appStartEvent = return ()
|
|
, M.appAttrMap = const theMap
|
|
}
|
|
|
|
runZenithCLI :: Config -> IO ()
|
|
runZenithCLI config = do
|
|
let host = c_zebraHost config
|
|
let port = c_zebraPort config
|
|
let dbFilePath = c_dbPath config
|
|
w <- try $ checkZebra host port :: IO (Either IOError ZebraGetInfo)
|
|
case w of
|
|
Right zebra -> do
|
|
bc <-
|
|
try $ checkBlockChain host port :: IO
|
|
(Either IOError ZebraGetBlockChainInfo)
|
|
case bc of
|
|
Left e1 -> throwIO e1
|
|
Right chainInfo -> do
|
|
initDb dbFilePath
|
|
walList <- getWallets dbFilePath $ zgb_net chainInfo
|
|
accList <-
|
|
if not (null walList)
|
|
then getAccounts dbFilePath $ entityKey $ head walList
|
|
else return []
|
|
addrList <-
|
|
if not (null accList)
|
|
then getAddresses dbFilePath $ entityKey $ head accList
|
|
else return []
|
|
txList <-
|
|
if not (null addrList)
|
|
then getUserTx dbFilePath $ entityKey $ head addrList
|
|
else return []
|
|
let block =
|
|
if not (null walList)
|
|
then zcashWalletLastSync $ entityVal $ head walList
|
|
else 0
|
|
bal <-
|
|
if not (null accList)
|
|
then getBalance dbFilePath $ entityKey $ head accList
|
|
else return 0
|
|
eventChan <- BC.newBChan 10
|
|
let buildVty = VC.mkVty V.defaultConfig
|
|
initialVty <- buildVty
|
|
void $
|
|
M.customMain initialVty buildVty (Just eventChan) theApp $
|
|
State
|
|
(zgb_net chainInfo)
|
|
(L.list WList (Vec.fromList walList) 1)
|
|
(L.list AcList (Vec.fromList accList) 0)
|
|
(L.list AList (Vec.fromList addrList) 1)
|
|
(L.list TList (Vec.fromList txList) 1)
|
|
("Start up Ok! Connected to Zebra " ++
|
|
(T.unpack . zgi_build) zebra ++ " on port " ++ show port ++ ".")
|
|
False
|
|
(if null walList
|
|
then WName
|
|
else Blank)
|
|
True
|
|
(mkInputForm $ DialogInput "Main")
|
|
(F.focusRing [AList, TList])
|
|
(zgb_blocks chainInfo)
|
|
dbFilePath
|
|
host
|
|
port
|
|
MsgDisplay
|
|
block
|
|
bal
|
|
1.0
|
|
eventChan
|
|
Left e -> do
|
|
print $
|
|
"No Zebra node available on port " <>
|
|
show port <> ". Check your configuration."
|
|
|
|
refreshWallet :: State -> IO State
|
|
refreshWallet s = do
|
|
selWallet <-
|
|
do case L.listSelectedElement $ s ^. wallets of
|
|
Nothing -> do
|
|
let fWall =
|
|
L.listSelectedElement $ L.listMoveToBeginning $ s ^. wallets
|
|
case fWall of
|
|
Nothing -> throw $ userError "Failed to select wallet"
|
|
Just (_j, w1) -> return w1
|
|
Just (_k, w) -> return w
|
|
aL <- getAccounts (s ^. dbPath) $ entityKey selWallet
|
|
let bl = zcashWalletLastSync $ entityVal selWallet
|
|
addrL <-
|
|
if not (null aL)
|
|
then getAddresses (s ^. dbPath) $ entityKey $ head aL
|
|
else return []
|
|
bal <-
|
|
if not (null aL)
|
|
then getBalance (s ^. dbPath) $ entityKey $ head aL
|
|
else return 0
|
|
txL <-
|
|
if not (null addrL)
|
|
then getUserTx (s ^. dbPath) $ entityKey $ head addrL
|
|
else return []
|
|
let aL' = L.listReplace (Vec.fromList aL) (Just 0) (s ^. accounts)
|
|
let addrL' = L.listReplace (Vec.fromList addrL) (Just 0) (s ^. addresses)
|
|
let txL' = L.listReplace (Vec.fromList txL) (Just 0) (s ^. transactions)
|
|
return $
|
|
(s & accounts .~ aL') & syncBlock .~ bl & balance .~ bal & addresses .~
|
|
addrL' &
|
|
transactions .~
|
|
txL' &
|
|
msg .~
|
|
"Switched to wallet: " ++
|
|
T.unpack (zcashWalletName $ entityVal selWallet)
|
|
|
|
addNewWallet :: T.Text -> State -> IO State
|
|
addNewWallet n s = do
|
|
sP <- generateWalletSeedPhrase
|
|
let bH = s ^. startBlock
|
|
let netName = s ^. network
|
|
r <-
|
|
saveWallet (s ^. dbPath) $
|
|
ZcashWallet n (ZcashNetDB netName) (PhraseDB sP) bH 0
|
|
case r of
|
|
Nothing -> do
|
|
return $ s & msg .~ ("Wallet already exists: " ++ T.unpack n)
|
|
Just _ -> do
|
|
wL <- getWallets (s ^. dbPath) netName
|
|
let aL =
|
|
L.listFindBy (\x -> zcashWalletName (entityVal x) == n) $
|
|
L.listReplace (Vec.fromList wL) (Just 0) (s ^. wallets)
|
|
return $ (s & wallets .~ aL) & msg .~ "Created new wallet: " ++ T.unpack n
|
|
|
|
addNewAccount :: T.Text -> State -> IO State
|
|
addNewAccount n s = do
|
|
selWallet <-
|
|
do case L.listSelectedElement $ s ^. wallets of
|
|
Nothing -> do
|
|
let fWall =
|
|
L.listSelectedElement $ L.listMoveToBeginning $ s ^. wallets
|
|
case fWall of
|
|
Nothing -> throw $ userError "Failed to select wallet"
|
|
Just (_j, w1) -> return w1
|
|
Just (_k, w) -> return w
|
|
aL' <- getMaxAccount (s ^. dbPath) (entityKey selWallet)
|
|
zA <-
|
|
try $ createZcashAccount n (aL' + 1) selWallet :: IO
|
|
(Either IOError ZcashAccount)
|
|
case zA of
|
|
Left e -> return $ s & msg .~ ("Error: " ++ show e)
|
|
Right zA' -> do
|
|
r <- saveAccount (s ^. dbPath) zA'
|
|
case r of
|
|
Nothing ->
|
|
return $ s & msg .~ ("Account already exists: " ++ T.unpack n)
|
|
Just x -> do
|
|
aL <- getAccounts (s ^. dbPath) (entityKey selWallet)
|
|
let nL =
|
|
L.listMoveToElement x $
|
|
L.listReplace (Vec.fromList aL) (Just 0) (s ^. accounts)
|
|
return $
|
|
(s & accounts .~ nL) & msg .~ "Created new account: " ++ T.unpack n
|
|
|
|
refreshAccount :: State -> IO State
|
|
refreshAccount s = do
|
|
selAccount <-
|
|
do case L.listSelectedElement $ s ^. accounts of
|
|
Nothing -> do
|
|
let fAcc =
|
|
L.listSelectedElement $ L.listMoveToBeginning $ s ^. accounts
|
|
case fAcc of
|
|
Nothing -> throw $ userError "Failed to select account"
|
|
Just (_j, w1) -> return w1
|
|
Just (_k, w) -> return w
|
|
aL <- getAddresses (s ^. dbPath) $ entityKey selAccount
|
|
bal <- getBalance (s ^. dbPath) $ entityKey selAccount
|
|
let aL' = L.listReplace (Vec.fromList aL) (Just 0) (s ^. addresses)
|
|
selAddress <-
|
|
do case L.listSelectedElement aL' of
|
|
Nothing -> do
|
|
let fAdd = L.listSelectedElement $ L.listMoveToBeginning aL'
|
|
return fAdd
|
|
Just a2 -> return $ Just a2
|
|
case selAddress of
|
|
Nothing ->
|
|
return $
|
|
s & balance .~ bal & addresses .~ aL' & msg .~ "Switched to account: " ++
|
|
T.unpack (zcashAccountName $ entityVal selAccount)
|
|
Just (_i, a) -> do
|
|
tList <- getUserTx (s ^. dbPath) $ entityKey a
|
|
let tL' = L.listReplace (Vec.fromList tList) (Just 0) (s ^. transactions)
|
|
return $
|
|
s & balance .~ bal & addresses .~ aL' & transactions .~ tL' & msg .~
|
|
"Switched to account: " ++
|
|
T.unpack (zcashAccountName $ entityVal selAccount)
|
|
|
|
refreshTxs :: State -> IO State
|
|
refreshTxs s = do
|
|
selAddress <-
|
|
do case L.listSelectedElement $ s ^. addresses of
|
|
Nothing -> do
|
|
let fAdd =
|
|
L.listSelectedElement $ L.listMoveToBeginning $ s ^. addresses
|
|
return fAdd
|
|
Just a2 -> return $ Just a2
|
|
case selAddress of
|
|
Nothing -> return s
|
|
Just (_i, a) -> do
|
|
tList <- getUserTx (s ^. dbPath) $ entityKey a
|
|
let tL' = L.listReplace (Vec.fromList tList) (Just 0) (s ^. transactions)
|
|
return $ s & transactions .~ tL'
|
|
|
|
addNewAddress :: T.Text -> Scope -> State -> IO State
|
|
addNewAddress n scope s = do
|
|
selAccount <-
|
|
do case L.listSelectedElement $ s ^. accounts of
|
|
Nothing -> do
|
|
let fAcc =
|
|
L.listSelectedElement $ L.listMoveToBeginning $ s ^. accounts
|
|
case fAcc of
|
|
Nothing -> throw $ userError "Failed to select account"
|
|
Just (_j, a1) -> return a1
|
|
Just (_k, a) -> return a
|
|
maxAddr <- getMaxAddress (s ^. dbPath) (entityKey selAccount) scope
|
|
uA <-
|
|
try $ createWalletAddress n (maxAddr + 1) (s ^. network) scope selAccount :: IO
|
|
(Either IOError WalletAddress)
|
|
case uA of
|
|
Left e -> return $ s & msg .~ ("Error: " ++ show e)
|
|
Right uA' -> do
|
|
nAddr <- saveAddress (s ^. dbPath) uA'
|
|
case nAddr of
|
|
Nothing ->
|
|
return $ s & msg .~ ("Address already exists: " ++ T.unpack n)
|
|
Just x -> do
|
|
addrL <- getAddresses (s ^. dbPath) (entityKey selAccount)
|
|
let nL =
|
|
L.listMoveToElement x $
|
|
L.listReplace (Vec.fromList addrL) (Just 0) (s ^. addresses)
|
|
return $
|
|
(s & addresses .~ nL) & msg .~ "Created new address: " ++
|
|
T.unpack n ++
|
|
"(" ++
|
|
T.unpack (showAddress $ walletAddressUAddress $ entityVal x) ++ ")"
|