Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Newtypes with special instances for deriving.
Warning
This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.
If something here seems useful, please report it or create a pull request to export it from an external module.
Documentation
A newtype whose instances for simple classes (Eq
, Ord
, Read
, Show
)
use higher-kinded class instances for f
(Eq1
, Ord1
, Read1
, Show1
).
Instances
Eq1 f => Eq1 (Id1 f) Source # | |
Ord1 f => Ord1 (Id1 f) Source # | |
Defined in Generic.Data.Internal.Resolvers | |
Read1 f => Read1 (Id1 f) Source # | |
Defined in Generic.Data.Internal.Resolvers | |
Show1 f => Show1 (Id1 f) Source # | |
(Read1 f, Read a) => Read (Id1 f a) Source # | |
(Show1 f, Show a) => Show (Id1 f a) Source # | |
(Eq1 f, Eq a) => Eq (Id1 f a) Source # | |
(Ord1 f, Ord a) => Ord (Id1 f a) Source # | |
Defined in Generic.Data.Internal.Resolvers |
A newtype with trivial instances, that considers
every value equivalent to every other one,
and shows as just "_"
.
A higher-kinded version of Opaque
.
Instances
Eq1 (Opaque1 f) Source # | All equal. |
Ord1 (Opaque1 f) Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers | |
Show1 (Opaque1 f) Source # | Shown as |
Show (Opaque1 f a) Source # | Shown as |
Eq (Opaque1 f a) Source # | All equal. |
Ord (Opaque1 f a) Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers |