-
Notifications
You must be signed in to change notification settings - Fork 0
/
witness.cabal
112 lines (109 loc) · 3.51 KB
/
witness.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
101
102
103
104
105
106
107
108
109
110
111
112
cabal-version: 2.2
-- This file has been generated from package.yaml by hpack version 0.36.0.
--
-- see: https://github.com/sol/hpack
name: witness
version: 0.6.2
synopsis: values that witness types
description: A /witness/ is a value that witnesses some sort of constraint on some list of type variables. This library provides support for a wide variety of witness types. It also provides classes for /representatives/, which are values that represent types.
category: Data
homepage: https://github.com/AshleyYakeley/witness
bug-reports: https://github.com/AshleyYakeley/witness/issues
author: Ashley Yakeley
maintainer: <ashley@semantic.org>
copyright: (c) 2017-2022 Ashley Yakeley
license: BSD-2-Clause
license-file: LICENSE
build-type: Simple
extra-source-files:
changelog.md
library
exposed-modules:
Data.Type.Witness.Apply
Data.PeanoNat
Data.Type.Witness.General.TestHetEquality
Data.Type.Witness.General.HetConstraint
Data.Type.Witness.Specific.Some
Data.Type.Witness.Specific.All
Data.Type.Witness.General.AllConstraint
Data.Type.Witness.General.WitnessConstraint
Data.Type.Witness.General.WitnessValue
Data.Type.Witness.General.ListElement
Data.Type.Witness.Specific.Symbol
Data.Type.Witness.General.Finite
Data.Type.Witness.Specific.Single
Data.Type.Witness.Specific.Pair
Data.Type.Witness.Specific.Empty
Data.Type.Witness.Specific.Either
Data.Type.Witness.Specific.FiniteAllFor
Data.Type.Witness.Specific.WitnessMap.Of
Data.Type.Witness.Specific.WitnessMap.For
Data.Type.Witness.Specific.OrderedWitnessMap.Of
Data.Type.Witness.Specific.OrderedWitnessMap.For
Data.Type.Witness.Specific.PeanoNat
Data.Type.Witness.Specific.Natural
Data.Type.Witness.Specific.FixedList
Data.Type.Witness.Specific.List.Element
Data.Type.Witness.Specific.List.List
Data.Type.Witness.Specific.Concat
Data.Type.Witness.Specific.ApplyStack
Data.Type.Witness.Specific.List.Product
Data.Type.Witness.Specific.List.Sum
Data.Type.Witness.General.Representative
Data.Type.Witness.General.Order
Data.Type.Witness
other-modules:
Import
hs-source-dirs:
src
default-extensions:
AllowAmbiguousTypes
Arrows
ConstraintKinds
DataKinds
DefaultSignatures
EmptyCase
EmptyDataDecls
ExistentialQuantification
FlexibleContexts
FlexibleInstances
ForeignFunctionInterface
FunctionalDependencies
GADTs
GeneralizedNewtypeDeriving
ImplicitParams
NoImplicitPrelude
InstanceSigs
KindSignatures
LambdaCase
MultiParamTypeClasses
OverloadedLabels
OverloadedStrings
PartialTypeSignatures
PatternGuards
PatternSynonyms
PolyKinds
QuantifiedConstraints
RankNTypes
RecordWildCards
RecursiveDo
ScopedTypeVariables
StandaloneDeriving
StandaloneKindSignatures
NoStarIsType
TemplateHaskell
TypeApplications
TypeFamilies
TypeFamilyDependencies
TypeOperators
TypeSynonymInstances
UndecidableInstances
UndecidableSuperClasses
ViewPatterns
ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Wcompat -Wnoncanonical-monad-instances
build-depends:
base >=4.16 && <5
, constraints >=0.13
, containers >=0.4
, countable >=1.2
default-language: Haskell2010