-
Notifications
You must be signed in to change notification settings - Fork 1
/
finite.cabal
85 lines (70 loc) · 1.89 KB
/
finite.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
name: finite
version: 1.4.1.2
synopsis: Finite ranges via types
description: A framework for capturing finite ranges with
types, where the sizes of the ranges are not
fixed statically at compile time, but instead
are passed at run-time via implicit parameters.
.
This is especially useful for objects of bounded
size, e.g. finite automata, where the number of
elements being part of the object, e.g. the number
of states, is well-defined in the context of the
object.
license: MIT
license-file: LICENSE
category: Types
author: Felix Klein <klein@react.uni-saarland.de>
maintainer: Felix Klein <klein@react.uni-saarland.de>
stability: stable
build-type: Simple
extra-source-files: Readme.md
cabal-version: >=1.10
source-repository head
type: git
location: https://github.com/kleinreact/finite
library
ghc-options:
-Wall
-Wno-name-shadowing
-Wno-orphans
-fignore-asserts
build-depends:
base >=4.7 && <4.15
, array >=0.5 && <0.6
, containers >=0.5 && <0.7
, hashable >=1.2
, template-haskell >=2.11
, QuickCheck
exposed-modules:
Finite
Finite.TH
other-modules:
Finite.Class
Finite.PowerSet
Finite.Collection
Finite.Type
hs-source-dirs:
src/lib
default-language:
Haskell2010
test-suite default
ghc-options:
-Wall
-Wno-name-shadowing
-Wno-orphans
-fno-ignore-asserts
type:
detailed-0.9
test-module:
Test
hs-source-dirs:
src/test
build-depends:
base >=4.7 && <4.15
, hashable >=1.2
, Cabal >= 2.4
, QuickCheck
, finite
default-language:
Haskell2010