Skip to content

mbj/source-constraints

Repository files navigation

CI

source-constraints

An in progress GHC plugin to add constraints on the GHC AST.

Installation

Add the following extra-dep to your stack.yml:

extra-deps:
- git: ssh://git@github.com/mbj/source-constraints
  commit: $use_current_commit_hash

Add the plugin to your packages.yml

ghc-options:
- -fplugin=SourceConstraints

About

GHC plugins to constrain the haskell source

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 3

  •  
  •  
  •