dev-haskell / type-equality

Type equality, coercion/cast and other operations

Official package sites : https://github.com/hesselink/type-equality ·

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.

v1 :: 0/1 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
doc hscolour profile

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
hscolour
Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
profile
Add support for software performance analysis (will likely vary from ebuild to ebuild)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / haddock : A documentation-generation tool for Haskell libraries

dev-haskell / hscolour : Colourise Haskell code

dev-lang / ghc : The Glasgow Haskell Compiler

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / base-compat-batteries : base-compat with extra batteries

dev-haskell / constraints : Constraint manipulation

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>