Safe Haskell | None |
---|---|
Language | Haskell98 |
- class Inhabited a where
- withInhabited :: forall a b. a -> (Inhabited a => b) -> b
Documentation
class Inhabited a where Source #
Types with at least one inhabitant, dual to
.
| Current GHC doesn't provide selective-instance,
hence we don't Empty
provide instances
for sum types in a generic deriving (DeriveAnyClass).Empty
To derive an instance for each concrete types,
use
.prove
Since 0.4.0.0.
Inhabited () Source # | |
Inhabited (IsTrue True) Source # | |
Inhabited b => Inhabited (a -> b) Source # | |
(Inhabited a, Inhabited b) => Inhabited (a, b) Source # | |
(Inhabited a, Inhabited b, Inhabited c) => Inhabited (a, b, c) Source # | |
(Inhabited a, Inhabited b, Inhabited c, Inhabited d) => Inhabited (a, b, c, d) Source # | |
withInhabited :: forall a b. a -> (Inhabited a => b) -> b Source #