Principal account creation flow

frontend/src/Frontend/UI/DeploymentSettings.hs

@@ -53,6 +53,7 @@ module Frontend.UI.DeploymentSettings
 
   , transactionInputSection
   , transactionHashSection
+  , contHashSection
   , transactionDisplayNetwork
     -- * Useful re-exports
   , Identity (runIdentity)
@@ -585,6 +586,11 @@ advancedAccordion m active = do
     dialogSectionHeading mempty "Data"
     uiJsonDataSetFocus (\_ _ -> pure ()) (\_ _ -> pure ()) (m ^. wallet) (m ^. jsonData)
 
+contHashSection :: MonadWidget t m => Pact.RequestKey -> m ()
+contHashSection hsh = void $ do
+  mkLabeledInput True "Request Key (p2)" (\c -> uiInputElement $ c & initialAttributes %~ Map.insert "disabled" "") $ def
+    & inputElementConfig_initialValue .~ Pact.requestKeyToB16Text hsh
+
 transactionHashSection :: MonadWidget t m => Pact.Command Text -> m ()
 transactionHashSection cmd = void $ do
   mkLabeledInput True "Request Key" (\c -> uiInputElement $ c & initialAttributes %~ Map.insert "disabled" "") $ def

frontend/src/Frontend/UI/Dialogs/Send.hs

@@ -518,7 +518,7 @@ runUnfinishedCrossChainTransfer
   -> Event t Pact.RequestKey
   -- ^ The request key to follow up on
   -> PublicMeta
-  -> m (Event t (), Event t Text, Event t ())
+  -> m (Event t (), Event t Text, Event t (), Event t Pact.RequestKey)
 runUnfinishedCrossChainTransfer logL netInfo keys fromChain toChain mtoGasPayer requestKey publicMeta = mdo
   let nodeInfos = _sharedNetInfo_nodes netInfo
       networkName = _sharedNetInfo_network netInfo
@@ -536,11 +536,11 @@ runUnfinishedCrossChainTransfer logL netInfo keys fromChain toChain mtoGasPayer
     , Status_Done <$ contOk
     ]
 
-  es@(resultOk, resultErr, retry) <- case mtoGasPayer of
+  es@(resultOk, resultErr, retry, eContReqKey) <- case mtoGasPayer of
     Nothing -> do
       dialogSectionHeading mempty "Notice: Cannot finish cross-chain transfer"
       divClass "group" $ text "No gas payer specified on destination chain"
-      return (() <$ contResponse, never, never)
+      return (() <$ contResponse, never, never, never)
     Just toGasPayer -> do
       -- Get the proof
       spvResponse <- getSPVProof logL nodeInfos fromChain toChain contOk
@@ -592,6 +592,7 @@ runUnfinishedCrossChainTransfer logL netInfo keys fromChain toChain mtoGasPayer
       pure ( resultOk
            , leftmost [contError, spvError, continueError, resultError]
            , retry
+           , snd <$> continueOk
            )
   pure es
 
@@ -877,7 +878,6 @@ continueCrossChainTransfer logL networkName envs publicMeta keys toChain gasPaye
   performEventAsync $ ffor spvOk $ \(pe, proof) cb -> do
     let
       sender = unAccountName $ fst gasPayer
-
       pm = publicMeta
         { _pmChainId = toChain
         , _pmSender = sender

frontend/src/Frontend/UI/Form/Common.hs

@@ -92,10 +92,17 @@ amountFormWidget
   => PrimFormWidgetConfig t (Either String Decimal)
   -> m (FormWidget t (Either String Decimal))
 amountFormWidget cfg = do
-    parsingFormWidget parseAmount (either (const "") tshow) cfg
+    parsingFormWidget parseTransferAmount (either (const "") tshow) cfg
+
+-- parseAmount that cant be 0
+parseTransferAmount :: Text -> Either String Decimal
+parseTransferAmount t = parseAmount t >>= \a ->
+  case a == 0 of
+    True -> Left "Cant transfer amount of 0"
+    False -> pure a
 
 parseAmount :: Text -> Either String Decimal
-parseAmount t = 
+parseAmount t =
   let tNoLeadingDecimal = if "." `T.isPrefixOf` t then "0" <> t else t in
   case D.normalizeDecimal <$> readMaybe (T.unpack tNoLeadingDecimal) of
         Nothing -> Left "Not a valid number"

frontend/src/Frontend/UI/ModuleExplorer/ModuleList.hs

@@ -95,10 +95,8 @@ uiDeployedModuleList m mList = mdo
                           & setValue .~ onNetworkName
 
       d <- uiDropdown Nothing opts filterCfg
+      onNewSearch <- debounce 0.2 $ _inputElement_input ti
       let
-        onNewSearch :: Event t Text
-        onNewSearch = _inputElement_input ti
-
         onChainIdL :: Event t (Maybe ChainId)
         onChainIdL = _dropdown_change d