mightybyte

;;
;; A little example showing off the merits of formal
;; verification and why it pays off.
;;

;; Keysets cannot be created in code, thus we read them in
;; from the load message data.
(define-keyset 'admin-keyset (read-keyset "admin-keyset"))

;; Define the module.

mightybyte

;;
;; A little example showing off the merits of formal
;; verification and why it pays off.
;;

;;---------------------------------
;;
;;  Create an 'admin-keyset' and add some key, for loading this contract!
;;
;;  Make sure the message is signed with this added key as well.

mightybyte

;; This is a test of the gist saving mechanism

;; accounts module, admin keyset, and table
; (load "examples/verified-accounts/accounts.repl")

(enforce-pact-version "2.4.1")

(define-keyset 'accounts-admin-keyset
  (read-keyset "accounts-admin-keyset"))

mightybyte

;;---------------------------------
;;  Doug demo testZZZ
;;  Create a keyset named 'keyset' and add some key,
;;  for loading this contract!
;;
;;  Make sure the message is signed with this added key as well.
;;---------------------------------

(define-keyset 'module-keyset (read-keyset "keyset"))

mightybyte

;;
;; Hi Doug, please find your favorite smart contract below.
;;
;; Best,
;; Robert

(define-keyset 'admin-keyset (read-keyset "admin-keyset"))

;; Define the module.
(module verificationDoug 'admin-keyset

mightybyte

{-# LANGUAGE ConstraintKinds     #-}
{-# LANGUAGE FlexibleContexts    #-}
{-# LANGUAGE RecursiveDo         #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies        #-}

------------------------------------------------------------------------------
import           Control.Concurrent
import           Control.Monad
import           Control.Monad.Trans

mightybyte

+_complete_debug:20> : zsh 5.0.8
+_complete_debug:21> _main_complete
+_main_complete:11> local 'IFS= 	
'
+_main_complete:25> eval 'local -A _comp_caller_options;
             _comp_caller_options=(${(kv)options[@]});
             setopt localoptions localtraps localpatterns ${_comp_options[@]};
             local IFS=$'\'' \t\r\n\0'\''
             enable -p \| \~ \( \? \* \[ \< \^ \#
             exec </dev/null;

mightybyte

data WidgetConfig t a
    = WidgetConfig { _widgetConfig_setValue :: Event t a
                   , _widgetConfig_initialValue :: a
                   , _widgetConfig_attributes :: Dynamic t (Map String String)
                   }

makeLenses ''WidgetConfig

instance (Reflex t, Default a) => Default (WidgetConfig t a) where
  def = WidgetConfig { _widgetConfig_setValue = never

mightybyte

{-# LANGUAGE DeriveFunctor #-}

module Form where

import Control.Lens
import Data.Default
import Data.Functor.Compose
import Data.Monoid
import Reflex

mightybyte

fileLoader :: MonadWidget t m => FileInputConfig t -> m (Event t Text)
fileLoader cfg = do
    fls <- fmapMaybe listToMaybe . updated . value <$> fileInput cfg
    reader <- liftIO newFileReader
    performEvent_ $ ffor fls $ \f -> liftIO $
      readAsDataURL reader (Just f)
    wrapDomEvent reader (`on` load) $ do
      res <- liftIO $ fromJSValUnchecked =<< getResult reader
      let Right contents = decodeUtf8 <$> B64.decode
            (encodeUtf8 $ snd $ T.breakOnEnd "base64," res)