HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

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