HORIZON HASKELLDocslts/ghc-9.14.xb2f3bfd2026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · b2f3bfd · 2026-10-11

Package0.2.2.1Data

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

2 packages

Used by in this set · 1