Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Generic.Data.Internal.Resolvers
Description
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 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Id1 f a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Id1 f a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Id1 f a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Id1 f a] Source # | |
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 "_"
.
Instances
Eq1 Opaque Source # | All equal. |
Ord1 Opaque Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers | |
Show1 Opaque Source # | Shown as |
Show (Opaque a) Source # | Shown as |
Eq (Opaque a) Source # | All equal. |
Ord (Opaque a) Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers |
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 Methods compare :: Opaque1 f a -> Opaque1 f a -> Ordering Source # (<) :: Opaque1 f a -> Opaque1 f a -> Bool Source # (<=) :: Opaque1 f a -> Opaque1 f a -> Bool Source # (>) :: Opaque1 f a -> Opaque1 f a -> Bool Source # (>=) :: Opaque1 f a -> Opaque1 f a -> Bool Source # |