Missing instances for Identity and Const
The following instances are all permissible yet are not defined. They can all be derived with GeneralizedNewtypeDeriving
. It would be useful for me if they were defined in base
. These should probably also go into base-orphans
and transformers
(for versions of base
before Identity
was moved there).
instance Bounded a => Bounded (Const a b)
instance Enum a => Bounded (Const a b)
instance Ix a => Bounded (Const a b)
instance Semigroup a => Semigroup (Const a b)
instance Bounded a => Bounded (Identity a)
instance Enum a => Bounded (Identity a)
instance Ix a => Bounded (Identity a)
instance Semigroup a => Semigroup (Identity a)
Trac metadata
Trac field | Value |
---|---|
Version | 7.11 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |