/
typelet.cabal
100 lines (96 loc) · 2.69 KB
/
typelet.cabal
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
cabal-version: 2.4
build-type: Simple
name: typelet
version: 0.1.3
synopsis: Plugin to faciliate type-level let
description: For a certain class of programs, type-level let is essential
in order to be able to write these programs in such a way
that they do not result in ghc core that is quadratic in
size. Type-level let is not explicitly supported in ghc,
but we can encode it. The @typelet@ library provides a
type-checker plugin that makes the encoding more convenient
to use as well as more effective.
bug-reports: https://github.com/well-typed/typelet/issues
license: BSD-3-Clause
author: Edsko de Vries
maintainer: edsko@well-typed.com
copyright: Well-Typed LLP, Juspay Technologies Pvt Ltd
category: Plugin
extra-source-files: CHANGELOG.md
tested-with: GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.5
source-repository head
type: git
location: https://github.com/well-typed/typelet
library
exposed-modules:
TypeLet
TypeLet.UserAPI
TypeLet.Plugin
other-modules:
TypeLet.Plugin.Constraints
TypeLet.Plugin.GhcTcPluginAPI
TypeLet.Plugin.NameResolution
TypeLet.Plugin.Substitution
build-depends:
base >= 4.13 && < 4.18
, ghc-tcplugin-api >= 0.10 && < 0.11
-- whichever versions are bundled with ghc:
, containers
, ghc
hs-source-dirs:
src
default-language:
Haskell2010
default-extensions:
DataKinds
DeriveFunctor
FlexibleInstances
GADTs
KindSignatures
LambdaCase
MultiParamTypeClasses
PolyKinds
RankNTypes
RecordWildCards
ScopedTypeVariables
TupleSections
other-extensions:
CPP
ghc-options:
-Wall
test-suite test-typelet
default-language:
Haskell2010
default-extensions:
DataKinds
FlexibleContexts
FlexibleInstances
GADTs
KindSignatures
MultiParamTypeClasses
PolyKinds
RankNTypes
ScopedTypeVariables
StandaloneDeriving
TypeApplications
TypeFamilies
TypeOperators
UndecidableInstances
type:
exitcode-stdio-1.0
hs-source-dirs:
test
main-is:
TestTypeLet.hs
other-modules:
Test.Infra
Test.Sanity
Test.WithoutPlugin
build-depends:
base
, typelet
, tasty
, tasty-hunit
, tasty-quickcheck
ghc-options:
-Wall