writ-plugin/writ-plugin.cabal at main · Tritlo/writ-plugin · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
name: writ-plugin
cabal-version: 1.24
build-type: Simple
version: 0.0.1
author: Matthías Páll Gissurarson
maintainer: mpg@mpg.is
synopsis: Weakly type programs with runtime-irrelevant types
description:

   The WRIT plugin allows somewhat automatic coercion of representationally
   equivalent domains. By parametrizing the plugin with the Discharge, Ignore,
   Default, and Promote families, library authors can extend the type system
   of GHC to treat representationally equivalent data as nominally equivalent.

category: Compiler Plugin
license: MIT
license-file: LICENSE

library
  default-language: Haskell2010
  build-depends: base >= 4 && < 5,
                 ghc > 8.8 && < 9,
                 containers >= 0.6 && < 0.7
  exposed-modules:
    WRIT.Plugin,
    WRIT.Configure

Source-repository head
  Type:     git
  Location: https://github.com/tritlo/writ-plugin.git