Safe Haskell | None |
---|---|
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
Show1 f => Show1 (Id1 f) Source # | |
Defined in Generic.Data.Internal.Resolvers Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Id1 f a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Id1 f a] -> ShowS | |
Read1 f => Read1 (Id1 f) Source # | |
Defined in Generic.Data.Internal.Resolvers Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Id1 f a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Id1 f a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Id1 f a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Id1 f a] | |
Ord1 f => Ord1 (Id1 f) Source # | |
Defined in Generic.Data.Internal.Resolvers Methods liftCompare :: (a -> b -> Ordering) -> Id1 f a -> Id1 f b -> Ordering | |
Eq1 f => Eq1 (Id1 f) Source # | |
Defined in Generic.Data.Internal.Resolvers | |
(Eq1 f, Eq a) => Eq (Id1 f a) Source # | |
(Ord1 f, Ord a) => Ord (Id1 f a) Source # | |
(Read1 f, Read a) => Read (Id1 f a) Source # | |
Defined in Generic.Data.Internal.Resolvers | |
(Show1 f, Show a) => Show (Id1 f a) Source # | |
A newtype with trivial instances, that considers
every value equivalent to every other one,
and shows as just "_"
.
Instances
Show1 Opaque Source # | Shown as |
Defined in Generic.Data.Internal.Resolvers Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Opaque a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Opaque a] -> ShowS | |
Ord1 Opaque Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers Methods liftCompare :: (a -> b -> Ordering) -> Opaque a -> Opaque b -> Ordering | |
Eq1 Opaque Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers | |
Eq (Opaque a) Source # | All equal. |
Ord (Opaque a) Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers | |
Show (Opaque a) Source # | Shown as |
A higher-kinded version of Opaque
.
Instances
Show1 (Opaque1 f) Source # | Shown as |
Defined in Generic.Data.Internal.Resolvers Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Opaque1 f a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Opaque1 f a] -> ShowS | |
Ord1 (Opaque1 f) Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers Methods liftCompare :: (a -> b -> Ordering) -> Opaque1 f a -> Opaque1 f b -> Ordering | |
Eq1 (Opaque1 f) Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers | |
Eq (Opaque1 f a) Source # | All equal. |
Ord (Opaque1 f a) Source # | All equal. |
Defined in Generic.Data.Internal.Resolvers | |
Show (Opaque1 f a) Source # | Shown as |