Skip to content

Instantly share code, notes, and snippets.

View adrianmay's full-sized avatar

Adrian May adrianmay

  • Yorkshire, UK
  • 23:25 (UTC)
View GitHub Profile
@adrianmay
adrianmay / Playground.hs
Created March 17, 2021 09:05
Plutus Playground Smart Contract
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
@adrianmay
adrianmay / Playground.hs
Created March 16, 2021 14:46
Plutus Playground Smart Contract
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
@adrianmay
adrianmay / Playground.hs
Created March 16, 2021 13:47
Plutus Playground Smart Contract
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, (<$>))
@adrianmay
adrianmay / Playground.hs
Created March 16, 2021 12:59
Plutus Playground Smart Contract
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
@adrianmay
adrianmay / Playground.hs
Last active March 16, 2021 12:42
Plutus Playground Smart Contract
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