├── .github ├── dependabot.yml └── workflows │ ├── doc.yml │ └── test.yml ├── .gitignore ├── Changelog.md ├── LICENSE ├── README.md ├── doc └── dev.md ├── parameterized-utils.cabal ├── src └── Data │ ├── Parameterized.hs │ └── Parameterized │ ├── All.hs │ ├── Axiom.hs │ ├── BoolRepr.hs │ ├── Classes.hs │ ├── ClassesC.hs │ ├── Compose.hs │ ├── Context.hs │ ├── Context │ ├── Safe.hs │ └── Unsafe.hs │ ├── Ctx.hs │ ├── Ctx │ └── Proofs.hs │ ├── DataKind.hs │ ├── DecidableEq.hs │ ├── Fin.hs │ ├── FinMap.hs │ ├── FinMap │ ├── Safe.hs │ └── Unsafe.hs │ ├── HashTable.hs │ ├── List.hs │ ├── Map.hs │ ├── NatRepr.hs │ ├── NatRepr │ └── Internal.hs │ ├── Nonce.hs │ ├── Nonce │ ├── Transformers.hs │ └── Unsafe.hs │ ├── Pair.hs │ ├── Peano.hs │ ├── Some.hs │ ├── SymbolRepr.hs │ ├── TH │ └── GADT.hs │ ├── TraversableF.hs │ ├── TraversableFC.hs │ ├── TraversableFC │ └── WithIndex.hs │ ├── Utils │ ├── BinTree.hs │ └── Endian.hs │ ├── Vector.hs │ └── WithRepr.hs └── test ├── Test ├── Context.hs ├── Fin.hs ├── FinMap.hs ├── List.hs ├── NatRepr.hs ├── Some.hs ├── SymbolRepr.hs ├── TH.hs └── Vector.hs └── UnitTest.hs /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/doc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/.github/workflows/doc.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/.gitignore -------------------------------------------------------------------------------- /Changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/Changelog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/README.md -------------------------------------------------------------------------------- /doc/dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/doc/dev.md -------------------------------------------------------------------------------- /parameterized-utils.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/parameterized-utils.cabal -------------------------------------------------------------------------------- /src/Data/Parameterized.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/All.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/All.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Axiom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Axiom.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/BoolRepr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/BoolRepr.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Classes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Classes.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/ClassesC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/ClassesC.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Compose.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Compose.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Context.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Context/Safe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Context/Safe.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Context/Unsafe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Context/Unsafe.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Ctx.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Ctx.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Ctx/Proofs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Ctx/Proofs.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/DataKind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/DataKind.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/DecidableEq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/DecidableEq.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Fin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Fin.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/FinMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/FinMap.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/FinMap/Safe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/FinMap/Safe.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/FinMap/Unsafe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/FinMap/Unsafe.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/HashTable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/HashTable.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/List.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Map.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/NatRepr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/NatRepr.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/NatRepr/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/NatRepr/Internal.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Nonce.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Nonce.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Nonce/Transformers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Nonce/Transformers.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Nonce/Unsafe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Nonce/Unsafe.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Pair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Pair.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Peano.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Peano.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Some.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Some.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/SymbolRepr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/SymbolRepr.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/TH/GADT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/TH/GADT.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/TraversableF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/TraversableF.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/TraversableFC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/TraversableFC.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/TraversableFC/WithIndex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/TraversableFC/WithIndex.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Utils/BinTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Utils/BinTree.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Utils/Endian.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Utils/Endian.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/Vector.hs -------------------------------------------------------------------------------- /src/Data/Parameterized/WithRepr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/src/Data/Parameterized/WithRepr.hs -------------------------------------------------------------------------------- /test/Test/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/Context.hs -------------------------------------------------------------------------------- /test/Test/Fin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/Fin.hs -------------------------------------------------------------------------------- /test/Test/FinMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/FinMap.hs -------------------------------------------------------------------------------- /test/Test/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/List.hs -------------------------------------------------------------------------------- /test/Test/NatRepr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/NatRepr.hs -------------------------------------------------------------------------------- /test/Test/Some.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/Some.hs -------------------------------------------------------------------------------- /test/Test/SymbolRepr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/SymbolRepr.hs -------------------------------------------------------------------------------- /test/Test/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/TH.hs -------------------------------------------------------------------------------- /test/Test/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/Test/Vector.hs -------------------------------------------------------------------------------- /test/UnitTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/parameterized-utils/HEAD/test/UnitTest.hs --------------------------------------------------------------------------------