Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Bare
Documentation
An uninhabited type.
We define our own type instead of using Data.Void
because we need additional instances.
Moreover this type is internal.
Users are supposed to use NA
to express absence.