./devel/hs-boring, Boring and Absurd types

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.2.1nb2, Package name: hs-boring-0.2.1nb2, Maintainer: pkgsrc-users

* Boring types are isomorphic to ().
* Absurd types are isomorphic to Void.

See "What does () mean in Haskell -answer by Conor McBride":
https://stackoverflow.com/questions/33112439/what-does-mean-in-haskell/33115522#33115522


Master sites:

Filesize: 5.535 KB

Version history: (Expand)


CVS history: (Expand)


   2024-04-29 10:51:14 by Masatake Daimon | Files touched by this commit (1)
Log message:
devel/hs-boring: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141)
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-27 17:09:44 by Masatake Daimon | Files touched by this commit (4)
Log message:
devel/hs-boring: Update to 0.2.1

0.2.1
* Add instances for SNat, SSymbol, and SChar (singletons introduced in
  base-4.18.0.0)
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988)
Log message:
Bump Haskell packages after updating lang/ghc94
   2023-01-28 21:18:22 by Masatake Daimon | Files touched by this commit (5)
Log message:
devel/hs-boring: import hs-boring-0.2

* Boring types are isomorphic to ().
* Absurd types are isomorphic to Void.

See "What does () mean in Haskell -answer by Conor McBride":
https://stackoverflow.com/questions/33112439/what-does-mean-in-haskell/33115522#33115522