Import haskell-parameterized-utils_2.1.9.0.orig.tar.gz
authorIlias Tsitsimpis <iliastsi@debian.org>
Sat, 19 Oct 2024 16:32:25 +0000 (19:32 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sat, 19 Oct 2024 16:32:25 +0000 (19:32 +0300)
commit7e43a4f6204e397117054f31ccdb06eddd208c7b
tree914062b2a4dba738587b440e0a8814a4ff317493
Import haskell-parameterized-utils_2.1.9.0.orig.tar.gz

[dgit import orig haskell-parameterized-utils_2.1.9.0.orig.tar.gz]
51 files changed:
Changelog.md [new file with mode: 0644]
LICENSE [new file with mode: 0644]
parameterized-utils.cabal [new file with mode: 0644]
src/Data/Parameterized.hs [new file with mode: 0644]
src/Data/Parameterized/All.hs [new file with mode: 0644]
src/Data/Parameterized/Axiom.hs [new file with mode: 0644]
src/Data/Parameterized/BoolRepr.hs [new file with mode: 0644]
src/Data/Parameterized/Classes.hs [new file with mode: 0644]
src/Data/Parameterized/ClassesC.hs [new file with mode: 0644]
src/Data/Parameterized/Compose.hs [new file with mode: 0644]
src/Data/Parameterized/Context.hs [new file with mode: 0644]
src/Data/Parameterized/Context/Safe.hs [new file with mode: 0644]
src/Data/Parameterized/Context/Unsafe.hs [new file with mode: 0644]
src/Data/Parameterized/Ctx.hs [new file with mode: 0644]
src/Data/Parameterized/Ctx/Proofs.hs [new file with mode: 0644]
src/Data/Parameterized/DataKind.hs [new file with mode: 0644]
src/Data/Parameterized/DecidableEq.hs [new file with mode: 0644]
src/Data/Parameterized/Fin.hs [new file with mode: 0644]
src/Data/Parameterized/FinMap.hs [new file with mode: 0644]
src/Data/Parameterized/FinMap/Safe.hs [new file with mode: 0644]
src/Data/Parameterized/FinMap/Unsafe.hs [new file with mode: 0644]
src/Data/Parameterized/HashTable.hs [new file with mode: 0644]
src/Data/Parameterized/List.hs [new file with mode: 0644]
src/Data/Parameterized/Map.hs [new file with mode: 0644]
src/Data/Parameterized/NatRepr.hs [new file with mode: 0644]
src/Data/Parameterized/NatRepr/Internal.hs [new file with mode: 0644]
src/Data/Parameterized/Nonce.hs [new file with mode: 0644]
src/Data/Parameterized/Nonce/Transformers.hs [new file with mode: 0644]
src/Data/Parameterized/Nonce/Unsafe.hs [new file with mode: 0644]
src/Data/Parameterized/Pair.hs [new file with mode: 0644]
src/Data/Parameterized/Peano.hs [new file with mode: 0644]
src/Data/Parameterized/Some.hs [new file with mode: 0644]
src/Data/Parameterized/SymbolRepr.hs [new file with mode: 0644]
src/Data/Parameterized/TH/GADT.hs [new file with mode: 0644]
src/Data/Parameterized/TraversableF.hs [new file with mode: 0644]
src/Data/Parameterized/TraversableFC.hs [new file with mode: 0644]
src/Data/Parameterized/TraversableFC/WithIndex.hs [new file with mode: 0644]
src/Data/Parameterized/Utils/BinTree.hs [new file with mode: 0644]
src/Data/Parameterized/Utils/Endian.hs [new file with mode: 0644]
src/Data/Parameterized/Vector.hs [new file with mode: 0644]
src/Data/Parameterized/WithRepr.hs [new file with mode: 0644]
test/Test/Context.hs [new file with mode: 0644]
test/Test/Fin.hs [new file with mode: 0644]
test/Test/FinMap.hs [new file with mode: 0644]
test/Test/List.hs [new file with mode: 0644]
test/Test/NatRepr.hs [new file with mode: 0644]
test/Test/Some.hs [new file with mode: 0644]
test/Test/SymbolRepr.hs [new file with mode: 0644]
test/Test/TH.hs [new file with mode: 0644]
test/Test/Vector.hs [new file with mode: 0644]
test/UnitTest.hs [new file with mode: 0644]