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

artificial-intelligence

azure-logic-apps

hedera-hashgraph

distributed-transactions

video-processing

string-formatting

visual-web-developer-2010

visitor-pattern

tensorflow-probability

google-cloud-billing

android-mediaprojection

microsoft-graph-mail

google-emm-apis

google-cloud-resource-...

cookiecutter-django

angularjs-material

video-compression

angular-oauth2-oidc

react-native-code-push

flutter-upgrade

firebase-app-distribution

vcloud-director-rest-api

woocommerce-theming

customvalidator

servicestack-openapi

xamarin.forms.listview

azure-scheduler

objective-c-2.0

object-oriented-analysis

avspeechsynthesizer

html.actionlink

mongodb-indexes

project-template

aspnet-compiler

maven-bundle-plugin

google-website-optimizer

windows-media-player

web-farm-framework

Resources