To transcode say an archetype file escrow.arl to ligo:

$ archetype -t ligo escrow.arl

To transcode to whyml:

$ archetype -t whyml escrow.arl

To list available target languages:

$ archetype --list-target

To list available commands:

$ archetype --help
usage : archetype [-t <lang> | -pt | -ext | -tast | [-ws] [-sa] [-skv] [-nse] | -lsp <request>] [-r | -json] <file>
Available options:
-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
-ext Process extensions
--extensions Same as -ext
-ast Generate typed ast
--typed-ast Same as -ast
--typed Display type in ast output
-ap Display all parenthesis in printer
--typed Same as -ap
-fp Focus property (with whyml target only)
--focus-property Same as -fp
-sci Set caller address for initialization
--set-caller-init Same as -sci
-ptc Print type contract in archetype syntax
--print-type-contract Same as -ptc
-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
-json Print JSON format
-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

VS code extension

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:

Archetype extension's commands

These commands assume that Ligo, why3, and why3 IDE are already installed.