SystemSh0cker/monaco-editor
1
0
Fork 0
mirror of https://github.com/microsoft/monaco-editor.git synced 2025-12-22 20:52:56 +01:00
Code Issues Projects Releases Packages Activity

deploy: e531b5c337

Browse source
This commit is contained in:
azure-pipelines[bot] 2023-03-28 07:39:06 +00:00
parent 67e01c76b4
commit 02bed41d9a
554 changed files with 652 additions and 377 deletions
Download patch file Download diff file Expand all files Collapse all files

2
8491.js Normal file
View file

@ -0,0 +1,2 @@
"use strict";(self.webpackChunkmy_application=self.webpackChunkmy_application||[]).push([[8491],{8491:(e,n,t)=>{t.r(n),t.d(n,{default:()=>a});const a='// Contract simulating developers organization\ncontract HackBG =\n\n record state = { developers: map(address, developer) }\n\n record developer = { name: string\n , age: int\n , skillset: map(skill, experience) }\n\n type skill = string\n type experience = int\n\n datatype event =\n LogDeveloperAdded(indexed address, indexed int, string)\n\n entrypoint init() : state = { developers = {} }\n\n stateful entrypoint dev_add(account: address, dev_name: string, dev_age: int) =\n require(!is_member(account), "ERROR_DEVELOPER_ALREADY_EXISTS")\n let dev : developer = { name = dev_name\n , age = dev_age\n , skillset = {} }\n put(state{ developers[account] = dev })\n Chain.event(LogDeveloperAdded(account, Chain.timestamp, dev_name))\n\n stateful entrypoint dev_update(account: address, dev_name: string, dev_age: int) =\n require(is_member(account), "ERROR_DEVELOPER_DOES_NOT_EXIST")\n put(state{ developers[account].name = dev_name })\n put(state{ developers[account].age = dev_age })\n\n function is_member(account: address) : bool =\n Map.member(account, state.developers)\n\n stateful entrypoint dev_skill_modify(account: address, skill: string, experience: int) =\n put(state{ developers[account].skillset[skill] = experience })\n\n entrypoint dev_get(account: address) : developer =\n state.developers[account]'}}]);
//# sourceMappingURL=8491.js.map