| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ByOtherNames.Constraint
Synopsis
- class Top x
- class x ~ Void => Impossible x
Documentation
A constraint that can always be satisfied.
Copied from the sop-core package.
Instances
| Top x Source # | |
Defined in ByOtherNames.Constraint | |
class x ~ Void => Impossible x Source #
A constraint that can't be satisfied.
Mostly useful with enum-like sum types to denote that they don't have fields.
Instances
| x ~ Void => Impossible x Source # | |
Defined in ByOtherNames.Constraint | |