.gitignore

@@ -1,7 +1,3 @@
 .stack-work/
 *~
 dist-newstyle/
-zenith.db
-zenith.log
-zenith.db-shm
-zenith.db-wal

.gitmodules

@@ -1,4 +1,4 @@
 [submodule "zcash-haskell"]
 	path = zcash-haskell
 	url = https://git.vergara.tech/Vergara_Tech/zcash-haskell.git
-	branch = milestone2
+	branch = dev040

CHANGELOG.md

@@ -5,84 +5,6 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [0.6.0.0-beta]
-
-### Added
-
-- GUI module
-- Address list
-- Transaction list
-- Balance display
-- Account selector
-- Menu for new addresses, accounts, wallets
-- Dialog to display and copy seed phrase
-- Dialog to add new address
-- Dialog to add new account
-- Dialog to add new wallet
-- Dialog to display transaction details and copy TX ID
-- Dialog to send a new transaction
-- Dialog to display Tx ID after successful broadcast
-- Unconfirmed balance display on TUI and GUI
-- Tracking of unconfirmed notes
-
-### Changed
-
-- Upgraded to GHC 9.6.5
-- Implemented config and data folder
-- Improved the `configure` script for installation
-
-### Fixed
-
-- Validation of input of amount for sending in TUI
-
-### Removed
-
-- Legacy interface to `zcashd`
-
-## [0.5.3.1-beta]
-
-### Added
-
-- Docker image
-
-## [0.5.3.0-beta]
-
-### Added
-
-- Address Book functionality. Allows users to store frequently used zcash addresses and
-  generate transactions using them.
-
-### Changed
-
-- Improved formatting of sync progress
-
-### Fixed
-
-- Wallet sync when no new block has been detected on-chain.
-
-## [0.5.2.0-beta]
-
-### Changed
-
-- Update to `zcash-haskell-0.6.2.0` to increase performance of transaction creation
-
-### Fixed
-
-- Truncation of transaction ID when displaying a successfully sent transaction
-- Missing command in menu for Send
-
-## [0.5.1.1-beta.1]
-
-### Changed
-
-- Installation instructions in README
-
-## [0.5.1.1-beta]
-
-### Added
-
-- Implement CLI changes to send transactions
-
 ## [0.5.0.0]
 
 ### Added

README.md

