start new:
tmux
start new with session name:
tmux new -s myname
{"valueParameterInfo":[["Deposit",{"valueParameterFormat":{"contents":[6,""],"tag":"DecimalFormat"},"valueParameterDescription":""}]],"timeParameterDescriptions":[],"roleDescriptions":[["Giver1",""]],"contractType":"Other","contractShortDescription":"","contractName":"Double Pay","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]} |
{-# LANGUAGE OverloadedStrings #-} | |
module Example where | |
import Language.Marlowe.Extended | |
np = 3 :: Integer -- Number of payments (positive integer) | |
am = 50 :: Integer -- Amount (in Ada) of each deposit by Client (positive integer) | |
main :: IO () | |
main = printJSON $ contract np am (TimeParam "Bank Deadline") (TimeParam "Client Deadline") |
{"valueParameterInfo":[["Bank Deposit",{"valueParameterFormat":{"contents":[6,""],"tag":"DecimalFormat"},"valueParameterDescription":""}],["Client Deposit",{"valueParameterFormat":{"contents":[6,""],"tag":"DecimalFormat"},"valueParameterDescription":""}]],"timeParameterDescriptions":[["Bank Deposit Timeout",""],["Client Deposit Timeout 1",""]],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]} |
{"valueParameterInfo":[["Amount",{"valueParameterFormat":{"contents":[6,"Ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Amount"}]],"timeParameterDescriptions":[["despositDeadline","Deadline for the deposit"],["choiceDeadline","Deadline for the choice"]],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]} |
{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Simple contract example","contractName":"Simple contract","contractLongDescription":"The giver pay to there account 100 Ada and the receiver get's all Ada from the giver account","choiceInfo":[]} |
{ | |
"Producers": [ | |
{ | |
"addr": "relay1.hype-staking.com", | |
"port": 3001, | |
"valency": 1 | |
}, | |
{ | |
"addr": "relay2.hype-staking.com", | |
"port": 3002, |
/** | |
* Remove all specified keys from an object, no matter how deep they are. | |
* The removal is done in place, so run it on a copy if you don't want to modify the original object. | |
* This function has no limit so circular objects will probably crash the browser | |
* | |
* @param obj The object from where you want to remove the keys | |
* @param keys An array of property names (strings) to remove | |
*/ | |
function removeKeys(obj, keys){ | |
var index; |
// Generate class helpers for size properties such as margin, padding, font-size | |
// Usage : | |
// @include marginer(5, 60, 5) | |
// .mt5 will then add margin-top:5px to the element, | |
// and so on for each side, from 5px to 60px with a 5px step. | |
@mixin marginer($min, $max, $step) { | |
.mt#{$min} {margin-top: $min*1px} | |
.mb#{$min} {margin-bottom: $min*1px} | |
.ml#{$min} {margin-left: $min*1px} |
<snippet> | |
<content><![CDATA[it('should ${1}', ${2:async }() => { | |
${0:// body...} | |
}); | |
]]></content> | |
<tabTrigger>it</tabTrigger> | |
<scope>source.js,source.ts</scope> | |
<description>BDD It</description> | |
</snippet> |