pact-lang

pact-lang

How do I declare global variables in Pact lang?

How do I exclude functions from properties on formal verification model?

Deploying contract to Kadena localdevnet error: "Cannot resolve 'validate-principle'"

Interface not defined: free.fungible-xchain-v1

How do I create a KDA wallet guard that will allow for an arbitrary number of people to withdraw from it, if they meet specific conditions?

How can i check the module-name in `cont` type transactions for gas-station?

Is it possible to use (compose-capability) with the coin.TRANSFER capability?

Kadena Cannot define a keyset outside of a namespace error

What is the result of setting the 'creationTime' metadata field of a transaction?

Why send a nonce as part of a Chainweb transaction?

How do Pact interfaces provide abstraction similar to Haskell type classes?

How do you call non-write functions from a module without needing to pay gas, using pact-lang-api?

How do I select for a row using multiple clauses in PACT smart contract language

Declaring a property test in an interface using a constant defined in the same interface

How do you add an account to Kadena Chainweaver?

Is there a way to suppress :OutputWarning: in Pact verify?

What does the error "1:1Typechecker Internal Error: User type in value position" mean?

Can managed capabilities be installed with (install-capability) outside the module in which they are defined?

Webpack/polyfill Error after installing pact-lang-api

How does a keyset get enforced on a module?

What are the semantics of capability manager functions in Pact?

How can I call a pact module on chain using passed in module+defun name

How do I install Pact onto Windows?

How do you make 2 or more keys to sign a transaction and verify the keyset?

I got this error while deploying on Kadena mainnet

How to get the sender address using Pact?

What the parameters before brackets mean?

How can I estimate gas fees before sending a transaction?

"Failure: require-capability: not granted" How do I grant a capability to my module?

How do I grant a capability to an account after a module has been deployed?

What are the limits on pact named identifiers?

How to deploy a smart contract on KADENA

Do all modules inherit the Coin contract automatically or is there a required import?

Is there a way to determine if a namespace is already taken on Chainweb?

Is it possible to UNION select from 2 tables?

Why does deploying my smart contract fail with : Failure: Tx Failed: Keyset failure (keys-any):

Are there ways to perform membership tests in pact? (performing membership test for pact tables)

Pre-Built Module bind

Formal Verification slow down with Pact?

How do you turn on Pact linting on Emacs?

Format does not except Amount:Decimal

Module gaurds in Pact

page:1 of 1 main page

Categories

lightweight-charts

amazon-sagemaker

google-smart-home

quantum-computing

nintex-workflow

sendgrid-api-v3

maven-surefire-plugin

sap-data-dictionary

bootstrap-select

building-github-actions

android-database

fixed-data-table

clearcase-remote-client

endpoints-proto-datastore

windows-phone-8-sdk

osx-snow-leopard

project-template

reporting-services-2012

windows-phone-7.1.1

windows-networking

jquery-ui-button

weak-references

Resources