View on GitHub
File Changes

                      
import           Language.Plutus.Contract
import qualified Language.PlutusTx                as PlutusTx
-
import           Language.PlutusTx.StateMachine   (State (..), StateMachine (..),
-
                                                   StateMachineInstance (..))
+
import           Language.PlutusTx.StateMachine   (State (..), StateMachine (..), StateMachineInstance (..))
import qualified Language.PlutusTx.StateMachine   as SM
import           Ledger                           (Value)
import qualified Ledger
import           Data.Map                         (Map)
import qualified Data.Map                         as Map
import           Data.Semigroup                   (First (..))
+
import           Data.Set                         (Set)
import qualified Data.Set                         as Set
-
import Data.Set (Set)
import           Data.Text.Prettyprint.Doc
import           GHC.Generics                     (Generic)
import           IOTS                             (IotsType)
        }

                      
-- | An unbalanced transaction. It needs to be balanced and signed before it
-
--   can be submitted to the ledeger. See note [Submitting transactions from 
+
--   can be submitted to the ledeger. See note [Submitting transactions from
--   Plutus contracts] in 'Language.Plutus.Contract.Wallet'.
data UnbalancedTx =
    UnbalancedTx
-
{-# LANGUAGE TypeApplications  #-}
{-# LANGUAGE DeriveGeneric     #-}
{-# LANGUAGE NamedFieldPuns    #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TemplateHaskell   #-}
+
{-# LANGUAGE TypeApplications  #-}
{-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-}
{-# OPTIONS_GHC -Wno-redundant-constraints #-}
{-# OPTIONS_GHC -fno-strictness #-}
  , signObservation
  ) where

                      
-
import qualified Data.ByteString.Lazy       as BSL
-
import           GHC.Generics               (Generic)
+
import qualified Data.ByteString.Lazy      as BSL
+
import           GHC.Generics              (Generic)

                      
import           Language.PlutusTx
import           Language.PlutusTx.Prelude

                      
-
import           Ledger.Constraints         (TxConstraints)
-
import qualified Ledger.Constraints         as Constraints
-
import           Ledger.Crypto              (PrivateKey, PubKey (..), Signature (..))
-
import qualified Ledger.Crypto              as Crypto
-
import           Ledger.Scripts             (DataValue (..), DataValueHash (..))
-
import qualified Ledger.Scripts             as Scripts
-
import           Ledger.Slot                (Slot)
-
import           Ledger.Validation          (PendingTx)
+
import           Ledger.Constraints        (TxConstraints)
+
import qualified Ledger.Constraints        as Constraints
+
import           Ledger.Crypto             (PrivateKey, PubKey (..), Signature (..))
+
import qualified Ledger.Crypto             as Crypto
+
import           Ledger.Scripts            (DataValue (..), DataValueHash (..))
+
import qualified Ledger.Scripts            as Scripts
+
import           Ledger.Slot               (Slot)
+
import           Ledger.Validation         (PendingTx)
import           LedgerBytes

                      
-
import qualified Prelude                    as Haskell
+
import qualified Prelude                   as Haskell

                      
-- $oracles
-- This module provides a way to verify signed messages, and a type for