Usage
To transcode an archetype file escrow.arl to michelson:
$ archetype escrow.arl
To transcode to whyml:
$ archetype -t whyml escrow.arl
To list available target languages:
$ archetype --list-targetligowhyml
To list available commands:
$ archetype --helpusage : archetype [-t <lang> | -pt | -ast | -mdl | -c | -ir | -lsp <request>] [-r ] <file>Available options:-c compile to michelson--compile Same as -c-t <lang> Transcode to <lang> language--target Same as -t--list-target List available target languages-pt Generate parse tree--parse-tree Same as -pt-ast Generate typed ast--typed-ast Same as -ast-mdl Generate model--model Same as -mdl-fp Focus property (with whyml target only)--focus-property Same as -fp-sci Set caller address for initialization--set-caller-init Same as -sci-lsp <request> Generate language server protocol response to <resquest>--list-lsp-request List available request for lsp--service <service> Generate service response to <service>--list-services List available services-m Pretty print model tree--model Same as -m-r Print raw model tree--raw Same as -r-ry Print raw model tree--raw-whytree Same as -r-ir Generate intermediate representation--intermediate-representation Same as -ir-ri Print raw intermediate representation--raw-ir Same as -ri-rm Print raw michelson--raw-michelson Same as -rm-V <id> process specication identifiers-v Show version number and exit--version Same as -v-help Display this list of options--help Display this list of options
The archetype extension provides:
syntax highlighting
LSP support
transcoding commands
The archetype extension provides commands to compile to Michelson via Ligo, and to launch the why3 IDE for verification:
Last updated 1 month ago