@@ -21,7 +21,6 @@ Zenith is a wallet for the [Zebra](https://zfnd.org/zebra/) Zcash node . It has
 - Listing transactions for specific addresses, decoding memos for easy reading.
 - Copying addresses to the clipboard.
 - Sending transactions with shielded memo support.
-- Address Book for storing frequently used zcash addresses 
 
 ## Installation
 

app/Main.hs

@@ -11,8 +11,7 @@ import Data.Sort
 import qualified Data.Text as T
 import qualified Data.Text.IO as TIO
 import Data.Time.Clock.POSIX
-
+import System.Console.StructuredCLI
-{-import System.Console.StructuredCLI-}
 import System.Environment (getArgs)
 import System.Exit
 import System.IO
@@ -20,11 +19,10 @@ import Text.Read (readMaybe)
 import ZcashHaskell.Types
 import Zenith.CLI
 import Zenith.Core (clearSync, testSync)
-import Zenith.GUI (runZenithGUI)
 import Zenith.Types (Config(..), ZcashAddress(..), ZcashPool(..), ZcashTx(..))
 import Zenith.Utils
 import Zenith.Zcashd
-  {-
+
 prompt :: String -> IO String
 prompt text = do
   putStr text
@@ -198,22 +196,21 @@ processUri user pwd =
                 _ -> False
         _ <- liftIO $ sendWithUri user pwd (addList !! (idx - 1)) u repTo
         return NoAction
--}
 
 main :: IO ()
 main = do
-  config <- load ["$(HOME)/Zenith/zenith.cfg"]
+  config <- load ["zenith.cfg"]
   args <- getArgs
   dbFilePath <- require config "dbFilePath"
-  {-nodeUser <- require config "nodeUser"-}
+  nodeUser <- require config "nodeUser"
-  {-nodePwd <- require config "nodePwd"-}
+  nodePwd <- require config "nodePwd"
   zebraPort <- require config "zebraPort"
   zebraHost <- require config "zebraHost"
   let myConfig = Config dbFilePath zebraHost zebraPort
   if not (null args)
     then do
-      case head args
+      case head args of
-        {-"legacy" -> do
+        "legacy" -> do
           checkServer nodeUser nodePwd
           void $
             runCLI
@@ -222,10 +219,8 @@ main = do
                 { getBanner =
                     "                         ______          _ _   _    \n                        |___  /         (_) | | |    \n                           / / ___ _ __  _| |_| |__  \n                          / / / _ \\ '_ \\| | __| '_ \\ \n                         / /_|  __/ | | | | |_| | | |\n                        /_____\\___|_| |_|_|\\__|_| |_|\n                         Zcash Full Node CLI v0.4.0"
                 }
-              (root nodeUser nodePwd) -}
+              (root nodeUser nodePwd)
-            of
+        "cli" -> runZenithCLI myConfig
-        "gui" -> runZenithGUI myConfig
-        "tui" -> runZenithTUI myConfig
         "rescan" -> clearSync myConfig
         _ -> printUsage
     else printUsage
@@ -234,6 +229,6 @@ printUsage :: IO ()
 printUsage = do
   putStrLn "zenith [command] [parameters]\n"
   putStrLn "Available commands:"
-  {-putStrLn "legacy\tLegacy CLI for zcashd"-}
+  putStrLn "legacy\tLegacy CLI for zcashd"
-  putStrLn "tui\tTUI for zebrad"
+  putStrLn "cli\tCLI for zebrad"
   putStrLn "rescan\tRescan the existing wallet(s)"

cabal.project

@@ -2,7 +2,7 @@ packages:
   ./*.cabal
   zcash-haskell/zcash-haskell.cabal
 
-with-compiler: ghc-9.6.5
+with-compiler: ghc-9.4.8
 
 source-repository-package
   type: git

cabal.project.freeze

@@ -1,336 +0,0 @@
-active-repositories: hackage.haskell.org:merge
-constraints: any.Cabal ==3.10.3.0,
-             any.Cabal-syntax ==3.10.3.0,
-             any.Clipboard ==2.3.2.0,
-             any.HUnit ==1.6.2.0,
-             any.Hclip ==3.0.0.4,
-             any.JuicyPixels ==3.3.9,
-             JuicyPixels -mmap,
-             any.OneTuple ==0.4.2,
-             any.OpenGLRaw ==3.3.4.1,
-             OpenGLRaw -osandroid +usegles2 +useglxgetprocaddress +usenativewindowslibraries,
-             any.QuickCheck ==2.14.3,
-             QuickCheck -old-random +templatehaskell,
-             any.RSA ==2.4.1,
-             any.SHA ==1.6.4.4,
-             SHA -exe,
-             any.StateVar ==1.2.2,
-             any.X11 ==1.10.3,
-             X11 -pedantic,
-             any.adjunctions ==4.4.2,
-             any.aeson ==2.2.3.0,
-             aeson +ordered-keymap,
-             any.alex ==3.5.1.0,
-             any.ansi-terminal ==1.1.1,
-             ansi-terminal -example,
-             any.ansi-terminal-types ==1.1,
-             any.appar ==0.1.8,
-             any.array ==0.5.6.0,
-             any.ascii-progress ==0.3.3.0,
-             ascii-progress -examples,
-             any.asn1-encoding ==0.9.6,
-             any.asn1-parse ==0.9.5,
-             any.asn1-types ==0.3.4,
-             any.assoc ==1.1.1,
-             assoc -tagged,
-             any.async ==2.2.5,
-             async -bench,
-             any.attoparsec ==0.14.4,
-             attoparsec -developer,
-             any.attoparsec-aeson ==2.2.2.0,
-             any.authenticate-oauth ==1.7,
-             any.auto-update ==0.2.1,
-             any.base ==4.18.2.1,
-             any.base-compat ==0.14.0,
-             any.base-compat-batteries ==0.14.0,
-             any.base-orphans ==0.9.2,
-             any.base16 ==1.0,
-             any.base16-bytestring ==1.0.2.0,
-             any.base58-bytestring ==0.1.0,
-             any.base64-bytestring ==1.2.1.0,
-             any.basement ==0.0.16,
-             any.bifunctors ==5.6.2,
-             bifunctors +tagged,
-             any.bimap ==0.5.0,
-             any.binary ==0.8.9.1,
-             any.binary-orphans ==1.0.5,
-             any.bitvec ==1.1.5.0,
-             bitvec +simd,
-             any.blaze-builder ==0.4.2.3,
-             any.blaze-html ==0.9.2.0,
-             any.blaze-markup ==0.8.3.0,
-             any.borsh ==0.3.0,
-             any.brick ==2.4,
-             brick -demos,
-             any.byteorder ==1.0.4,
-             any.bytes ==0.17.3,
-             any.bytestring ==0.11.5.3,
-             any.bytestring-builder ==0.10.8.2.0,
-             bytestring-builder +bytestring_has_builder,
-             any.bytestring-to-vector ==0.3.0.1,
-             any.c2hs ==0.28.8,
-             c2hs +base3 -regression,
-             any.cabal-doctest ==1.0.10,
-             any.call-stack ==0.4.0,
-             any.case-insensitive ==1.2.1.0,
-             any.cborg ==0.2.10.0,
-             cborg +optimize-gmp,
-             any.cereal ==0.5.8.3,
-             cereal -bytestring-builder,
-             any.character-ps ==0.1,
-             any.clock ==0.8.4,
-             clock -llvm,
-             any.colour ==2.3.6,
-             any.comonad ==5.0.8,
-             comonad +containers +distributive +indexed-traversable,
-             any.concurrent-output ==1.10.21,
-             any.conduit ==1.3.5,
-             any.conduit-extra ==1.3.6,
-             any.config-ini ==0.2.7.0,
-             config-ini -enable-doctests,
-             any.configurator ==0.3.0.0,
-             configurator -developer,
-             any.containers ==0.6.7,
-             any.contravariant ==1.5.5,
-             contravariant +semigroups +statevar +tagged,
-             any.cookie ==0.5.0,
-             any.crypto-api ==0.13.3,
-             crypto-api -all_cpolys,
-             any.crypto-pubkey-types ==0.4.3,
-             any.crypton ==1.0.0,
-             crypton -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq +support_pclmuldq +support_rdrand -support_sse +use_target_attributes,
-             any.crypton-connection ==0.4.1,
-             any.crypton-x509 ==1.7.7,
-             any.crypton-x509-store ==1.6.9,
-             any.crypton-x509-system ==1.6.7,
-             any.crypton-x509-validation ==1.6.12,
-             any.cryptonite ==0.30,
-             cryptonite -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq -support_pclmuldq +support_rdrand -support_sse +use_target_attributes,
-             any.data-clist ==0.2,
-             any.data-default ==0.7.1.1,
-             any.data-default-class ==0.1.2.0,
-             any.data-default-instances-containers ==0.0.1,
-             any.data-default-instances-dlist ==0.0.1,
-             any.data-default-instances-old-locale ==0.0.1,
-             any.data-fix ==0.3.4,
-             any.deepseq ==1.4.8.1,
-             any.directory ==1.3.8.4,
-             any.distributive ==0.6.2.1,
-             distributive +semigroups +tagged,
-             any.dlist ==1.0,
-             dlist -werror,
-             any.double-conversion ==2.0.5.0,
-             double-conversion -developer +embedded_double_conversion,
-             any.easy-file ==0.2.5,
-             any.entropy ==0.4.1.10,
-             entropy -donotgetentropy,
-             any.envy ==2.1.3.0,
-             any.esqueleto ==3.5.11.2,
-             any.exceptions ==0.10.7,
-             any.extra ==1.7.16,
-             any.fast-logger ==3.2.3,
-             any.filepath ==1.4.300.1,
-             any.fixed ==0.3,
-             any.foreign-rust ==0.1.0,
-             any.foreign-store ==0.2.1,
-             any.formatting ==7.2.0,
-             formatting -no-double-conversion,
-             any.free ==5.2,
-             any.generic-deriving ==1.14.5,
-             generic-deriving +base-4-9,
-             any.generically ==0.1.1,
-             any.generics-sop ==0.5.1.4,
-             any.ghc ==9.6.5,
-             any.ghc-bignum ==1.3,
-             any.ghc-boot ==9.6.5,
-             any.ghc-boot-th ==9.6.5,
-             any.ghc-heap ==9.6.5,
-             any.ghc-prim ==0.10.0,
-             any.ghci ==9.6.5,
-             any.half ==0.3.1,
-             any.happy ==1.20.1.1,
-             any.hashable ==1.4.7.0,
-             hashable -arch-native +integer-gmp -random-initial-seed,
-             any.haskell-lexer ==1.1.1,
-             any.haskoin-core ==1.1.0,
-             any.hexstring ==0.12.1.0,
-             any.hourglass ==0.2.12,
-             any.hpc ==0.6.2.0,
-             any.hsc2hs ==0.68.10,
-             hsc2hs -in-ghc-tree,
-             any.hspec ==2.11.9,
-             any.hspec-core ==2.11.9,
-             any.hspec-discover ==2.11.9,
-             any.hspec-expectations ==0.8.4,
-             any.http-api-data ==0.6.1,
-             http-api-data -use-text-show,
-             any.http-client ==0.7.17,
-             http-client +network-uri,
-             any.http-client-tls ==0.3.6.3,
-             any.http-conduit ==2.3.8.3,
-             http-conduit +aeson,
-             any.http-types ==0.12.4,
-             any.indexed-traversable ==0.1.4,
-             any.indexed-traversable-instances ==0.1.2,
-             any.integer-conversion ==0.1.1,
-             any.integer-gmp ==1.1,
-             any.integer-logarithms ==1.0.3.1,
-             integer-logarithms -check-bounds +integer-gmp,
-             any.invariant ==0.6.3,
-             any.iproute ==1.7.12,
-             any.kan-extensions ==5.2.6,
-             any.language-c ==0.9.3,
-             language-c -allwarnings +iecfpextension +usebytestrings,
-             any.lens ==5.3.2,
-             lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
-             any.lens-aeson ==1.2.3,
-             any.lift-type ==0.1.1.1,
-             any.lifted-base ==0.2.3.12,
-             any.linear ==1.22,
-             linear -herbie +template-haskell,
-             any.megaparsec ==9.6.1,
-             megaparsec -dev,
-             any.memory ==0.18.0,
-             memory +support_bytestring +support_deepseq,
-             any.microlens ==0.4.13.1,
-             any.microlens-mtl ==0.2.0.3,
-             any.microlens-th ==0.4.3.15,
-             any.mime-types ==0.1.2.0,
-             any.monad-control ==1.0.3.1,
-             any.monad-logger ==0.3.40,
-             monad-logger +template_haskell,
-             any.monad-loops ==0.4.3,
-             monad-loops +base4,
-             any.mono-traversable ==1.0.17.0,
-             any.monomer ==1.6.0.1,
-             monomer -examples,
-             any.mtl ==2.3.1,
-             any.murmur3 ==1.0.5,
-             any.nanovg ==0.8.1.0,
-             nanovg -examples -gl2 -gles3 -stb_truetype,
-             any.network ==3.2.1.0,
-             network -devel,
-             any.network-uri ==2.6.4.2,
-             any.old-locale ==1.0.0.7,
-             any.old-time ==1.1.0.4,
-             any.os-string ==2.0.6,
-             any.parallel ==3.2.2.0,
-             any.parsec ==3.1.16.1,
-             any.parser-combinators ==1.3.0,
-             parser-combinators -dev,
-             any.path-pieces ==0.2.1,
-             any.pem ==0.2.4,
-             any.persistent ==2.14.6.1,
-             any.persistent-sqlite ==2.13.3.0,
-             persistent-sqlite -build-sanity-exe +full-text-search +have-usleep +json1 -systemlib +uri-filenames -use-pkgconfig -use-stat3 +use-stat4,
-             any.persistent-template ==2.12.0.0,
-             any.pretty ==1.1.3.6,
-             any.primitive ==0.9.0.0,
-             any.process ==1.6.19.0,
-             any.profunctors ==5.6.2,
-             any.psqueues ==0.2.8.0,
-             any.pureMD5 ==2.1.4,
-             pureMD5 -test,
-             any.qrcode-core ==0.9.9,
-             any.qrcode-juicypixels ==0.8.5,
-             any.quickcheck-io ==0.2.0,
-             any.quickcheck-transformer ==0.3.1.2,
-             any.random ==1.2.1.2,
-             any.reflection ==2.1.8,
-             reflection -slow +template-haskell,
-             any.regex-base ==0.94.0.2,
-             any.regex-compat ==0.95.2.1,
-             any.regex-posix ==0.96.0.1,
-             regex-posix -_regex-posix-clib,
-             any.resource-pool ==0.4.0.0,
-             any.resourcet ==1.3.0,
-             any.rts ==1.0.2,
-             any.safe ==0.3.21,
-             any.safe-exceptions ==0.1.7.4,
-             any.scientific ==0.3.8.0,
-             scientific -integer-simple,
-             any.sdl2 ==2.5.5.0,
-             sdl2 -examples -no-linear -opengl-example +pkgconfig +recent-ish,
-             any.secp256k1-haskell ==1.2.0,
-             any.semialign ==1.3.1,
-             semialign +semigroupoids,
-             any.semigroupoids ==6.0.1,
-             semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
-             any.semigroups ==0.20,
-             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
-             any.serialise ==0.2.6.1,
-             serialise +newtime15,
-             any.silently ==1.2.5.3,
-             any.socks ==0.6.1,
-             any.sop-core ==0.5.0.2,
-             any.sort ==1.0.0.0,
-             any.split ==0.2.5,
-             any.splitmix ==0.1.0.5,
-             splitmix -optimised-mixer,
-             any.stm ==2.5.1.0,
-             any.stm-chans ==3.0.0.9,
-             any.streaming-commons ==0.2.2.6,
-             streaming-commons -use-bytestring-builder,
-             any.strict ==0.5.1,
-             any.string-conversions ==0.4.0.1,
-             any.system-cxx-std-lib ==1.0,
-             any.tagged ==0.8.8,
-             tagged +deepseq +transformers,
-             any.template-haskell ==2.20.0.0,
-             any.terminal-size ==0.3.4,
-             any.terminfo ==0.4.1.6,
-             any.text ==2.0.2,
-             any.text-iso8601 ==0.1.1,
-             any.text-short ==0.1.6,
-             text-short -asserts,
-             any.text-show ==3.10.5,
-             text-show +base-4-9 +integer-gmp +new-functor-classes +template-haskell-2-11,
-             any.text-zipper ==0.13,
-             any.tf-random ==0.5,
-             any.th-abstraction ==0.7.0.0,
-             any.th-compat ==0.1.5,
-             any.th-lift ==0.8.4,
-             any.th-lift-instances ==0.1.20,
-             any.these ==1.2.1,
-             any.time ==1.12.2,
-             any.time-compat ==1.9.7,
-             any.time-locale-compat ==0.1.1.5,
-             time-locale-compat -old-locale,
-             any.tls ==2.1.0,
-             tls -devel,
-             any.transformers ==0.6.1.0,
-             any.transformers-base ==0.4.6,
-             transformers-base +orphaninstances,
-             any.transformers-compat ==0.7.2,
-             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
-             any.typed-process ==0.2.11.1,
-             any.unix ==2.8.4.0,
-             any.unix-compat ==0.7.2,
-             any.unix-time ==0.4.15,
-             any.unliftio ==0.2.25.0,
-             any.unliftio-core ==0.2.1.0,
-             any.unordered-containers ==0.2.20,
-             unordered-containers -debug,
-             any.utf8-string ==1.0.2,
-             any.uuid-types ==1.0.6,
-             any.vault ==0.3.1.5,
-             vault +useghc,
-             any.vector ==0.13.1.0,
-             vector +boundschecks -internalchecks -unsafechecks -wall,
-             any.vector-algorithms ==0.9.0.2,
-             vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
-             any.vector-stream ==0.1.0.1,
-             any.void ==0.7.3,
-             void -safe,
-             any.vty ==6.2,
-             any.vty-crossplatform ==0.4.0.0,
-             vty-crossplatform -demos,
-             any.vty-unix ==0.2.0.0,
-             any.wide-word ==0.1.6.0,
-             any.witherable ==0.5,
-             any.word-wrap ==0.5,
-             any.wreq ==0.5.4.3,
-             wreq -aws -developer +doctest -httpbin,
-             any.zlib ==0.7.1.0,
-             zlib -bundled-c-zlib +non-blocking-ffi +pkg-config
-index-state: hackage.haskell.org 2024-07-10T18:40:26Z

configure

@@ -1,17 +1,6 @@
 #!/bin/bash
-echo "Configuring Zenith...."
+
-if grep -q "local/share/zcash-haskell" "$HOME/.bashrc"; then
-    echo "... Paths already exist"
-else
-  # Set Paths
-  echo "... Adding new zenith paths to local configuration"
 echo "export PKG_CONFIG_PATH=$HOME/.local/share/zcash-haskell:\$PKG_CONFIG_PATH" | tee -a ~/.bashrc
 echo "export LD_LIBRARY_PATH=$HOME/.local/share/zcash-haskell:\$LD_LIBRARY_PATH" | tee -a ~/.bashrc
-fi  
-echo "... Reloading paths"
 source ~/.bashrc
-echo "... building zcash-haskell"
 cd zcash-haskell && cabal build
-echo
-echo "Done"
-echo

install

@@ -1,5 +0,0 @@
-#!/bin/bash
-
-echo "Deploying Zenith executable..."
-ln -s ${PWD}/dist-newstyle/build/x86_64-linux/ghc-9.6.5/zenith-0.6.0.0/build/zenith/zenith ~/.local/bin/zenith
-echo "Done."

src/Zenith/CLI.hs

@@ -10,10 +10,8 @@ import qualified Brick.BChan as BC
 import qualified Brick.Focus as F
 import Brick.Forms
   ( Form(..)
-  , FormFieldState
   , (@@=)
   , allFieldsValid
-  , editShowableField
   , editShowableFieldWithValidate
   , editTextField
   , focusedFormInputAttr
@@ -27,7 +25,7 @@ import Brick.Forms
 import qualified Brick.Main as M
 import qualified Brick.Types as BT
 import Brick.Types (Widget)
-import Brick.Util (bg, fg, on, style)
+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
@@ -42,9 +40,6 @@ import Brick.Widgets.Core
   , joinBorders
   , padAll
   , padBottom
-  , padLeft
-  , padTop
-  , setAvailableSize
   , str
   , strWrap
   , strWrapWith
@@ -54,7 +49,6 @@ import Brick.Widgets.Core
   , updateAttrMap
   , vBox
   , vLimit
-  , viewport
   , withAttr
   , withBorderStyle
   )
@@ -68,7 +62,7 @@ import Control.Monad (forever, void)
 import Control.Monad.IO.Class (liftIO)
 import Control.Monad.Logger (LoggingT, runFileLoggingT, runNoLoggingT)
 import Data.Aeson
-import Data.HexString (HexString(..), toText)
+import Data.HexString (toText)
 import Data.Maybe
 import qualified Data.Text as T
 import qualified Data.Text.Encoding as E
@@ -82,35 +76,27 @@ import Lens.Micro ((&), (.~), (^.), set)
 import Lens.Micro.Mtl
 import Lens.Micro.TH
 import System.Hclip
-import Text.Printf
 import Text.Wrap (FillScope(..), FillStrategy(..), WrapSettings(..), wrapText)
 import ZcashHaskell.Keys (generateWalletSeedPhrase, getWalletSeed)
 import ZcashHaskell.Orchard (getSaplingFromUA, isValidUnifiedAddress)
 import ZcashHaskell.Sapling (decodeSaplingAddress, isValidShieldedAddress)
 import ZcashHaskell.Transparent
-  ( decodeTransparentAddress
+  ( decodeExchangeAddress
+  , decodeTransparentAddress
   , encodeTransparentReceiver
   )
 import ZcashHaskell.Types
 import ZcashHaskell.Utils (getBlockTime, makeZebraCall)
 import Zenith.Core
 import Zenith.DB
-import Zenith.Scanner (processTx, updateConfs)
+import Zenith.Scanner (processTx)
 import Zenith.Types
   ( Config(..)
   , PhraseDB(..)
   , UnifiedAddressDB(..)
   , ZcashNetDB(..)
   )
-import Zenith.Utils
+import Zenith.Utils (displayTaz, displayZec, jsonNumber, showAddress)
-  ( displayTaz
-  , displayZec
-  , isRecipientValid
-  , jsonNumber
-  , parseAddress
-  , showAddress
-  , validBarValue
-  )
 
 data Name
   = WList
@@ -122,10 +108,6 @@ data Name
   | RecField
   | AmtField
   | MemoField
-  | ABViewport
-  | ABList
-  | DescripField
-  | AddressField
   deriving (Eq, Show, Ord)
 
 data DialogInput = DialogInput
@@ -142,13 +124,6 @@ data SendInput = SendInput
 
 makeLenses ''SendInput
 
-data AdrBookEntry = AdrBookEntry
-  { _descrip :: !T.Text
-  , _address :: !T.Text
-  } deriving (Show)
-
-makeLenses ''AdrBookEntry
-
 data DialogType
   = WName
   | AName
@@ -157,26 +132,19 @@ data DialogType
   | ASelect
   | SendTx
   | Blank
-  | AdrBook
-  | AdrBookForm
-  | AdrBookUpdForm
-  | AdrBookDelForm
 
 data DisplayType
   = AddrDisplay
   | MsgDisplay
   | PhraseDisplay
   | TxDisplay
-  | TxIdDisplay
   | SyncDisplay
   | SendDisplay
-  | AdrBookEntryDisplay
   | BlankDisplay
 
 data Tick
   = TickVal !Float
   | TickMsg !String
-  | TickTx !HexString
 
 data State = State
   { _network :: !ZcashNet
@@ -201,11 +169,6 @@ data State = State
   , _eventDispatch :: !(BC.BChan Tick)
   , _timer :: !Int
   , _txForm :: !(Form SendInput () Name)
-  , _abAddresses :: !(L.List Name (Entity AddressBook))
-  , _abForm :: !(Form AdrBookEntry () Name)
-  , _abCurAdrs :: !T.Text -- used for address book CRUD operations
-  , _sentTx :: !(Maybe HexString)
-  , _unconfBalance :: !Integer
   }
 
 makeLenses ''State
@@ -222,12 +185,11 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
            ("Zenith - " <>
             show (st ^. network) <>
             " - " <>
-            (T.unpack
+            T.unpack
               (maybe
                  "(None)"
                  (\(_, w) -> zcashWalletName $ entityVal w)
-                  (L.listSelectedElement (st ^. wallets)))) ++
+                 (L.listSelectedElement (st ^. wallets)))))
-            " "))
         (C.hCenter
            (str
               ("Account: " ++
@@ -242,26 +204,16 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
                if st ^. network == MainNet
                  then displayZec (st ^. balance)
                  else displayTaz (st ^. balance))) <=>
-         C.hCenter
-           (str
-              ("Unconf: " ++
-               if st ^. network == MainNet
-                 then displayZec (st ^. unconfBalance)
-                 else displayTaz (st ^. unconfBalance))) <=>
          listAddressBox "Addresses" (st ^. addresses) <+>
          B.vBorder <+>
-         (C.hCenter
+         (C.hCenter (str ("Last block seen: " ++ show (st ^. syncBlock))) <=>
-            (str ("Last block seen: " ++ show (st ^. syncBlock) ++ "\n")) <=>
           listTxBox "Transactions" (st ^. network) (st ^. transactions))) <=>
       C.hCenter
         (hBox
            [ capCommand "W" "allets"
            , capCommand "A" "ccounts"
            , capCommand "V" "iew address"
-           , capCommand "S" "end Tx"
-           , capCommand2 "Address " "B" "ook"
            , capCommand "Q" "uit"
-           , capCommand "?" " Help"
            , str $ show (st ^. timer)
            ])
     listBox :: Show e => String -> L.List Name e -> Widget Name
@@ -300,7 +252,7 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
             (hBox
                [ capCommand "↑↓ " "move"
                , capCommand "↲ " "select"
-               , capCommand3 "" "Tab" " ->"
+               , capCommand "Tab " "->"
                ])
         ]
     listTxBox ::
@@ -316,7 +268,7 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
             (hBox
                [ capCommand "↑↓ " "move"
                , capCommand "T" "x Display"
-               , capCommand3 "" "Tab" " <-"
+               , capCommand "Tab " "<-"
                ])
         ]
     helpDialog :: State -> Widget Name
@@ -328,8 +280,7 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
                 vBox ([str "Actions", B.hBorder] <> actionList))
         else emptyWidget
       where
-        keyList =
+        keyList = map (C.hCenter . str) ["?", "Esc", "w", "a", "v", "q"]
-          map (C.hCenter . str) ["?", "Esc", "w", "a", "v", "s", "b", "q"]
         actionList =
           map
             (hLimit 40 . str)
@@ -338,8 +289,6 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
             , "Switch wallets"
             , "Switch accounts"
             , "View address"
-            , "Send Tx"
-            , "Address Book"
             , "Quit"
             ]
     inputDialog :: State -> Widget Name
@@ -387,58 +336,6 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
              C.hCenter
                (hBox [capCommand "↲ " "Send", capCommand "<esc> " "Cancel"]))
         Blank -> emptyWidget
-        -- Address Book List
-        AdrBook ->
-          D.renderDialog
-            (D.dialog (Just $ str " Address Book ") Nothing 60)
-            (withAttr abDefAttr $
-             setAvailableSize (50, 20) $
-             viewport ABViewport BT.Vertical $
-             vLimit 20 $
-             hLimit 50 $
-             vBox
-               [ vLimit 16 $
-                 hLimit 50 $
-                 vBox $ [L.renderList listDrawAB True (s ^. abAddresses)]
-               , padTop Max $
-                 vLimit 4 $
-                 hLimit 50 $
-                 withAttr abMBarAttr $
-                 vBox $
-                 [ C.hCenter $
-                   (capCommand "N" "ew Address" <+>
-                    capCommand "E" "dit Address" <+>
-                    capCommand3 "" "C" "opy Address")
-                 , C.hCenter $
-                   (capCommand "D" "elete Address" <+>
-                    capCommand "S" "end Zcash" <+> capCommand3 "E" "x" "it")
-                 ]
-               ])
-        -- Address Book new entry form
-        AdrBookForm ->
-          D.renderDialog
-            (D.dialog (Just $ str " New Address Book Entry ") Nothing 50)
-            (renderForm (st ^. abForm) <=>
-             C.hCenter
-               (hBox [capCommand "↲" " Save", capCommand3 "" "<Esc>" " Cancel"]))
-        -- Address Book edit/update entry form
-        AdrBookUpdForm ->
-          D.renderDialog
-            (D.dialog (Just $ str " Edit Address Book Entry ") Nothing 50)
-            (renderForm (st ^. abForm) <=>
-             C.hCenter
-               (hBox [capCommand "↲" " Save", capCommand3 "" "<Esc>" " Cancel"]))
-        -- Address Book edit/update entry form
-        AdrBookDelForm ->
-          D.renderDialog
-            (D.dialog (Just $ str " Delete Address Book Entry ") Nothing 50)
-            (renderForm (st ^. abForm) <=>
-             C.hCenter
-               (hBox
-                  [ capCommand "C" "onfirm delete"
-                  , capCommand3 "" "<Esc>" " Cancel"
-                  ]))
-        -- 
     splashDialog :: State -> Widget Name
     splashDialog st =
       if st ^. splashBox
@@ -450,14 +347,9 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
                   (str
                      " _____          _ _   _     \n|__  /___ _ __ (_) |_| |__\n  / // _ \\ '_ \\| | __| '_ \\\n / /|  __/ | | | | |_| | | |\n/____\\___|_| |_|_|\\__|_| |_|") <=>
                 C.hCenter
-                  (withAttr titleAttr (str "Zcash Wallet v0.6.0.0-beta")) <=>
+                  (withAttr titleAttr (str "Zcash Wallet v0.5.1.0-beta")) <=>
                 C.hCenter (withAttr blinkAttr $ str "Press any key..."))
         else emptyWidget
-    capCommand3 :: String -> String -> String -> Widget Name
-    capCommand3 l h e = hBox [str l, withAttr titleAttr (str h), str e]
-    capCommand2 :: String -> String -> String -> Widget Name
-    capCommand2 l h e =
-      hBox [str l, withAttr titleAttr (str h), str e, str " | "]
     capCommand :: String -> String -> Widget Name
     capCommand k comm = hBox [withAttr titleAttr (str k), str comm, str " | "]
     xCommand :: Widget Name
@@ -519,16 +411,6 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
           D.renderDialog
             (D.dialog (Just $ txt "Message") Nothing 50)
             (padAll 1 $ strWrap $ st ^. msg)
-        TxIdDisplay ->
-          withBorderStyle unicodeBold $
-          D.renderDialog
-            (D.dialog (Just $ txt " Success ") Nothing 50)
-            (padAll 1 $
-             (txt "Tx ID: " <+>
-              txtWrapWith
-                (WrapSettings False True NoFill FillAfterFirst)
-                (maybe "None" toText (st ^. sentTx))) <=>
-             C.hCenter (hBox [capCommand "C" "opy", xCommand]))
         TxDisplay ->
           case L.listSelectedElement $ st ^. transactions of
             Nothing -> emptyWidget
@@ -570,33 +452,13 @@ drawUI s = [splashDialog s, helpDialog s, displayDialog s, inputDialog s, ui s]
                      , (barToDoAttr, P.progressIncompleteAttr)
                      ])
                   (P.progressBar
-                     (Just $ printf "%.2f%%" (st ^. barValue * 100))
+                     (Just $ show (st ^. barValue * 100))
                      (_barValue st))))
         SendDisplay ->
           withBorderStyle unicodeBold $
           D.renderDialog
             (D.dialog (Just $ txt "Sending Transaction") Nothing 50)
-            (padAll
+            (padAll 1 (str $ st ^. msg))
-               1
-               (strWrapWith
-                  (WrapSettings False True NoFill FillAfterFirst)
-                  (st ^. msg)))
-        AdrBookEntryDisplay -> do
-          case L.listSelectedElement $ st ^. abAddresses of
-            Just (_, a) -> do
-              let abentry =
-                    T.pack $
-                    " Descr: " ++
-                    T.unpack (addressBookAbdescrip (entityVal a)) ++
-                    "\n Address: " ++
-                    T.unpack (addressBookAbaddress (entityVal a))
-              withBorderStyle unicodeBold $
-                D.renderDialog
-                  (D.dialog (Just $ txt " Address Book Entry ") Nothing 60)
-                  (padAll 1 $
-                   txtWrapWith (WrapSettings False True NoFill FillAfterFirst) $
-                   abentry)
-            _ -> emptyWidget
         BlankDisplay -> emptyWidget
 
 mkInputForm :: DialogInput -> Form DialogInput e Name
@@ -617,19 +479,22 @@ mkSendForm bal =
     ]
   where
     isAmountValid :: Integer -> Float -> Bool
-    isAmountValid b i = (fromIntegral b / 100000000.0) >= i
+    isAmountValid b i = (fromIntegral b * 100000000.0) >= i
     label s w =
       padBottom (Pad 1) $ vLimit 1 (hLimit 15 $ str s <+> fill ' ') <+> w
 
-mkNewABForm :: AdrBookEntry -> Form AdrBookEntry e Name
+isRecipientValid :: T.Text -> Bool
-mkNewABForm =
+isRecipientValid a =
-  newForm
+  case isValidUnifiedAddress (E.encodeUtf8 a) of
-    [ label "Descrip: " @@= editTextField descrip DescripField (Just 1)
+    Just _a1 -> True
-    , label "Address: " @@= editTextField address AddressField (Just 1)
+    Nothing ->
-    ]
+      isValidShieldedAddress (E.encodeUtf8 a) ||
-  where
+      (case decodeTransparentAddress (E.encodeUtf8 a) of
-    label s w =
+         Just _a3 -> True
-      padBottom (Pad 1) $ vLimit 1 (hLimit 10 $ str s <+> fill ' ') <+> w
+         Nothing ->
+           case decodeExchangeAddress a of
+             Just _a4 -> True
+             Nothing -> False)
 
 listDrawElement :: (Show a) => Bool -> a -> Widget Name
 listDrawElement sel a =
@@ -687,14 +552,6 @@ listDrawTx znet sel tx =
         then withAttr customAttr (txt $ "> " <> s)
         else txt $ "  " <> s
 
-listDrawAB :: Bool -> Entity AddressBook -> Widget Name
-listDrawAB sel ab =
-  let selStr s =
-        if sel
-          then withAttr abSelAttr (txt $ " " <> s)
-          else txt $ " " <> s
-   in selStr $ addressBookAbdescrip (entityVal ab)
-
 customAttr :: A.AttrName
 customAttr = L.listSelectedAttr <> A.attrName "custom"
 
@@ -713,14 +570,8 @@ barDoneAttr = A.attrName "done"
 barToDoAttr :: A.AttrName
 barToDoAttr = A.attrName "remaining"
 
-abDefAttr :: A.AttrName
+validBarValue :: Float -> Float
-abDefAttr = A.attrName "abdefault"
+validBarValue = clamp 0 1
-
-abSelAttr :: A.AttrName
-abSelAttr = A.attrName "abselected"
-
-abMBarAttr :: A.AttrName
-abMBarAttr = A.attrName "menubar"
 
 scanZebra :: T.Text -> T.Text -> Int -> Int -> BC.BChan Tick -> IO ()
 scanZebra dbP zHost zPort b eChan = do
@@ -728,26 +579,14 @@ scanZebra dbP zHost zPort b eChan = do
   bStatus <- liftIO $ checkBlockChain zHost zPort
   pool <- runNoLoggingT $ initPool dbP
   dbBlock <- runNoLoggingT $ getMaxBlock pool
-  confUp <- try $ updateConfs zHost zPort pool :: IO (Either IOError ())
-  case confUp of
-    Left _e0 ->
-      liftIO $
-      BC.writeBChan eChan $ TickMsg "Failed to update unconfirmed transactions"
-    Right _ -> do
   let sb = max dbBlock b
   if sb > zgb_blocks bStatus || sb < 1
     then do
-          liftIO $
+      liftIO $ BC.writeBChan eChan $ TickMsg "Invalid starting block for scan"
-            BC.writeBChan eChan $ TickMsg "Invalid starting block for scan"
     else do
       let bList = [(sb + 1) .. (zgb_blocks bStatus)]
-          if not (null bList)
+      let step = (1.0 :: Float) / fromIntegral (zgb_blocks bStatus - (sb + 1))
-            then do
-              let step =
-                    (1.0 :: Float) /
-                    fromIntegral (zgb_blocks bStatus - (sb + 1))
       mapM_ (processBlock pool step) bList
-            else liftIO $ BC.writeBChan eChan $ TickVal 1.0
   where
     processBlock :: ConnectionPool -> Float -> Int -> IO ()
     processBlock pool step bl = do
@@ -759,7 +598,8 @@ scanZebra dbP zHost zPort b eChan = do
           "getblock"
           [Data.Aeson.String $ T.pack $ show bl, jsonNumber 1]
       case r of
-        Left e1 -> liftIO $ BC.writeBChan eChan $ TickMsg e1
+        Left e1 -> do
+          liftIO $ BC.writeBChan eChan $ TickMsg e1
         Right blk -> do
           r2 <-
             liftIO $
@@ -769,7 +609,8 @@ scanZebra dbP zHost zPort b eChan = do
               "getblock"
               [Data.Aeson.String $ T.pack $ show bl, jsonNumber 0]
           case r2 of
-            Left e2 -> liftIO $ BC.writeBChan eChan $ TickMsg e2
+            Left e2 -> do
+              liftIO $ BC.writeBChan eChan $ TickMsg e2
             Right hb -> do
               let blockTime = getBlockTime hb
               mapM_ (runNoLoggingT . processTx zHost zPort blockTime pool) $
@@ -794,23 +635,17 @@ appEvent (BT.AppEvent t) = do
         MsgDisplay -> return ()
         PhraseDisplay -> return ()
         TxDisplay -> return ()
-        TxIdDisplay -> return ()
         SyncDisplay -> return ()
-        SendDisplay -> BT.modify $ set msg m
+        SendDisplay -> do
-        AdrBookEntryDisplay -> return ()
+          BT.modify $ set msg m
         BlankDisplay -> return ()
-    TickTx txid -> do
-      BT.modify $ set sentTx (Just txid)
-      BT.modify $ set displayBox TxIdDisplay
     TickVal v -> do
       case s ^. displayBox of
         AddrDisplay -> return ()
         MsgDisplay -> return ()
         PhraseDisplay -> return ()
         TxDisplay -> return ()
-        TxIdDisplay -> return ()
         SendDisplay -> return ()
-        AdrBookEntryDisplay -> return ()
         SyncDisplay -> do
           if s ^. barValue == 1.0
             then do
@@ -843,10 +678,6 @@ appEvent (BT.AppEvent t) = do
             WSelect -> return ()
             ASelect -> return ()
             SendTx -> return ()
-            AdrBook -> return ()
-            AdrBookForm -> return ()
-            AdrBookUpdForm -> return ()
-            AdrBookDelForm -> return ()
             Blank -> do
               if s ^. timer == 90
                 then do
@@ -864,7 +695,8 @@ appEvent (BT.AppEvent t) = do
                       (s ^. eventDispatch)
                   BT.modify $ set timer 0
                   return ()
-                else BT.modify $ set timer $ 1 + s ^. timer
+                else do
+                  BT.modify $ set timer $ 1 + s ^. timer
 appEvent (BT.VtyEvent e) = do
   r <- F.focusGetCurrent <$> use focusRing
   s <- BT.get
@@ -873,7 +705,8 @@ appEvent (BT.VtyEvent e) = do
     else if s ^. helpBox
            then do
              case e of
-               V.EvKey V.KEsc [] -> BT.modify $ set helpBox False
+               V.EvKey V.KEsc [] -> do
+                 BT.modify $ set helpBox False
                _ev -> return ()
            else do
              case s ^. displayBox of
@@ -932,19 +765,8 @@ appEvent (BT.VtyEvent e) = do
                MsgDisplay -> BT.modify $ set displayBox BlankDisplay
                PhraseDisplay -> BT.modify $ set displayBox BlankDisplay
                TxDisplay -> BT.modify $ set displayBox BlankDisplay
-               TxIdDisplay -> do
-                 case e of
-                   V.EvKey (V.KChar 'x') [] ->
-                     BT.modify $ set displayBox BlankDisplay
-                   V.EvKey (V.KChar 'c') [] -> do
-                     liftIO $
-                       setClipboard $
-                       T.unpack $ maybe "None" toText (s ^. sentTx)
-                     BT.modify $ set msg "Copied transaction ID!"
-                   _ev -> return ()
                SendDisplay -> BT.modify $ set displayBox BlankDisplay
                SyncDisplay -> BT.modify $ set displayBox BlankDisplay
-               AdrBookEntryDisplay -> BT.modify $ set displayBox BlankDisplay
                BlankDisplay -> do
                  case s ^. dialogBox of
                    WName -> do
@@ -1085,7 +907,7 @@ appEvent (BT.VtyEvent e) = do
                              BT.modify $ set msg "Invalid inputs"
                              BT.modify $ set displayBox MsgDisplay
                              BT.modify $ set dialogBox Blank
-                       ev ->
+                       ev -> do
                          BT.zoom txForm $ do
                            handleFormEvent (BT.VtyEvent ev)
                            fs <- BT.gets formState
@@ -1093,189 +915,6 @@ appEvent (BT.VtyEvent e) = do
                              setFieldValid
                                (isRecipientValid (fs ^. sendTo))
                                RecField
-                   AdrBook -> do
-                     case e of
-                       V.EvKey (V.KChar 'x') [] ->
-                         BT.modify $ set dialogBox Blank
-                       V.EvKey (V.KChar 'c') []
-                         -- Copy Address to Clipboard
-                        -> do
-                         case L.listSelectedElement $ s ^. abAddresses of
-                           Just (_, a) -> do
-                             liftIO $
-                               setClipboard $
-                               T.unpack $ addressBookAbaddress (entityVal a)
-                             BT.modify $
-                               set msg $
-                               "Address copied to Clipboard from >>\n" ++
-                               T.unpack (addressBookAbdescrip (entityVal a))
-                             BT.modify $ set displayBox MsgDisplay
-                           _ -> do
-                             BT.modify $
-                               set msg "Error while copying the address!!"
-                             BT.modify $ set displayBox MsgDisplay
-                       -- Send Zcash transaction              
-                       V.EvKey (V.KChar 's') [] -> do
-                         case L.listSelectedElement $ s ^. abAddresses of
-                           Just (_, a) -> do
-                             BT.modify $
-                               set txForm $
-                               mkSendForm
-                                 (s ^. balance)
-                                 (SendInput
-                                    (addressBookAbaddress (entityVal a))
-                                    0.0
-                                    "")
-                             BT.modify $ set dialogBox SendTx
-                           _ -> do
-                             BT.modify $
-                               set msg "No receiver address available!!"
-                             BT.modify $ set displayBox MsgDisplay
-                       -- Edit an entry in Address Book              
-                       V.EvKey (V.KChar 'e') [] -> do
-                         case L.listSelectedElement $ s ^. abAddresses of
-                           Just (_, a) -> do
-                             BT.modify $
-                               set
-                                 abCurAdrs
-                                 (addressBookAbaddress (entityVal a))
-                             BT.modify $
-                               set abForm $
-                               mkNewABForm
-                                 (AdrBookEntry
-                                    (addressBookAbdescrip (entityVal a))
-                                    (addressBookAbaddress (entityVal a)))
-                             BT.modify $ set dialogBox AdrBookUpdForm
-                           _ -> do
-                             BT.modify $ set dialogBox Blank
-                       -- Delete an entry from Address Book              
-                       V.EvKey (V.KChar 'd') [] -> do
-                         case L.listSelectedElement $ s ^. abAddresses of
-                           Just (_, a) -> do
-                             BT.modify $
-                               set
-                                 abCurAdrs
-                                 (addressBookAbaddress (entityVal a))
-                             BT.modify $
-                               set abForm $
-                               mkNewABForm
-                                 (AdrBookEntry
-                                    (addressBookAbdescrip (entityVal a))
-                                    (addressBookAbaddress (entityVal a)))
-                             BT.modify $ set dialogBox AdrBookDelForm
-                           _ -> do
-                             BT.modify $ set dialogBox Blank
-                       -- Create a new entry in Address Book              
-                       V.EvKey (V.KChar 'n') [] -> do
-                         BT.modify $
-                           set abForm $ mkNewABForm (AdrBookEntry "" "")
-                         BT.modify $ set dialogBox AdrBookForm
-                       -- Show AddressBook entry data  
-                       V.EvKey V.KEnter [] -> do
-                         BT.modify $ set displayBox AdrBookEntryDisplay
-                       -- Process any other event       
-                       ev -> BT.zoom abAddresses $ L.handleListEvent ev
-                   -- Process new address book entry
-                   AdrBookForm -> do
-                     case e of
-                       V.EvKey V.KEsc [] -> BT.modify $ set dialogBox AdrBook
-                       V.EvKey V.KEnter [] -> do
-                         pool <- liftIO $ runNoLoggingT $ initPool $ s ^. dbPath
-                         fs <- BT.zoom abForm $ BT.gets formState
-                         let idescr = T.unpack $ T.strip (fs ^. descrip)
-                         let iabadr = fs ^. address
-                         if not (null idescr) && isRecipientValid iabadr
-                           then do
-                             res <-
-                               liftIO $
-                               saveAdrsInAdrBook pool $
-                               AddressBook
-                                 (ZcashNetDB (s ^. network))
-                                 (fs ^. descrip)
-                                 (fs ^. address)
-                             case res of
-                               Nothing -> do
-                                 BT.modify $
-                                   set
-                                     msg
-                                     ("AddressBook Entry already exists: " ++
-                                      T.unpack (fs ^. address))
-                                 BT.modify $ set displayBox MsgDisplay
-                               Just _ -> do
-                                 BT.modify $
-                                   set
-                                     msg
-                                     ("New AddressBook entry created!!\n" ++
-                                      T.unpack (fs ^. address))
-                                 BT.modify $ set displayBox MsgDisplay
-                                -- case end    
-                             s' <- liftIO $ refreshAddressBook s
-                             BT.put s'
-                             BT.modify $ set dialogBox AdrBook
-                           else do
-                             BT.modify $ set msg "Invalid or missing data!!: "
-                             BT.modify $ set displayBox MsgDisplay
-                             BT.modify $ set dialogBox AdrBookForm
-                       ev ->
-                         BT.zoom abForm $ do
-                           handleFormEvent (BT.VtyEvent ev)
-                           fs <- BT.gets formState
-                           BT.modify $
-                             setFieldValid
-                               (isRecipientValid (fs ^. address))
-                               AddressField
-                   AdrBookUpdForm -> do
-                     case e of
-                       V.EvKey V.KEsc [] -> BT.modify $ set dialogBox AdrBook
-                       V.EvKey V.KEnter [] -> do
-                         pool <- liftIO $ runNoLoggingT $ initPool $ s ^. dbPath
-                         fs <- BT.zoom abForm $ BT.gets formState
-                         let idescr = T.unpack $ T.strip (fs ^. descrip)
-                         let iabadr = fs ^. address
-                         if not (null idescr) && isRecipientValid iabadr
-                           then do
-                             res <-
-                               liftIO $
-                               updateAdrsInAdrBook
-                                 pool
-                                 (fs ^. descrip)
-                                 (fs ^. address)
-                                 (s ^. abCurAdrs)
-                             BT.modify $
-                               set
-                                 msg
-                                 ("AddressBook entry modified!!\n" ++
-                                  T.unpack (fs ^. address))
-                             BT.modify $ set displayBox MsgDisplay
-                                -- case end    
-                             s' <- liftIO $ refreshAddressBook s
-                             BT.put s'
-                             BT.modify $ set dialogBox AdrBook
-                           else do
-                             BT.modify $ set msg "Invalid or missing data!!: "
-                             BT.modify $ set displayBox MsgDisplay
-                             BT.modify $ set dialogBox AdrBookForm
-                       ev ->
-                         BT.zoom abForm $ do
-                           handleFormEvent (BT.VtyEvent ev)
-                           fs <- BT.gets formState
-                           BT.modify $
-                             setFieldValid
-                               (isRecipientValid (fs ^. address))
-                               AddressField
-                   -- Process delete AddresBook entry
-                   AdrBookDelForm -> do
-                     case e of
-                       V.EvKey V.KEsc [] -> BT.modify $ set dialogBox AdrBook
-                       V.EvKey (V.KChar 'c') [] -> do
-                         pool <- liftIO $ runNoLoggingT $ initPool $ s ^. dbPath
-                         fs <- BT.zoom abForm $ BT.gets formState
-                         res <- liftIO $ deleteAdrsFromAB pool (fs ^. address)
-                         s' <- liftIO $ refreshAddressBook s
-                         BT.put s'
-                         BT.modify $ set dialogBox AdrBook
-                       ev -> BT.modify $ set dialogBox AdrBookDelForm
-                   -- Process any other event    
                    Blank -> do
                      case e of
                        V.EvKey (V.KChar '\t') [] -> focusRing %= F.focusNext
@@ -1299,16 +938,12 @@ appEvent (BT.VtyEvent e) = do
                            set txForm $
                            mkSendForm (s ^. balance) (SendInput "" 0.0 "")
                          BT.modify $ set dialogBox SendTx
-                       V.EvKey (V.KChar 'b') [] ->
-                         BT.modify $ set dialogBox AdrBook
                        ev ->
                          case r of
                            Just AList ->
                              BT.zoom addresses $ L.handleListEvent ev
                            Just TList ->
                              BT.zoom transactions $ L.handleListEvent ev
-                           Just ABList ->
-                             BT.zoom abAddresses $ L.handleListEvent ev
                            _anyName -> return ()
   where
     printMsg :: String -> BT.EventM Name State ()
@@ -1328,14 +963,11 @@ theMap =
     , (blinkAttr, style V.blink)
     , (focusedFormInputAttr, V.white `on` V.blue)
     , (invalidFormInputAttr, V.red `on` V.black)
-    , (E.editAttr, V.white `on` V.black)
+    , (E.editAttr, V.white `on` V.blue)
-    , (E.editFocusedAttr, V.black `on` V.white)
+    , (E.editFocusedAttr, V.blue `on` V.white)
     , (baseAttr, bg V.brightBlack)
     , (barDoneAttr, V.white `on` V.blue)
     , (barToDoAttr, V.white `on` V.black)
-    , (abDefAttr, V.white `on` V.blue)
-    , (abSelAttr, V.black `on` V.white)
-    , (abMBarAttr, V.white `on` V.black)
     ]
 
 theApp :: M.App State Tick Name
@@ -1348,8 +980,8 @@ theApp =
     , M.appAttrMap = const theMap
     }
 
-runZenithTUI :: Config -> IO ()
+runZenithCLI :: Config -> IO ()
-runZenithTUI config = do
+runZenithCLI config = do
   let host = c_zebraHost config
   let port = c_zebraPort config
   let dbFilePath = c_dbPath config
@@ -1381,15 +1013,10 @@ runZenithTUI config = do
                 if not (null walList)
                   then zcashWalletLastSync $ entityVal $ head walList
                   else 0
-          abookList <- getAdrBook pool $ zgb_net chainInfo
           bal <-
             if not (null accList)
               then getBalance pool $ entityKey $ head accList
               else return 0
-          uBal <-
-            if not (null accList)
-              then getUnconfirmedBalance pool $ entityKey $ head accList
-              else return 0
           eventChan <- BC.newBChan 10
           _ <-
             forkIO $
@@ -1426,11 +1053,6 @@ runZenithTUI config = do
               eventChan
               0
               (mkSendForm 0 $ SendInput "" 0.0 "")
-              (L.list ABList (Vec.fromList abookList) 1)
-              (mkNewABForm (AdrBookEntry "" ""))
-              ""
-              Nothing
-              uBal
     Left e -> do
       print $
         "No Zebra node available on port " <>
@@ -1459,10 +1081,6 @@ refreshWallet s = do
     if not (null aL)
       then getBalance pool $ entityKey $ head aL
       else return 0
-  uBal <-
-    if not (null aL)
-      then getUnconfirmedBalance pool $ entityKey $ head aL
-      else return 0
   txL <-
     if not (null addrL)
       then getUserTx pool $ entityKey $ head addrL
@@ -1473,8 +1091,6 @@ refreshWallet s = do
   let txL' = L.listReplace (Vec.fromList txL) (Just 0) (s ^. transactions)
   return $
     s & wallets .~ wL & accounts .~ aL' & syncBlock .~ bl & balance .~ bal &
-    unconfBalance .~
-    uBal &
     addresses .~
     addrL' &
     transactions .~
@@ -1491,13 +1107,14 @@ addNewWallet n s = do
   let netName = s ^. network
   r <- saveWallet pool $ ZcashWallet n (ZcashNetDB netName) (PhraseDB sP) bH 0
   case r of
-    Nothing -> return $ s & msg .~ ("Wallet already exists: " ++ T.unpack n)
+    Nothing -> do
+      return $ s & msg .~ ("Wallet already exists: " ++ T.unpack n)
     Just _ -> do
       wL <- getWallets pool 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
+      return $ (s & wallets .~ aL) & msg .~ "Created new wallet: " ++ T.unpack n
 
 addNewAccount :: T.Text -> State -> IO State
 addNewAccount n s = do
@@ -1516,18 +1133,19 @@ addNewAccount n s = do
     try $ createZcashAccount n (aL' + 1) selWallet :: IO
       (Either IOError ZcashAccount)
   case zA of
-    Left e -> return $ s & msg .~ "Error: " ++ show e
+    Left e -> return $ s & msg .~ ("Error: " ++ show e)
     Right zA' -> do
       r <- saveAccount pool zA'
       case r of
-        Nothing -> return $ s & msg .~ "Account already exists: " ++ T.unpack n
+        Nothing ->
+          return $ s & msg .~ ("Account already exists: " ++ T.unpack n)
         Just x -> do
           aL <- runNoLoggingT $ getAccounts pool (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
+            (s & accounts .~ nL) & msg .~ "Created new account: " ++ T.unpack n
 
 refreshAccount :: State -> IO State
 refreshAccount s = do
@@ -1543,7 +1161,6 @@ refreshAccount s = do
          Just (_k, w) -> return w
   aL <- runNoLoggingT $ getAddresses pool $ entityKey selAccount
   bal <- getBalance pool $ entityKey selAccount
-  uBal <- getUnconfirmedBalance pool $ entityKey selAccount
   let aL' = L.listReplace (Vec.fromList aL) (Just 0) (s ^. addresses)
   selAddress <-
     do case L.listSelectedElement aL' of
@@ -1554,17 +1171,13 @@ refreshAccount s = do
   case selAddress of
     Nothing ->
       return $
-      s & balance .~ bal & unconfBalance .~ uBal & addresses .~ aL' & msg .~
+      s & balance .~ bal & addresses .~ aL' & msg .~ "Switched to account: " ++
-      "Switched to account: " ++
       T.unpack (zcashAccountName $ entityVal selAccount)
     Just (_i, a) -> do
       tList <- getUserTx pool $ entityKey a
       let tL' = L.listReplace (Vec.fromList tList) (Just 0) (s ^. transactions)
       return $
-        s & balance .~ bal & unconfBalance .~ uBal & addresses .~ aL' &
+        s & balance .~ bal & addresses .~ aL' & transactions .~ tL' & msg .~
-        transactions .~
-        tL' &
-        msg .~
         "Switched to account: " ++
         T.unpack (zcashAccountName $ entityVal selAccount)
 
@@ -1585,21 +1198,6 @@ refreshTxs s = do
       let tL' = L.listReplace (Vec.fromList tList) (Just 0) (s ^. transactions)
       return $ s & transactions .~ tL'
 
-refreshAddressBook :: State -> IO State
-refreshAddressBook s = do
-  pool <- runNoLoggingT $ initPool $ s ^. dbPath
-  selAddress <-
-    do case L.listSelectedElement $ s ^. abAddresses of
-         Nothing -> do
-           let fAdd =
-                 L.listSelectedElement $
-                 L.listMoveToBeginning $ s ^. abAddresses
-           return fAdd
-         Just a2 -> return $ Just a2
-  abookList <- getAdrBook pool (s ^. network)
-  let tL' = L.listReplace (Vec.fromList abookList) (Just 0) (s ^. abAddresses)
-  return $ s & abAddresses .~ tL'
-
 addNewAddress :: T.Text -> Scope -> State -> IO State
 addNewAddress n scope s = do
   pool <- runNoLoggingT $ initPool $ s ^. dbPath
@@ -1617,18 +1215,19 @@ addNewAddress n scope s = do
     try $ createWalletAddress n (maxAddr + 1) (s ^. network) scope selAccount :: IO
       (Either IOError WalletAddress)
   case uA of
-    Left e -> return $ s & msg .~ "Error: " ++ show e
+    Left e -> return $ s & msg .~ ("Error: " ++ show e)
     Right uA' -> do
       nAddr <- saveAddress pool uA'
       case nAddr of
-        Nothing -> return $ s & msg .~ "Address already exists: " ++ T.unpack n
+        Nothing ->
+          return $ s & msg .~ ("Address already exists: " ++ T.unpack n)
         Just x -> do
           addrL <- runNoLoggingT $ getAddresses pool (entityKey selAccount)
           let nL =
                 L.listMoveToElement x $
                 L.listReplace (Vec.fromList addrL) (Just 0) (s ^. addresses)
           return $
-            s & addresses .~ nL & msg .~ "Created new address: " ++
+            (s & addresses .~ nL) & msg .~ "Created new address: " ++
             T.unpack n ++
             "(" ++
             T.unpack (showAddress $ walletAddressUAddress $ entityVal x) ++ ")"
@@ -1647,9 +1246,7 @@ sendTransaction ::
   -> IO ()
 sendTransaction pool chan zHost zPort znet accId bl amt ua memo = do
   BC.writeBChan chan $ TickMsg "Preparing transaction..."
-  case parseAddress ua znet of
+  outUA <- parseAddress ua
-    Nothing -> BC.writeBChan chan $ TickMsg "Incorrect address"
-    Just outUA -> do
   res <-
     runFileLoggingT "zenith.log" $
     prepareTx pool zHost zPort znet accId bl amt outUA memo
@@ -1665,4 +1262,20 @@ sendTransaction pool chan zHost zPort znet accId bl amt ua memo = do
           [Data.Aeson.String $ toText rawTx]
       case resp of
         Left e1 -> BC.writeBChan chan $ TickMsg $ "Zebra error: " ++ show e1
-            Right txId -> BC.writeBChan chan $ TickTx txId
+        Right txId -> BC.writeBChan chan $ TickMsg $ "Tx ID: " ++ txId
+  where
+    parseAddress :: T.Text -> IO UnifiedAddress
+    parseAddress a =
+      case isValidUnifiedAddress (E.encodeUtf8 a) of
+        Just a1 -> return a1
+        Nothing ->
+          case decodeSaplingAddress (E.encodeUtf8 a) of
+            Just a2 ->
+              return $
+              UnifiedAddress znet Nothing (Just $ sa_receiver a2) Nothing
+            Nothing ->
+              case decodeTransparentAddress (E.encodeUtf8 a) of
+                Just a3 ->
+                  return $
+                  UnifiedAddress znet Nothing Nothing (Just $ ta_receiver a3)
+                Nothing -> throwIO $ userError "Incorrect address"

src/Zenith/Core.hs

@@ -24,7 +24,7 @@ import Data.Binary.Get hiding (getBytes)
 import qualified Data.ByteString as BS
 import qualified Data.ByteString.Lazy as LBS
 import Data.Digest.Pure.MD5
-import Data.HexString (HexString, hexString, toBytes, toText)
+import Data.HexString (HexString, hexString, toBytes)
 import Data.List
 import Data.Maybe (fromJust)
 import Data.Pool (Pool)
@@ -574,7 +574,6 @@ prepareTx pool zebraHost zebraPort zn za bh amt ua memo = do
                   zn
                   (bh + 3)
                   True
-          logDebugN $ T.pack $ show tx
           return tx
   where
     makeOutgoing ::

src/Zenith/DB.hs

@@ -32,6 +32,7 @@ import qualified Data.Text as T
 import qualified Data.Text.Encoding as TE
 import Data.Word
 import Database.Esqueleto.Experimental
+import qualified Database.Persist as P
 import qualified Database.Persist.Sqlite as PS
 import Database.Persist.TH
 import Haskoin.Transaction.Common
@@ -42,6 +43,7 @@ import Haskoin.Transaction.Common
   )
 import qualified Lens.Micro as ML ((&), (.~), (^.))
 import ZcashHaskell.Orchard (isValidUnifiedAddress)
+import ZcashHaskell.Sapling (decodeSaplingOutputEsk)
 import ZcashHaskell.Types
   ( DecodedNote(..)
   , OrchardAction(..)
@@ -75,7 +77,6 @@ import Zenith.Types
   , TransparentSpendingKeyDB
   , UnifiedAddressDB(..)
   , ZcashNetDB(..)
-  , ZcashPool(..)
   )
 
 share
@@ -245,21 +246,6 @@ share
     position Int
     UniqueSSPos tx position
     deriving Show Eq
-  QrCode
-    address WalletAddressId OnDeleteCascade OnUpdateCascade
-    version ZcashPool
-    bytes BS.ByteString
-    height Int
-    width Int
-    name T.Text
-    UniqueQr address version
-    deriving Show Eq
-  AddressBook
-    network ZcashNetDB
-    abdescrip T.Text
-    abaddress T.Text
-    UniqueABA abaddress
-    deriving Show Eq
     |]
 
 -- * Database functions
@@ -430,16 +416,6 @@ getWalletAddresses pool w = do
   addrs <- mapM (getAddresses pool . entityKey) accs
   return $ concat addrs
 
-getExternalAddresses :: ConnectionPool -> IO [Entity WalletAddress]
-getExternalAddresses pool = do
-  runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      select $ do
-        addrs <- from $ table @WalletAddress
-        where_ $ addrs ^. WalletAddressScope ==. val (ScopeDB External)
-        return addrs
-
 -- | Returns the largest address index for the given account
 getMaxAddress ::
      ConnectionPool -- ^ The database path
@@ -572,41 +548,6 @@ getZcashTransactions pool b =
       orderBy [asc $ txs ^. ZcashTransactionBlock]
       return txs
 
--- ** QR codes
--- | Functions to manage the QR codes stored in the database
-saveQrCode ::
-     ConnectionPool -- ^ the connection pool
-  -> QrCode
-  -> NoLoggingT IO (Maybe (Entity QrCode))
-saveQrCode pool qr =
-  PS.retryOnBusy $ flip PS.runSqlPool pool $ insertUniqueEntity qr
-
-getQrCodes ::
-     ConnectionPool -- ^ the connection pool
-  -> WalletAddressId
-  -> IO [Entity QrCode]
-getQrCodes pool wId =
-  runNoLoggingT $
-  PS.retryOnBusy $
-  flip PS.runSqlPool pool $ do
-    select $ do
-      qrs <- from $ table @QrCode
-      where_ $ qrs ^. QrCodeAddress ==. val wId
-      return qrs
-
-getQrCode :: ConnectionPool -> ZcashPool -> WalletAddressId -> IO (Maybe QrCode)
-getQrCode pool zp wId = do
-  r <-
-    runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      selectOne $ do
-        qrs <- from $ table @QrCode
-        where_ $ qrs ^. QrCodeAddress ==. val wId
-        where_ $ qrs ^. QrCodeVersion ==. val zp
-        return qrs
-  return $ entityVal <$> r
-
 -- * Wallet
 -- | Get the block of the last transaction known to the wallet
 getMaxWalletBlock ::
@@ -1396,35 +1337,6 @@ getBalance pool za = do
   let oBal = sum oAmts
   return . fromIntegral $ tBal + sBal + oBal
 
-getTransparentBalance :: ConnectionPool -> ZcashAccountId -> IO Integer
-getTransparentBalance pool za = do
-  trNotes <- getWalletUnspentTrNotes pool za
-  let tAmts = map (walletTrNoteValue . entityVal) trNotes
-  return . fromIntegral $ sum tAmts
-
-getShieldedBalance :: ConnectionPool -> ZcashAccountId -> IO Integer
-getShieldedBalance pool za = do
-  sapNotes <- getWalletUnspentSapNotes pool za
-  let sAmts = map (walletSapNoteValue . entityVal) sapNotes
-  let sBal = sum sAmts
-  orchNotes <- getWalletUnspentOrchNotes pool za
-  let oAmts = map (walletOrchNoteValue . entityVal) orchNotes
-  let oBal = sum oAmts
-  return . fromIntegral $ sBal + oBal
-
-getUnconfirmedBalance :: ConnectionPool -> ZcashAccountId -> IO Integer
-getUnconfirmedBalance pool za = do
-  trNotes <- getWalletUnspentUnconfirmedTrNotes pool za
-  let tAmts = map (walletTrNoteValue . entityVal) trNotes
-  let tBal = sum tAmts
-  sapNotes <- getWalletUnspentUnconfirmedSapNotes pool za
-  let sAmts = map (walletSapNoteValue . entityVal) sapNotes
-  let sBal = sum sAmts
-  orchNotes <- getWalletUnspentUnconfirmedOrchNotes pool za
-  let oAmts = map (walletOrchNoteValue . entityVal) orchNotes
-  let oBal = sum oAmts
-  return . fromIntegral $ tBal + sBal + oBal
-
 clearWalletTransactions :: ConnectionPool -> IO ()
 clearWalletTransactions pool = do
   runNoLoggingT $
@@ -1462,42 +1374,10 @@ getWalletUnspentTrNotes pool za = do
     PS.retryOnBusy $
     flip PS.runSqlPool pool $ do
       select $ do
-        (txs :& tNotes) <-
+        n <- from $ table @WalletTrNote
-          from $ table @WalletTransaction `innerJoin` table @WalletTrNote `on`
+        where_ (n ^. WalletTrNoteAccId ==. val za)
-          (\(txs :& tNotes) ->
+        where_ (n ^. WalletTrNoteSpent ==. val False)
-             txs ^. WalletTransactionId ==. tNotes ^. WalletTrNoteTx)
+        pure n
-        where_ (tNotes ^. WalletTrNoteAccId ==. val za)
-        where_ (tNotes ^. WalletTrNoteSpent ==. val False)
-        where_
-          ((tNotes ^. WalletTrNoteChange ==. val True &&. txs ^.
-            WalletTransactionConf >=.
-            val 3) ||.
-           (tNotes ^. WalletTrNoteChange ==. val False &&. txs ^.
-            WalletTransactionConf >=.
-            val 10))
-        pure tNotes
-
-getWalletUnspentUnconfirmedTrNotes ::
-     ConnectionPool -> ZcashAccountId -> IO [Entity WalletTrNote]
-getWalletUnspentUnconfirmedTrNotes pool za = do
-  runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      select $ do
-        (txs :& tNotes) <-
-          from $ table @WalletTransaction `innerJoin` table @WalletTrNote `on`
-          (\(txs :& tNotes) ->
-             txs ^. WalletTransactionId ==. tNotes ^. WalletTrNoteTx)
-        where_ (tNotes ^. WalletTrNoteAccId ==. val za)
-        where_ (tNotes ^. WalletTrNoteSpent ==. val False)
-        where_
-          ((tNotes ^. WalletTrNoteChange ==. val True &&. txs ^.
-            WalletTransactionConf <.
-            val 3) ||.
-           (tNotes ^. WalletTrNoteChange ==. val False &&. txs ^.
-            WalletTransactionConf <.
-            val 10))
-        pure tNotes
 
 getWalletUnspentSapNotes ::
      ConnectionPool -> ZcashAccountId -> IO [Entity WalletSapNote]
@@ -1506,42 +1386,10 @@ getWalletUnspentSapNotes pool za = do
     PS.retryOnBusy $
     flip PS.runSqlPool pool $ do
       select $ do
-        (txs :& sNotes) <-
+        n1 <- from $ table @WalletSapNote
-          from $ table @WalletTransaction `innerJoin` table @WalletSapNote `on`
+        where_ (n1 ^. WalletSapNoteAccId ==. val za)
-          (\(txs :& sNotes) ->
+        where_ (n1 ^. WalletSapNoteSpent ==. val False)
-             txs ^. WalletTransactionId ==. sNotes ^. WalletSapNoteTx)
+        pure n1
-        where_ (sNotes ^. WalletSapNoteAccId ==. val za)
-        where_ (sNotes ^. WalletSapNoteSpent ==. val False)
-        where_
-          ((sNotes ^. WalletSapNoteChange ==. val True &&. txs ^.
-            WalletTransactionConf >=.
-            val 3) ||.
-           (sNotes ^. WalletSapNoteChange ==. val False &&. txs ^.
-            WalletTransactionConf >=.
-            val 10))
-        pure sNotes
-
-getWalletUnspentUnconfirmedSapNotes ::
-     ConnectionPool -> ZcashAccountId -> IO [Entity WalletSapNote]
-getWalletUnspentUnconfirmedSapNotes pool za = do
-  runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      select $ do
-        (txs :& sNotes) <-
-          from $ table @WalletTransaction `innerJoin` table @WalletSapNote `on`
-          (\(txs :& sNotes) ->
-             txs ^. WalletTransactionId ==. sNotes ^. WalletSapNoteTx)
-        where_ (sNotes ^. WalletSapNoteAccId ==. val za)
-        where_ (sNotes ^. WalletSapNoteSpent ==. val False)
-        where_
-          ((sNotes ^. WalletSapNoteChange ==. val True &&. txs ^.
-            WalletTransactionConf <.
-            val 3) ||.
-           (sNotes ^. WalletSapNoteChange ==. val False &&. txs ^.
-            WalletTransactionConf <.
-            val 10))
-        pure sNotes
 
 getWalletUnspentOrchNotes ::
      ConnectionPool -> ZcashAccountId -> IO [Entity WalletOrchNote]
@@ -1550,42 +1398,10 @@ getWalletUnspentOrchNotes pool za = do
     PS.retryOnBusy $
     flip PS.runSqlPool pool $ do
       select $ do
-        (txs :& oNotes) <-
+        n2 <- from $ table @WalletOrchNote
-          from $ table @WalletTransaction `innerJoin` table @WalletOrchNote `on`
+        where_ (n2 ^. WalletOrchNoteAccId ==. val za)
-          (\(txs :& oNotes) ->
+        where_ (n2 ^. WalletOrchNoteSpent ==. val False)
-             txs ^. WalletTransactionId ==. oNotes ^. WalletOrchNoteTx)
+        pure n2
-        where_ (oNotes ^. WalletOrchNoteAccId ==. val za)
-        where_ (oNotes ^. WalletOrchNoteSpent ==. val False)
-        where_
-          ((oNotes ^. WalletOrchNoteChange ==. val True &&. txs ^.
-            WalletTransactionConf >=.
-            val 3) ||.
-           (oNotes ^. WalletOrchNoteChange ==. val False &&. txs ^.
-            WalletTransactionConf >=.
-            val 10))
-        pure oNotes
-
-getWalletUnspentUnconfirmedOrchNotes ::
-     ConnectionPool -> ZcashAccountId -> IO [Entity WalletOrchNote]
-getWalletUnspentUnconfirmedOrchNotes pool za = do
-  runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      select $ do
-        (txs :& oNotes) <-
-          from $ table @WalletTransaction `innerJoin` table @WalletOrchNote `on`
-          (\(txs :& oNotes) ->
-             txs ^. WalletTransactionId ==. oNotes ^. WalletOrchNoteTx)
-        where_ (oNotes ^. WalletOrchNoteAccId ==. val za)
-        where_ (oNotes ^. WalletOrchNoteSpent ==. val False)
-        where_
-          ((oNotes ^. WalletOrchNoteChange ==. val True &&. txs ^.
-            WalletTransactionConf <.
-            val 3) ||.
-           (oNotes ^. WalletOrchNoteChange ==. val False &&. txs ^.
-            WalletTransactionConf <.
-            val 10))
-        pure oNotes
 
 selectUnspentNotes ::
      ConnectionPool
@@ -1646,81 +1462,10 @@ getWalletTxId pool wId = do
         where_ (wtx ^. WalletTransactionId ==. val wId)
         pure $ wtx ^. WalletTransactionTxId
 
-getUnconfirmedBlocks :: ConnectionPool -> IO [Int]
-getUnconfirmedBlocks pool = do
-  r <-
-    runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      select $ do
-        wtx <- from $ table @WalletTransaction
-        where_ (wtx ^. WalletTransactionConf <=. val 10)
-        pure $ wtx ^. WalletTransactionBlock
-  return $ map (\(Value i) -> i) r
-
-saveConfs :: ConnectionPool -> Int -> Int -> IO ()
-saveConfs pool b c = do
-  runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      update $ \t -> do
-        set t [WalletTransactionConf =. val c]
-        where_ $ t ^. WalletTransactionBlock ==. val b
-
 -- | Helper function to extract a Unified Address from the database
 readUnifiedAddressDB :: WalletAddress -> Maybe UnifiedAddress
 readUnifiedAddressDB =
   isValidUnifiedAddress . TE.encodeUtf8 . getUA . walletAddressUAddress
 
--- | Get list of external zcash addresses from database
-getAdrBook :: ConnectionPool -> ZcashNet -> IO [Entity AddressBook]
-getAdrBook pool n =
-  runNoLoggingT $
-  PS.retryOnBusy $
-  flip PS.runSqlPool pool $ do
-    select $ do
-      adrbook <- from $ table @AddressBook
-      where_ (adrbook ^. AddressBookNetwork ==. val (ZcashNetDB n))
-      pure adrbook
-
--- | Save a new address into AddressBook 
-saveAdrsInAdrBook ::
-     ConnectionPool -- ^ The database path to use
-  -> AddressBook -- ^ The address to add to the database
-  -> IO (Maybe (Entity AddressBook))
-saveAdrsInAdrBook pool a =
-  runNoLoggingT $
-  PS.retryOnBusy $ flip PS.runSqlPool pool $ insertUniqueEntity a
-
--- | Update an existing address into AddressBook 
-updateAdrsInAdrBook :: ConnectionPool -> T.Text -> T.Text -> T.Text -> IO ()
-updateAdrsInAdrBook pool d a ia = do
-  runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      update $ \ab -> do
-        set ab [AddressBookAbdescrip =. val d, AddressBookAbaddress =. val a]
-        where_ $ ab ^. AddressBookAbaddress ==. val ia
-
--- | Get one AddrssBook record using the Address as a key
--- getABookRec :: ConnectionPool -> T.Tex t -> IO (Maybe (Entity AddressBook))
--- getABookRec pool a = do
---  runNoLoggingT $
---    PS.retryOnBusy $
---    flip PS.runSqlPool pool $
---      select $ do
---        adrbook <- from $ table @AddressBook
---        where_ ((adrbook ^. AddressBookAbaddress) ==. val a)
---        return adrbook
--- | delete an existing address from AddressBook 
-deleteAdrsFromAB :: ConnectionPool -> T.Text -> IO ()
-deleteAdrsFromAB pool ia = do
-  runNoLoggingT $
-    PS.retryOnBusy $
-    flip PS.runSqlPool pool $ do
-      delete $ do
-        ab <- from $ table @AddressBook
-        where_ (ab ^. AddressBookAbaddress ==. val ia)
-
 rmdups :: Ord a => [a] -> [a]
 rmdups = map head . group . sort

src/Zenith/GUI/Theme.hs

@@ -1,340 +0,0 @@
-{-# LANGUAGE OverloadedStrings #-}
-
-module Zenith.GUI.Theme
-  ( zenithTheme
-  ) where
-
-import Data.Default
-import Lens.Micro ((&), (+~), (.~), (?~), (^.), at, set)
-import Monomer
-import Monomer.Core.Themes.BaseTheme
-import Monomer.Core.Themes.SampleThemes
-import Monomer.Graphics (rgbHex, transparent)
-import Monomer.Graphics.ColorTable
-import qualified Monomer.Lens as L
-
-baseTextStyle :: TextStyle
-baseTextStyle = def & L.fontSize ?~ FontSize 10 & L.fontColor ?~ black
-
-hiliteTextStyle :: TextStyle
-hiliteTextStyle = def & L.fontSize ?~ FontSize 10 & L.fontColor ?~ white
-
-zenithTheme :: Theme
-zenithTheme =
-  baseTheme zgoThemeColors & L.basic . L.labelStyle . L.text ?~ baseTextStyle &
-  L.hover .
-  L.tooltipStyle . L.text ?~
-  baseTextStyle &
-  L.hover .
-  L.labelStyle . L.text ?~
-  baseTextStyle &
-  L.basic .
-  L.dialogTitleStyle . L.text ?~
-  (baseTextStyle & L.fontSize ?~ FontSize 12 & L.font ?~ "Bold") &
-  L.hover .
-  L.dialogTitleStyle . L.text ?~
-  (baseTextStyle & L.fontSize ?~ FontSize 12 & L.font ?~ "Bold") &
-  L.basic .
-  L.btnStyle . L.text ?~
-  baseTextStyle &
-  L.hover .
-  L.btnStyle . L.text ?~
-  baseTextStyle &
-  L.focus .
-  L.btnStyle . L.text ?~
-  baseTextStyle &
-  L.focusHover .
-  L.btnStyle . L.text ?~
-  baseTextStyle &
-  L.active .
-  L.btnStyle . L.text ?~
-  baseTextStyle &
-  L.basic .
-  L.btnMainStyle . L.text ?~
-  hiliteTextStyle &
-  L.hover .
-  L.btnMainStyle . L.text ?~
-  hiliteTextStyle &
-  L.focus .
-  L.btnMainStyle . L.text ?~
-  hiliteTextStyle &
-  L.focusHover .
-  L.btnMainStyle . L.text ?~
-  hiliteTextStyle &
-  L.active .
-  L.btnMainStyle . L.text ?~
-  hiliteTextStyle &
-  L.disabled .
-  L.btnMainStyle . L.text ?~
-  hiliteTextStyle &
-  L.disabled .
-  L.btnMainStyle . L.bgColor ?~
-  gray07c &
-  L.basic .
-  L.textFieldStyle . L.text ?~
-  baseTextStyle &
-  L.hover .
-  L.textFieldStyle . L.text ?~
-  baseTextStyle &
-  L.focus .
-  L.textFieldStyle . L.text ?~
-  baseTextStyle &
-  L.active .
-  L.textFieldStyle . L.text ?~
-  baseTextStyle &
-  L.focusHover .
-  L.textFieldStyle . L.text ?~
-  baseTextStyle &
-  L.basic .
-  L.numericFieldStyle . L.text ?~
-  baseTextStyle &
-  L.hover .
-  L.numericFieldStyle . L.text ?~
-  baseTextStyle &
-  L.focus .
-  L.numericFieldStyle . L.text ?~
-  baseTextStyle &
-  L.active .
-  L.numericFieldStyle . L.text ?~
-  baseTextStyle &
-  L.focusHover .
-  L.numericFieldStyle . L.text ?~
-  baseTextStyle &
-  L.basic .
-  L.textAreaStyle . L.text ?~
-  baseTextStyle &
-  L.hover .
-  L.textAreaStyle . L.text ?~
-  baseTextStyle &
-  L.focus .
-  L.textAreaStyle . L.text ?~
-  baseTextStyle &
-  L.active .
-  L.textAreaStyle . L.text ?~
-  baseTextStyle &
-  L.focusHover .
-  L.textAreaStyle . L.text ?~
-  baseTextStyle
-
-zenithThemeColors :: BaseThemeColors
-zenithThemeColors =
-  BaseThemeColors
-    { clearColor = gray01
-    , sectionColor = gray01
-    , btnFocusBorder = blue09
-    , btnBgBasic = gray07b
-    , btnBgHover = gray08
-    , btnBgFocus = gray07c
-    , btnBgActive = gray06
-    , btnBgDisabled = gray05
-    , btnText = gray02
-    , btnTextDisabled = gray01
-    , btnMainFocusBorder = blue08
-    , btnMainBgBasic = btnColor
-    , btnMainBgHover = btnHiLite
-    , btnMainBgFocus = btnColor
-    , btnMainBgActive = btnHiLite
-    , btnMainBgDisabled = blue04
-    , btnMainText = white
-    , btnMainTextDisabled = gray08
-    , dialogBg = gray01
-    , dialogBorder = gray01
-    , dialogText = white
-    , dialogTitleText = white
-    , emptyOverlay = gray05 & L.a .~ 0.8
-    , shadow = gray00 & L.a .~ 0.33
-    , externalLinkBasic = blue07
-    , externalLinkHover = blue08
-    , externalLinkFocus = blue07
-    , externalLinkActive = blue06
-    , externalLinkDisabled = gray06
-    , iconBg = gray08
-    , iconFg = gray01
-    , inputIconFg = black
-    , inputBorder = gray02
-    , inputFocusBorder = blue08
-    , inputBgBasic = gray04
-    , inputBgHover = gray06
-    , inputBgFocus = gray05
-    , inputBgActive = gray03
-    , inputBgDisabled = gray07
-    , inputFgBasic = gray06
-    , inputFgHover = blue08
-    , inputFgFocus = blue08
-    , inputFgActive = blue07
-    , inputFgDisabled = gray07
-    , inputSndBasic = gray05
-    , inputSndHover = gray06
-    , inputSndFocus = gray05
-    , inputSndActive = gray05
-    , inputSndDisabled = gray03
-    , inputHlBasic = gray07
-    , inputHlHover = blue08
-    , inputHlFocus = blue08
-    , inputHlActive = blue08
-    , inputHlDisabled = gray08
-    , inputSelBasic = gray06
-    , inputSelFocus = blue06
-    , inputText = white
-    , inputTextDisabled = gray02
-    , labelText = white
-    , scrollBarBasic = gray01 & L.a .~ 0.2
-    , scrollThumbBasic = gray07 & L.a .~ 0.6
-    , scrollBarHover = gray01 & L.a .~ 0.4
-    , scrollThumbHover = gray07 & L.a .~ 0.8
-    , slMainBg = gray00
-    , slNormalBgBasic = transparent
-    , slNormalBgHover = gray05
-    , slNormalText = white
-    , slNormalFocusBorder = blue08
-    , slSelectedBgBasic = gray04
-    , slSelectedBgHover = gray05
-    , slSelectedText = white
-    , slSelectedFocusBorder = blue08
-    , tooltipBorder = gray05
-    , tooltipBg = rgbHex "#1D212B"
-    , tooltipText = white
-    }
-
-zgoThemeColors =
-  BaseThemeColors
-    { clearColor = gray10 -- gray12,
-    , sectionColor = gray09 -- gray11,
-    , btnFocusBorder = blue08
-    , btnBgBasic = gray07
-    , btnBgHover = gray07c
-    , btnBgFocus = gray07b
-    , btnBgActive = gray06
-    , btnBgDisabled = gray05
-    , btnText = gray02
-    , btnTextDisabled = gray02
-    , btnMainFocusBorder = blue09
-    , btnMainBgBasic = btnColor
-    , btnMainBgHover = btnHiLite
-    , btnMainBgFocus = btnColor
-    , btnMainBgActive = btnHiLite
-    , btnMainBgDisabled = blue04
-    , btnMainText = white
-    , btnMainTextDisabled = white
-    , dialogBg = white
-    , dialogBorder = white
-    , dialogText = black
-    , dialogTitleText = black
-    , emptyOverlay = gray07 & L.a .~ 0.8
-    , shadow = gray00 & L.a .~ 0.2
-    , externalLinkBasic = blue07
-    , externalLinkHover = blue08
-    , externalLinkFocus = blue07
-    , externalLinkActive = blue06
-    , externalLinkDisabled = gray06
-    , iconBg = gray07
-    , iconFg = gray01
-    , inputIconFg = black
-    , inputBorder = gray06
-    , inputFocusBorder = blue07
-    , inputBgBasic = gray10
-    , inputBgHover = white
-    , inputBgFocus = white
-    , inputBgActive = gray09
-    , inputBgDisabled = gray05
-    , inputFgBasic = gray05
-    , inputFgHover = blue07
-    , inputFgFocus = blue07
-    , inputFgActive = blue06
-    , inputFgDisabled = gray04
-    , inputSndBasic = gray04
-    , inputSndHover = gray05
-    , inputSndFocus = gray05
-    , inputSndActive = gray04
-    , inputSndDisabled = gray03
-    , inputHlBasic = gray06
-    , inputHlHover = blue07
-    , inputHlFocus = blue07
-    , inputHlActive = blue06
-    , inputHlDisabled = gray05
-    , inputSelBasic = gray07
-    , inputSelFocus = blue08
-    , inputText = black
-    , inputTextDisabled = gray02
-    , labelText = black
-    , scrollBarBasic = gray03 & L.a .~ 0.2
-    , scrollThumbBasic = gray01 & L.a .~ 0.2
-    , scrollBarHover = gray07 & L.a .~ 0.8
-    , scrollThumbHover = gray05 & L.a .~ 0.8
-    , slMainBg = white
-    , slNormalBgBasic = transparent
-    , slNormalBgHover = gray09
-    , slNormalText = black
-    , slNormalFocusBorder = blue07
-    , slSelectedBgBasic = gray08
-    , slSelectedBgHover = gray09
-    , slSelectedText = black
-    , slSelectedFocusBorder = blue07
-    , tooltipBorder = gray08
-    , tooltipBg = gray07
-    , tooltipText = black
-    }
-
---black = rgbHex "#000000"
-{-white = rgbHex "#FFFFFF"-}
-btnColor = rgbHex "#ff5722" --rgbHex "#1818B2"
-
-btnHiLite = rgbHex "#207DE8"
-
-blue01 = rgbHex "#002159"
-
-blue02 = rgbHex "#01337D"
-
-blue03 = rgbHex "#03449E"
-
-blue04 = rgbHex "#0552B5"
-
-blue05 = rgbHex "#0967D2"
-
-blue05b = rgbHex "#0F6BD7"
-
-blue05c = rgbHex "#1673DE"
-
-blue06 = rgbHex "#2186EB"
-
-blue06b = rgbHex "#2489EE"
-
-blue06c = rgbHex "#2B8FF6"
-
-blue07 = rgbHex "#47A3F3"
-
-blue07b = rgbHex "#50A6F6"
-
-blue07c = rgbHex "#57ACFC"
-
-blue08 = rgbHex "#7CC4FA"
-
-blue09 = rgbHex "#BAE3FF"
-
-blue10 = rgbHex "#E6F6FF"
-
-gray00 = rgbHex "#111111"
-
-gray01 = rgbHex "#2E2E2E"
-
-gray02 = rgbHex "#393939"
-
-gray03 = rgbHex "#515151"
-
-gray04 = rgbHex "#626262"
-
-gray05 = rgbHex "#7E7E7E"
-
-gray06 = rgbHex "#9E9E9E"
-
-gray07 = rgbHex "#B1B1B1"
-
-gray07b = rgbHex "#B4B4B4"
-
-gray07c = rgbHex "#BBBBBB"
-
-gray08 = rgbHex "#CFCFCF"
-
-gray09 = rgbHex "#E1E1E1"
-
-gray10 = rgbHex "#F7F7F7"

src/Zenith/Scanner.hs

@@ -33,13 +33,7 @@ import ZcashHaskell.Types
   )
 import ZcashHaskell.Utils (getBlockTime, makeZebraCall, readZebraTransaction)
 import Zenith.Core (checkBlockChain)
-import Zenith.DB
+import Zenith.DB (getMaxBlock, initDb, saveTransaction)
-  ( getMaxBlock
-  , getUnconfirmedBlocks
-  , initDb
-  , saveConfs
-  , saveTransaction
-  )
 import Zenith.Utils (jsonNumber)
 
 -- | Function to scan the Zcash blockchain through the Zebra node and populate the Zenith database
@@ -161,26 +155,3 @@ processTx host port bt pool t = do
               (fromRawSBundle $ zt_sBundle rzt)
               (fromRawOBundle $ zt_oBundle rzt)
           return ()
-
--- | Function to update unconfirmed transactions
-updateConfs ::
-     T.Text -- ^ Host name for `zebrad`
-  -> Int -- ^ Port for `zebrad`
-  -> ConnectionPool
-  -> IO ()
-updateConfs host port pool = do
-  targetBlocks <- getUnconfirmedBlocks pool
-  mapM_ updateTx targetBlocks
-  where
-    updateTx :: Int -> IO ()
-    updateTx b = do
-      r <-
-        makeZebraCall
-          host
-          port
-          "getblock"
-          [Data.Aeson.String $ T.pack $ show b, jsonNumber 1]
-      case r of
-        Left e -> throwIO $ userError e
-        Right blk -> do
-          saveConfs pool b $ fromInteger $ bl_confirmations blk

src/Zenith/Types.hs

@@ -143,9 +143,7 @@ data ZcashPool
   | Sprout
   | Sapling
   | Orchard
-  deriving (Show, Read, Eq, Generic, ToJSON)
+  deriving (Show, Eq, Generic, ToJSON)
-
-derivePersistField "ZcashPool"
 
 instance FromJSON ZcashPool where
   parseJSON =

src/Zenith/Utils.hs

@@ -5,24 +5,13 @@ module Zenith.Utils where
 import Data.Aeson
 import Data.Functor (void)
 import Data.Maybe
-import Data.Ord (clamp)
 import Data.Scientific (Scientific(..), scientific)
 import qualified Data.Text as T
 import qualified Data.Text.Encoding as E
 import System.Process (createProcess_, shell)
 import Text.Regex.Posix
 import ZcashHaskell.Orchard (encodeUnifiedAddress, isValidUnifiedAddress)
-import ZcashHaskell.Sapling (decodeSaplingAddress, isValidShieldedAddress)
+import ZcashHaskell.Sapling (isValidShieldedAddress)
-import ZcashHaskell.Transparent
-  ( decodeExchangeAddress
-  , decodeTransparentAddress
-  )
-import ZcashHaskell.Types
-  ( SaplingAddress(..)
-  , TransparentAddress(..)
-  , UnifiedAddress(..)
-  , ZcashNet(..)
-  )
 import Zenith.Types
   ( AddressGroup(..)
   , UnifiedAddressDB(..)
@@ -50,12 +39,6 @@ displayTaz s
   | abs s < 100000000 = show (fromIntegral s / 100000) ++ " mTAZ "
   | otherwise = show (fromIntegral s / 100000000) ++ " TAZ "
 
-displayAmount :: ZcashNet -> Integer -> T.Text
-displayAmount n a =
-  if n == MainNet
-    then T.pack $ displayZec a
-    else T.pack $ displayTaz a
-
 -- | Helper function to display abbreviated Unified Address
 showAddress :: UnifiedAddressDB -> T.Text
 showAddress u = T.take 20 t <> "..."
@@ -89,34 +72,3 @@ copyAddress a =
   void $
   createProcess_ "toClipboard" $
   shell $ "echo " ++ T.unpack (addy a) ++ " | xclip -r -selection clipboard"
-
--- | Bound a value to the 0..1 range, used for progress reporting on UIs
-validBarValue :: Float -> Float
-validBarValue = clamp (0, 1)
-
-isRecipientValid :: T.Text -> Bool
-isRecipientValid a =
-  case isValidUnifiedAddress (E.encodeUtf8 a) of
-    Just _a1 -> True
-    Nothing ->
-      isValidShieldedAddress (E.encodeUtf8 a) ||
-      (case decodeTransparentAddress (E.encodeUtf8 a) of
-         Just _a3 -> True
-         Nothing ->
-           case decodeExchangeAddress a of
-             Just _a4 -> True
-             Nothing -> False)
-
-parseAddress :: T.Text -> ZcashNet -> Maybe UnifiedAddress
-parseAddress a znet =
-  case isValidUnifiedAddress (E.encodeUtf8 a) of
-    Just a1 -> Just a1
-    Nothing ->
-      case decodeSaplingAddress (E.encodeUtf8 a) of
-        Just a2 ->
-          Just $ UnifiedAddress znet Nothing (Just $ sa_receiver a2) Nothing
-        Nothing ->
-          case decodeTransparentAddress (E.encodeUtf8 a) of
-            Just a3 ->
-              Just $ UnifiedAddress znet Nothing Nothing (Just $ ta_receiver a3)
-            Nothing -> Nothing

zcash-haskell

@@ -1 +1 @@
-Subproject commit e8074419cfb54559a4c09731ad2448d5930869a2
+Subproject commit 9dddb42bb3ab78ed0c4d44efb00960ac112c2ce6

zenith.cabal

@@ -1,6 +1,6 @@
 cabal-version:    3.0
 name:             zenith
-version:          0.6.0.0-beta
+version:          0.5.1.0-beta
 license:          MIT
 license-file:     LICENSE
 author:           Rene Vergara
@@ -27,8 +27,6 @@ library
   ghc-options: -Wall -Wunused-imports
   exposed-modules:
     Zenith.CLI
-    Zenith.GUI
-    Zenith.GUI.Theme
     Zenith.Core
     Zenith.DB
     Zenith.Types
@@ -46,16 +44,13 @@ library
     , base64-bytestring
     , brick
     , bytestring
-    , data-default
-    , directory
-    , filepath
     , esqueleto
     , resource-pool
     , binary
     , exceptions
     , monad-logger
     , vty-crossplatform
-    , secp256k1-haskell >= 1
+    , secp256k1-haskell
     , pureMD5
     , ghc
     , haskoin-core
@@ -63,13 +58,9 @@ library
     , http-client
     , http-conduit
     , http-types
-    , JuicyPixels
-    , qrcode-core
-    , qrcode-juicypixels
     , microlens
     , microlens-mtl
     , microlens-th
-    , monomer
     , mtl
     , persistent
     , Hclip
@@ -81,7 +72,6 @@ library
     , regex-posix
     , scientific
     , text
-    , text-show
     , time
     , vector
     , vty
@@ -102,7 +92,7 @@ executable zenith
     , configurator
     , data-default
     , sort
-    --, structured-cli
+    , structured-cli
     , text
     , time
     , zenith