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
|
cabal-version: 2.2
name: boring
version: 0.2.2
synopsis: Boring and Absurd types
description:
* @Boring@ types are isomorphic to @()@.
.
* @Absurd@ types are isomorphic to @Void@.
.
See [What does () mean in Haskell -answer by Conor McBride](https://stackoverflow.com/questions/33112439/what-does-mean-in-haskell/33115522#33115522)
homepage: https://github.com/phadej/boring
bug-reports: https://github.com/phadej/boring/issues
license: BSD-3-Clause
license-file: LICENSE
author: Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer: Oleg.Grenrus <oleg.grenrus@iki.fi>
copyright: (c) 2017-2021 Oleg Grenrus
category: Data
build-type: Simple
extra-source-files: ChangeLog.md
tested-with:
GHC ==8.6.5
|| ==8.8.4
|| ==8.10.7
|| ==9.0.2
|| ==9.2.8
|| ==9.4.8
|| ==9.6.5
|| ==9.8.2
|| ==9.10.1
source-repository head
type: git
location: https://github.com/phadej/boring.git
subdir: boring
flag tagged
description:
You can disable the use of the `tagged` package using `-f-tagged`.
.
Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.
default: True
manual: True
library
exposed-modules: Data.Boring
build-depends:
base >=4.12.0.0 && <4.21
, transformers >=0.5.6.2 && <0.7
if impl(ghc <7.6)
build-depends: ghc-prim
if flag(tagged)
build-depends: tagged >=0.8.6 && <0.9
other-extensions:
CPP
DefaultSignatures
FlexibleContexts
GADTs
Trustworthy
TypeOperators
hs-source-dirs: src
default-language: Haskell2010
|
