HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Package0.2.2Data

boring

Boring and Absurd types

Modules

1 module
  • Data.Boring7Boring and Absurd classes. One approach. Different approach would be to have -- none-one-tons semiring

Description

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

See What does () mean in Haskell -answer by Conor McBride

Depends on

3 packages

Used by in this set · 6