dev-haskell / singleton-bool

Type level booleans

Official package sites : https://github.com/phadej/singleton-bool#readme ·

v0.1.7 :: 0/0.1.7 :: gentoo

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

v0.1.5-r1 :: 0/0.1.5 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~arm64 ~ppc64 ~riscv ~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 / boring : Boring and Absurd types

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

dev-haskell / dec : Decidable propositions

dev-haskell / hscolour : Colourise Haskell code

dev-haskell / some : Existential type: Some

dev-haskell / tagged : Haskell 98 phantom types to avoid unsafely passing dummy arguments

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / boring : Boring and Absurd types

dev-haskell / dec : Decidable propositions

dev-haskell / some : Existential type: Some

dev-haskell / tagged : Haskell 98 phantom types to avoid unsafely passing dummy arguments

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / lukko : File locking

dev-haskell / servant : A family of combinators for defining webservices APIs

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/singleton-bool: 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>
hololeap · gentoo
dev-haskell/singleton-bool: add 0.1.7
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/singleton-bool: 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/singleton-bool: keyword 0.1.5-r1 for ~riscv
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
matoro · gentoo
dev-haskell/singleton-bool: keyword 0.1.5-r1 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/singleton-bool: keyword 0.1.5-r1 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/singleton-bool: 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>