├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── CHANGELOG.md ├── HACKING.md ├── LICENSE ├── README.md ├── Setup.hs ├── cabal.project ├── ghc-typelits-extra.cabal ├── src └── GHC │ └── TypeLits │ ├── Extra.hs │ └── Extra │ ├── Solver.hs │ └── Solver │ ├── Compat.hs │ ├── Operations.hs │ └── Unify.hs └── tests ├── ErrorTests.hs └── Main.hs /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work 2 | dist-newstyle 3 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /HACKING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/HACKING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/cabal.project -------------------------------------------------------------------------------- /ghc-typelits-extra.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/ghc-typelits-extra.cabal -------------------------------------------------------------------------------- /src/GHC/TypeLits/Extra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/src/GHC/TypeLits/Extra.hs -------------------------------------------------------------------------------- /src/GHC/TypeLits/Extra/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/src/GHC/TypeLits/Extra/Solver.hs -------------------------------------------------------------------------------- /src/GHC/TypeLits/Extra/Solver/Compat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/src/GHC/TypeLits/Extra/Solver/Compat.hs -------------------------------------------------------------------------------- /src/GHC/TypeLits/Extra/Solver/Operations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/src/GHC/TypeLits/Extra/Solver/Operations.hs -------------------------------------------------------------------------------- /src/GHC/TypeLits/Extra/Solver/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/src/GHC/TypeLits/Extra/Solver/Unify.hs -------------------------------------------------------------------------------- /tests/ErrorTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/tests/ErrorTests.hs -------------------------------------------------------------------------------- /tests/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-extra/HEAD/tests/Main.hs --------------------------------------------------------------------------------