Summary
In the presence of GADTs, sometimes a proof is needed that two types are equal. This package contains an equality type for this purpose, plus its properties (reflexive, symmetric, transitive) and some useful operations (substitution, congruence, coercion/cast). It also contains a type class for producing equality proofs, providing some form of decidable equality on types.
Versions
v1 :: 0/1 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~arm64 ~ppc64 ~riscv ~x86
- USE flags
- doc hscolour profile
USE flags
General
Dependencies
dev-haskell / cabal : A framework for packaging Haskell software
dev-haskell / hscolour : Colourise Haskell code
Runtime Dependencies
Depending packages
dev-haskell / constraints : Constraint manipulation
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Matt Turner · gentoo
dev-haskell/*: Drop stable keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - hololeap · gentoo
dev-haskell/type-equality: Migrate to CABAL_CHDEPS
Signed-off-by: hololeap <hololeap@protonmail.com> Signed-off-by: Sam James <sam@gentoo.org> - hololeap · gentoo
*/*: Update EAPI to 8 for haskell packages
Signed-off-by: hololeap <hololeap@protonmail.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - hololeap · gentoo
dev-haskell/type-equality: Stabilize for amd64
Signed-off-by: hololeap <hololeap@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/type-equality: keyword 1 for ~riscv
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/type-equality: keyword 1 for ~arm64
Thanks-to: Marcus Comstedt <marcus@mc.pp.se> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/type-equality: keyword 1 for ~ppc64
Signed-off-by: matoro <matoro@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jack Todaro · gentoo
dev-haskell/type-equality: add package
Package-Manager: Portage-3.0.1, Repoman-2.3.23 Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>