变量不在范围内:端点 :: Contract s0 T.Text a0

如何解决变量不在范围内:端点 :: Contract s0 T.Text a0

我是 Plutus 的新手,我正在学习本教程,但我点击了评估却收到了这个错误。我不确定这是否来自操场,因为我使用了他们新教程中的相同代码

错误在我编译时不会出现,只有在我尝试通过单击“评估”来查看交易时才会发生。我不确定这是否是代码的问题,因为它通过了编译。

错误消息似乎与代码本身无关。甚至在测试区块链上出现零交易时也会出错。我尝试了不同的交易变化。我知道这些更新本周刚刚发布。我仔细检查了文档。

https://docs.cardano.org/projects/plutus/en/latest/tutorials/plutus-playground.html https://playground.plutus.iohkdev.io/

Interpreter Errors
 error:
    • Variable not in scope: endpoints :: Contract s0 T.Text a0
    • Perhaps you meant ‘endpoint’ (imported from Language.Plutus.Contract)
    |
101 | main = printJson $ stage endpoints "\"[{\\\"blocks\\\":10,\\\"tag\\\":\\\"AddBlocks\\\"},{\\\"blocks\\\":10,\\\"tag\\\":\\\"AddBlocks\\\"}]\"" "[{\"simulatorWalletBalance\":{\"getValue\":[[{\"unCurrencySymbol\":\"\"},[[{\"unTokenName\":\"\"},10]]]]},\"simulatorWalletWallet\":{\"getWallet\":1}},{\"simulatorWalletBalance\":{\"getValue\":[[{\"unCurrencySymbol\":\"\"},\"simulatorWalletWallet\":{\"getWallet\":2}}]"
    |                          ^^^^^^^^^


import           Control.Monad             (void)
import           Data.Aeson                (FromJSON,ToJSON)
import qualified Data.Text                 as T
import           GHC.Generics              (Generic)
import           Language.Plutus.Contract
import qualified Language.PlutusTx         as PlutusTx
import           Language.PlutusTx.Prelude
import           Ledger
import qualified Ledger.Ada                as Ada
import qualified Ledger.Constraints        as Constraints
import qualified Ledger.Typed.Scripts      as Scripts
import           Schema
import           Wallet.Emulator.Wallet
import           Playground.Contract


data SplitData = 
    SplitData
        { recipient1 :: PubKeyHash -- First Recipent of the funds,recipient2 :: PubKeyHash -- Second Recipentt of the funds,amount     :: Ada        -- How much ADA gets locked
        }
    deriving stock (Show,Generic)

PlutusTx.makeIsData ''SplitData
PlutusTx.makeLift ''SplitData


validateSplit :: SplitData -> () -> ValidatorCtx -> Bool
validateSplit SplitData{recipient1,recipient2,amount} _ ValidatorCtx{valCtxTxInfo} =
    let half = Ada.divide amount 2 in 
    Ada.fromValue (valuePaidTo valCtxTxInfo recipient1) >= half &&
    Ada.fromValue (valuePaidTo valCtxTxInfo recipient2) >= (amount - half)

data Split 
instance Scripts.ScriptType Split where
    type instance RedeemerType Split = ()
    type instance DatumType Split = SplitData

splitInstance :: Scripts.ScriptInstance Split
splitInstance = Scripts.validator @Split 
    $$(PlutusTx.compile [|| validateSplit ||])
    $$(PlutusTx.compile [|| warp ||]) where
        warp = Scripts.wrapValidator @SplitData @()

data LockArgs = 
        LockArgs
        {  recipient1Wallet :: Wallet,recipient2Wallet :: Wallet,totalAda         :: Ada 
        }
    deriving stock (Show,Generic)
    deriving anyclass (ToJSON,FromJSON,ToSchema)

type SplitSchema = 
    BlockchainActions
        .\/ Endpoint "lock" LockArgs
        .\/ Endpoint "unlock" LockArgs

lock :: Contract SplitSchema T.Text LockArgs
lock = endpoint @"lock"

unlock :: Contract SplitSchema T.Text LockArgs
unlock = endpoint @"unlock"

mkSplitData :: LockArgs -> SplitData
mkSplitData LockArgs{recipient1Wallet,recipient2Wallet,totalAda} =
    let convert :: Wallet -> PubKeyHash
        convert = pubKeyHash . walletPubKey
    in
    SplitData
    { recipient1 = convert recipient1Wallet,recipient2 = convert recipient2Wallet,amount = totalAda
    }

lockFunds :: SplitData -> Contract SplitSchema T.Text ()
lockFunds s@SplitData{amount} = do
    logInfo $ "Locking" <> show amount
    let tx = Constraints.mustPayToTheScript s (Ada.tovalue amount)
    void $ submitTxConstraints splitInstance tx

unlockFunds :: SplitData -> Contract SplitSchema T.Text ()
unlockFunds SplitData{recipient1,amount} = do
    let contractAddress = (Ledger.scriptAddress (Scripts.validatorScript splitInstance))
    utxos <- utxoAt contractAddress
    let half = Ada.divide amount 2
        tx = 
            collectFromScript utxos ()
            <> Constraints.mustPayToPubKey recipient1 (Ada.tovalue half)
            <> Constraints.mustPayToPubKey recipient2 (Ada.tovalue  $ amount - half)
    void $ submitTxConstraintsspending splitInstance utxos tx 


mkSchemaDeFinitions ''SplitSchema

$(mkKNownCurrencies [])```

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


Selenium Web驱动程序和Java。元素在(x,y)点处不可单击。其他元素将获得点击?
Python-如何使用点“。” 访问字典成员?
Java 字符串是不可变的。到底是什么意思?
Java中的“ final”关键字如何工作?(我仍然可以修改对象。)
“loop:”在Java代码中。这是什么,为什么要编译?
java.lang.ClassNotFoundException:sun.jdbc.odbc.JdbcOdbcDriver发生异常。为什么?
这是用Java进行XML解析的最佳库。
Java的PriorityQueue的内置迭代器不会以任何特定顺序遍历数据结构。为什么?
如何在Java中聆听按键时移动图像。
Java“Program to an interface”。这是什么意思?