Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/olofblomqvist/marlowe-fs
https://github.com/olofblomqvist/marlowe-fs
Last synced: 14 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/olofblomqvist/marlowe-fs
- Owner: OlofBlomqvist
- License: mit
- Created: 2023-07-14T21:44:59.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-07-30T14:39:24.000Z (over 1 year ago)
- Last Synced: 2024-04-16T05:10:19.467Z (9 months ago)
- Language: F#
- Size: 1.15 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Marlowe-FS
F# Bindings for [Marlowe-RS] (https://github.com/OlofBlomqvist/marlowe-rs)
*Based on marlowe-rs v0.2.0 via WASI*
**This is an extremely unstable repository, don't try to use it for anything important**
Project goals:
- Provide all features that Marlowe_Lang ([Marlowe-RS](https://github.com/OlofBlomqvist/marlowe-rs)) does.
- Allow for designing Marlowe contracts in F#
- Provide base layer for equivalent C# Marlowe SDK```
$ dotnet fsi .\example.fsx >Marlowe Core JSON -> F#:
Pay
(Role "role2", Account (Role "role1"), { CurrencySymbol = "def"
TokenName = "abc" }, Constant 111111L,
Close)F# -> Marlowe Core JSON:
{
"from_account": {
"role_token": "nisse"
},
"to": {
"party": {
"role_token": "Kalle"
}
},
"token": {
"currency_symbol": "symbol",
"token_name": "name"
},
"pay": 10,
"then": "close"
}CBOR-HEX datum -> Marlowe Core JSON:
"{
"marlowe_params": "8bb3b343d8e404472337966a722150048c768d0a92a9813596c5338d",
"state": {
"accounts": [
[
[
{
"address": "addr_test1vrsdcu86j6v8yljrnh69ssm8jlg90n075hnu9pzdz2m2lzsdlspjq"
},
{
"token_name": "",
"currency_symbol": ""
}
],
3000000
]
],
"choices": [],
"boundValues": [],
"minTime": 0
},
"contract": {
"token": {
"token_name": "",
"currency_symbol": ""
},
"to": {
"party": {
"role_token": "WithdrawalTest1"
}
},
"then": "close",
"pay": 10000000,
"from_account": {
"address": "addr_test1vrsdcu86j6v8yljrnh69ssm8jlg90n075hnu9pzdz2m2lzsdlspjq"
}
}
}"
```