Pact layer

Table of ContentsClose

1. Description
- 1.1. Features:
2. Install
- 2.1. Layer
- 2.2. Flycheck
3. Key bindings
- 3.1. REPL

1. Description¶

This layer adds support for the Pact Smart Contract Language.

1.1. Features:¶

Syntax highlighting for .pact source files
Easy interaction with an embedded Pact REPL
Flycheck integration

Note: You will need a pact binary on your PATH for REPL features to function.

2. Install¶

2.1. Layer¶

To use this configuration layer, add it to your ~/.spacemacs. You will need to add pact to the existing dotspacemacs-configuration-layers list in this file.

2.2. Flycheck¶

To enable flycheck, add the following to your dotspacemacs/user-config:

(add-hook 'pact-mode-hook 'flycheck-mode)

3. Key bindings¶

All Pact specific bindings are prefixed with the major-mode leader SPC m.

3.1. REPL¶

REPL commands are prefixed by SPC m s:

Key binding	Description
`SPC m s '`	Open a Pact REPL in a new frame
`SPC m s b`	Load or reload the current buffer into the REPL