File tree
6 files changed
+6
-6
lines changed- deps
- grift
- grift-doc
- grift-sim
6 files changed
+6
-6
lines changedSubmodule parameterized-utils updated 55 files
- .github/workflows/test.yml+87
- .gitignore+1
- .travis.yml-103
- Changelog.md+279
- LICENSE+1-1
- README.md+250
- parameterized-utils.cabal+81-40
- src/Data/Parameterized/All.hs+69
- src/Data/Parameterized/Axiom.hs+48
- src/Data/Parameterized/BoolRepr.hs+118
- src/Data/Parameterized/Classes.hs+86-25
- src/Data/Parameterized/ClassesC.hs+7-5
- src/Data/Parameterized/Compose.hs+8-14
- src/Data/Parameterized/Context.hs+120-23
- src/Data/Parameterized/Context/Safe.hs+123-37
- src/Data/Parameterized/Context/Unsafe.hs+115-35
- src/Data/Parameterized/Ctx.hs+11-1
- src/Data/Parameterized/Ctx/Proofs.hs+6-5
- src/Data/Parameterized/DataKind.hs+54
- src/Data/Parameterized/DecidableEq.hs+3-2
- src/Data/Parameterized/Fin.hs+148
- src/Data/Parameterized/FinMap.hs+79
- src/Data/Parameterized/FinMap/Safe.hs+248
- src/Data/Parameterized/FinMap/Unsafe.hs+249
- src/Data/Parameterized/HashTable.hs+12-10
- src/Data/Parameterized/List.hs+196-14
- src/Data/Parameterized/Map.hs+190-84
- src/Data/Parameterized/NatRepr.hs+68-110
- src/Data/Parameterized/NatRepr/Internal.hs+100
- src/Data/Parameterized/Nonce.hs+33-32
- src/Data/Parameterized/Nonce/Transformers.hs+6-4
- src/Data/Parameterized/Nonce/Unsafe.hs+7-18
- src/Data/Parameterized/Pair.hs+4-2
- src/Data/Parameterized/Peano.hs+268-55
- src/Data/Parameterized/Some.hs+17-3
- src/Data/Parameterized/SymbolRepr.hs+29-10
- src/Data/Parameterized/TH/GADT.hs+346-49
- src/Data/Parameterized/TestEquality.hs-36
- src/Data/Parameterized/TraversableF.hs+57-12
- src/Data/Parameterized/TraversableFC.hs+58-11
- src/Data/Parameterized/TraversableFC/WithIndex.hs+175
- src/Data/Parameterized/Utils/BinTree.hs+10-10
- src/Data/Parameterized/Utils/Endian.hs+13
- src/Data/Parameterized/Vector.hs+293-46
- src/Data/Parameterized/WithRepr.hs+116
- test/Test/Context.hs+571-134
- test/Test/Fin.hs+87
- test/Test/FinMap.hs+393
- test/Test/List.hs+29
- test/Test/NatRepr.hs+20-11
- test/Test/Some.hs+74
- test/Test/SymbolRepr.hs+33
- test/Test/TH.hs+83
- test/Test/Vector.hs+320-49
- test/UnitTest.hs+12
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
| 23 | + | |
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
24 |
| - | |
| 24 | + | |
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
37 |
| - | |
| 37 | + | |
38 | 38 |
| |
39 | 39 |
| |
40 | 40 |
| |
|
0 commit comments