j-mueller

{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE DeriveGeneric       #-}
{-# LANGUAGE OverloadedStrings   #-}
{-# LANGUAGE RecordWildCards     #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell     #-}
{-# OPTIONS_GHC -O0 #-}
{-# OPTIONS_GHC -fno-warn-unused-matches #-}
{-# OPTIONS_GHC -fno-warn-unused-matches #-}
module Tutorial.Solutions0 where

j-mueller

-- DOESNT WORK
{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE DeriveGeneric       #-}
{-# LANGUAGE OverloadedStrings   #-}
{-# LANGUAGE RecordWildCards     #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell     #-}
{-# OPTIONS_GHC -O0 #-}
{-# OPTIONS_GHC -fno-warn-unused-matches #-}
{-# OPTIONS_GHC -fno-warn-unused-matches #-}

j-mueller

-- | Crowdfunding contract implemented using the [[Plutus]] interface.
-- This is the fully parallel version that collects all contributions
-- in a single transaction. This is, of course, limited by the maximum
-- number of inputs a transaction can have.
{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE DeriveGeneric       #-}
{-# LANGUAGE FlexibleContexts    #-}
{-# LANGUAGE OverloadedStrings   #-}
{-# LANGUAGE RecordWildCards     #-}
{-# LANGUAGE ScopedTypeVariables #-}

j-mueller

{-# LANGUAGE TemplateHaskell     #-}
module Language.Plutus.Coordination.StateMachine.TH(
    StateMachine(..),
    stateMachine
    ) where

import           Language.Haskell.TH        (Q, TExp)
import           Language.Plutus.Runtime    (PendingTx(..), ValidatorHash, DataScriptHash(..), RedeemerHash(..))
import qualified Language.Plutus.Runtime.TH as TH
import qualified Language.PlutusTx.Builtins as Builtins

j-mueller

Error: Used but not defined in the current conversion: Type variable: a
Context: Converting type: a
Context: Converting expr: case ds_df5t of {
                            __DEFAULT -> False;
                            [] ->
                              &&_adXn
                                (> @ Height $fOrdInt h_adXl (I# dt_df8e))
                                (&&_adXn
                                   (<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
                                   (&&_adXn

j-mueller

{-# LANGUAGE DataKinds          #-}
{-# LANGUAGE DeriveFoldable     #-}
{-# LANGUAGE DeriveFunctor      #-}
{-# LANGUAGE DeriveGeneric      #-}
{-# LANGUAGE DeriveTraversable  #-}
{-# LANGUAGE FlexibleContexts   #-}
{-# LANGUAGE FlexibleInstances  #-}
{-# LANGUAGE GADTs              #-}
{-# LANGUAGE KindSignatures     #-}
{-# LANGUAGE LambdaCase         #-}

j-mueller

docker images hello-world -q | ForEach-Object { & "docker" "rmi" $_ }

j-mueller

1. Prerequisites

• Install Docker for Windows
• Change docker settings
  • Increase RAM
  • Enable shared drive

2. Start a nix shell with docker

• Create a new folder and open a terminal inside it

j-mueller

-- | Simple implementation of DST
module DST where

import Control.Applicative
import Data.Foldable
import Data.Monoid
import Data.Semigroup
import qualified Data.Set as S

-- | Belief structure, mass function, basic belief assignment

j-mueller

23c23
<     <version>7</version>
---
>     <version>9</version>
29c29
<   <version>3.9.0.Final</version>
---
>   <version>3.9.4.Final</version>
73a74,82
>     <dependency>