forked from helq/safety-envelopes-sentinels
-
Notifications
You must be signed in to change notification settings - Fork 0
/
safety-envelopes-sentinels.cabal
202 lines (196 loc) · 7.41 KB
/
safety-envelopes-sentinels.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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 503297da459da542d038274321ecdc9f2a031ad1d6b984a12b6572640199e8d4
name: safety-envelopes-sentinels
version: 0.1.2.0
description: Please see the README on GitHub at <https://github.com/helq/safety-envelopes-sentinels#readme>
homepage: https://github.com/helq/safety-envelopes-sentinels#readme
bug-reports: https://github.com/helq/safety-envelopes-sentinels/issues
author: Elkin Cruz
maintainer: Elkin Cruz
copyright: 2020 Elkin Cruz
license: BSD3
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
source-repository head
type: git
location: https://github.com/helq/safety-envelopes-sentinels
library
exposed-modules:
MAlonzo.Code.Agda.Builtin.Bool
MAlonzo.Code.Agda.Builtin.Char
MAlonzo.Code.Agda.Builtin.Equality
MAlonzo.Code.Agda.Builtin.Float
MAlonzo.Code.Agda.Builtin.Int
MAlonzo.Code.Agda.Builtin.List
MAlonzo.Code.Agda.Builtin.Nat
MAlonzo.Code.Agda.Builtin.Sigma
MAlonzo.Code.Agda.Builtin.Strict
MAlonzo.Code.Agda.Builtin.String
MAlonzo.Code.Agda.Builtin.Unit
MAlonzo.Code.Agda.Primitive
MAlonzo.Code.Algebra
MAlonzo.Code.Algebra.Bundles
MAlonzo.Code.Algebra.Core
MAlonzo.Code.Algebra.Definitions
MAlonzo.Code.Algebra.FunctionProperties
MAlonzo.Code.Algebra.FunctionProperties.Consequences
MAlonzo.Code.Algebra.FunctionProperties.Consequences.Core
MAlonzo.Code.Algebra.FunctionProperties.Consequences.Propositional
MAlonzo.Code.Algebra.Morphism
MAlonzo.Code.Algebra.Morphism.Definitions
MAlonzo.Code.Algebra.Morphism.Structures
MAlonzo.Code.Algebra.Properties.BooleanAlgebra
MAlonzo.Code.Algebra.Properties.DistributiveLattice
MAlonzo.Code.Algebra.Properties.Group
MAlonzo.Code.Algebra.Properties.Lattice
MAlonzo.Code.Algebra.Properties.Semilattice
MAlonzo.Code.Algebra.Structures
MAlonzo.Code.Avionics.Probability
MAlonzo.Code.Avionics.Real
MAlonzo.Code.Avionics.SafetyEnvelopes
MAlonzo.Code.Avionics.SafetyEnvelopes.ExtInterface
MAlonzo.Code.Axiom.Extensionality.Propositional
MAlonzo.Code.Axiom.UniquenessOfIdentityProofs
MAlonzo.Code.Category.Applicative
MAlonzo.Code.Category.Applicative.Indexed
MAlonzo.Code.Category.Functor
MAlonzo.Code.Category.Monad
MAlonzo.Code.Category.Monad.Indexed
MAlonzo.Code.Data.Bool
MAlonzo.Code.Data.Bool.Base
MAlonzo.Code.Data.Bool.Properties
MAlonzo.Code.Data.Char.Base
MAlonzo.Code.Data.Empty
MAlonzo.Code.Data.Empty.Irrelevant
MAlonzo.Code.Data.Fin
MAlonzo.Code.Data.Fin.Base
MAlonzo.Code.Data.Fin.Properties
MAlonzo.Code.Data.Float
MAlonzo.Code.Data.List
MAlonzo.Code.Data.List.Base
MAlonzo.Code.Data.List.Membership.Propositional
MAlonzo.Code.Data.List.Membership.Setoid
MAlonzo.Code.Data.List.NonEmpty
MAlonzo.Code.Data.List.Properties
MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
MAlonzo.Code.Data.List.Relation.Binary.Lex.Strict
MAlonzo.Code.Data.List.Relation.Binary.Pointwise
MAlonzo.Code.Data.List.Relation.Unary.All
MAlonzo.Code.Data.List.Relation.Unary.Any
MAlonzo.Code.Data.Maybe
MAlonzo.Code.Data.Maybe.Base
MAlonzo.Code.Data.Maybe.Relation.Unary.All
MAlonzo.Code.Data.Maybe.Relation.Unary.Any
MAlonzo.Code.Data.Nat
MAlonzo.Code.Data.Nat.Base
MAlonzo.Code.Data.Nat.Properties
MAlonzo.Code.Data.Product
MAlonzo.Code.Data.String.Base
MAlonzo.Code.Data.Sum
MAlonzo.Code.Data.Sum.Base
MAlonzo.Code.Data.These
MAlonzo.Code.Data.These.Base
MAlonzo.Code.Data.Unit
MAlonzo.Code.Data.Unit.Base
MAlonzo.Code.Data.Unit.Properties
MAlonzo.Code.Data.Vec
MAlonzo.Code.Data.Vec.Base
MAlonzo.Code.Data.Vec.Bounded.Base
MAlonzo.Code.ExtInterface.Data.Maybe
MAlonzo.Code.ExtInterface.Data.Product
MAlonzo.Code.Function
MAlonzo.Code.Function.Base
MAlonzo.Code.Function.Bijection
MAlonzo.Code.Function.Bundles
MAlonzo.Code.Function.Core
MAlonzo.Code.Function.Definitions
MAlonzo.Code.Function.Definitions.Core1
MAlonzo.Code.Function.Definitions.Core2
MAlonzo.Code.Function.Equality
MAlonzo.Code.Function.Equivalence
MAlonzo.Code.Function.Injection
MAlonzo.Code.Function.Inverse
MAlonzo.Code.Function.LeftInverse
MAlonzo.Code.Function.Structures
MAlonzo.Code.Function.Surjection
MAlonzo.Code.Level
MAlonzo.Code.Relation.Binary
MAlonzo.Code.Relation.Binary.Bundles
MAlonzo.Code.Relation.Binary.Consequences
MAlonzo.Code.Relation.Binary.Construct.NaturalOrder.Left
MAlonzo.Code.Relation.Binary.Construct.NonStrictToStrict
MAlonzo.Code.Relation.Binary.Core
MAlonzo.Code.Relation.Binary.Definitions
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Construct.Trivial
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Core
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Definitions
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
MAlonzo.Code.Relation.Binary.Lattice
MAlonzo.Code.Relation.Binary.Morphism.Definitions
MAlonzo.Code.Relation.Binary.Morphism.Structures
MAlonzo.Code.Relation.Binary.Properties.Poset
MAlonzo.Code.Relation.Binary.Properties.Preorder
MAlonzo.Code.Relation.Binary.PropositionalEquality
MAlonzo.Code.Relation.Binary.PropositionalEquality.Core
MAlonzo.Code.Relation.Binary.Reasoning.Base.Partial
MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
MAlonzo.Code.Relation.Binary.Reasoning.PartialSetoid
MAlonzo.Code.Relation.Binary.Reasoning.Setoid
MAlonzo.Code.Relation.Binary.Structures
MAlonzo.Code.Relation.Nullary
MAlonzo.Code.Relation.Nullary.Decidable
MAlonzo.Code.Relation.Nullary.Decidable.Core
MAlonzo.Code.Relation.Nullary.Negation
MAlonzo.Code.Relation.Nullary.Product
MAlonzo.Code.Relation.Nullary.Reflects
MAlonzo.Code.Relation.Nullary.Sum
MAlonzo.Code.Relation.Unary
MAlonzo.Code.Relation.Unary.Properties
MAlonzo.Code.Strict
MAlonzo.RTE
SafetyEnvelopes
other-modules:
Paths_safety_envelopes_sentinels
hs-source-dirs:
src
ghc-options: -fwarn-incomplete-patterns -fno-warn-overlapping-patterns
build-depends:
base >=4.7 && <5
, ieee754 >=0.7.8 && <0.9
, pipes
, text >=1.2.3.1 && <1.3
default-language: Haskell2010
executable sentinels-exe
main-is: Main.hs
other-modules:
Paths_safety_envelopes_sentinels
hs-source-dirs:
app
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.7 && <5
, pipes
, safety-envelopes-sentinels
default-language: Haskell2010
test-suite sentinels-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Paths_safety_envelopes_sentinels
hs-source-dirs:
test
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.7 && <5
, pipes
, safety-envelopes-sentinels
default-language: Haskell2010