-
Notifications
You must be signed in to change notification settings - Fork 0
/
exceptions-checked.cabal
98 lines (93 loc) · 3 KB
/
exceptions-checked.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
cabal-version: 1.24.2.0
name: exceptions-checked
version: 0.0.1
synopsis: Statically Checked Exceptions
description:
This package provides an API to statically check exceptions at the
type-level. Think of it like checked exceptions in Java, but with better
ergonomics. People sometimes claim that checked exceptions are a failed
experiment. This module is an attempt to prove the contrary.
.
Though there are enough differences to warrant a separate package, this
work is heavily derived from Pepe Iborra's
<https://hackage.haskell.org/package/control-monad-exception control-monad-exception>
package and supporting paper
<https://dl.acm.org/citation.cfm?id=2127644 Explicitly typed exceptions for Haskell>.
.
Some features include:
.
* delegation of exception handling to the
<https://hackage.haskell.org/package/safe-exceptions safe-exceptions>
library (instead of 'Control.Exception') for improved handling of
synchronous versus asynchronous exceptions.
.
* an ergonomic API including not just a basic 'throw' and 'catch', but
handling functions such as 'catches', 'finally', 'bracket', and
'onException'.
category: Control
stability: Unspecified
homepage: https://github.com/shajra/exceptions-checked#readme
bug-reports: https://github.com/shajra/exceptions-checked/issues
author: Sukant Hajra, Pepe Iborra
maintainer: Sukant Hajra <rrudbskr5g@snkmail.com>
copyright: (c) 2018 Sukant Hajra
license: BSD3
license-file: LICENSE
extra-doc-files:
README.md
CHANGELOG.md
build-type: Custom
tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3
source-repository head
type: git
location: https://github.com/shajra/exceptions-checked
flag strict
default: False
manual: True
custom-setup
setup-depends:
base
, Cabal
, cabal-doctest
library
hs-source-dirs: src
build-depends:
base >= 4.9.1.0 && < 4.13
, deepseq >= 1.4.2.0 && < 1.5
, exceptions >= 0.8.3 && < 0.11
, mtl >= 2.2.1 && < 2.3
, mmorph >= 1.0.9 && < 1.2
, safe-exceptions >= 0.1.6.0 && < 0.2
exposed-modules:
Control.Exception.Checked
default-language: Haskell2010
ghc-options:
-Wall
-Wincomplete-uni-patterns
-Wincomplete-record-updates
if flag(strict)
ghc-options: -Werror
test-suite doctests
x-doctest-components: test:doctests
x-doctest-source-dirs: test
x-doctest-modules:
Doctest.Checked.Catch
Doctest.Checked.Throw
type: exitcode-stdio-1.0
main-is: doctests.hs
hs-source-dirs: test
other-modules:
Doctest.Checked.Catch
Doctest.Checked.Throw
build-depends:
base
, doctest
, exceptions-checked
ghc-options:
-Wall
-Wincomplete-uni-patterns
-Wincomplete-record-updates
-threaded
if flag(strict)
ghc-options: -Werror
default-language: Haskell2010