HORIZON HASKELLDocslts/ghc-9.14.x7a6c33e2026-10-12Search packagesCtrl K
Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

Package0.2.2.1Data

boring

Boring and Absurd types

Modules

  • Data.BoringBoring 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 · 6