HORIZON HASKELLDocslts/ghc-10.0.x2b276322026-10-31Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 2b27632 · 2026-10-31

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 · 1