This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Control.Monad (void) | |
import qualified Ledger.Contexts as Validation | |
import qualified Data.ByteString.Char8 as C | |
import qualified Language.Plutus.Contract.Typed.Tx as Typed | |
import Language.Plutus.Contract | |
import Language.PlutusTx.Prelude | |
import Language.PlutusTx.Prelude hiding (pure, (<$>)) | |
import Ledger (PubKeyHash, Ada, Address, Validator, ValidatorCtx, Value, scriptAddress) | |
import Playground.Contract | |
import Playground.Contract |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Control.Monad (void) | |
import Language.Plutus.Contract | |
import Language.PlutusTx.Prelude | |
import Language.PlutusTx.Prelude hiding (pure, (<$>)) | |
import Ledger (PubKeyHash, Ada, Address, Validator, ValidatorCtx, Value, scriptAddress) | |
import Playground.Contract | |
import Playground.Contract | |
import Wallet.Emulator.Types (walletPubKey) | |
import qualified Data.ByteString.Char8 as C | |
import qualified Data.Text as T |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Wallet.Emulator.Types (walletPubKey) | |
import Control.Monad (void) | |
import qualified Ledger as Ledger | |
import Language.Plutus.Contract | |
import Language.Plutus.Contract hiding (when) | |
import qualified Language.PlutusTx as PlutusTx | |
import Language.PlutusTx.Prelude | |
import qualified Ledger.Scripts as Scripts | |
import Language.PlutusTx.Prelude hiding (pure, (<$>)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import qualified Data.Text as T | |
import Language.Plutus.Contract hiding (when) | |
import Language.PlutusTx.Prelude | |
import Playground.Contract | |
-- Taxman | |
-- ====== | |
-- You live in a jurisdiction where you must keep your money in taxable scripts |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import qualified Data.Text as T | |
import Language.Plutus.Contract hiding (when) | |
import Language.PlutusTx.Prelude | |
import Playground.Contract | |
-- Taxman | |
-- ====== | |
-- You live in a jurisdiction where you must keep your money in taxable scripts |