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.

Synopsis

newtype Id1 f a = Id1 {
- unId1 :: f a
}
newtype Opaque a = Opaque {
- unOpaque :: a
}
newtype Opaque1 f a = Opaque1 {
- unOpaque1 :: f a
}

Documentation

newtype Id1 f a Source #

A newtype whose instances for simple classes (Eq, Ord, Read, Show) use higher-kinded class instances for f (Eq1, Ord1, Read1, Show1).

Constructors

Id1
Fields unId1 :: f a

Instances

Instances details

Show1 f => Show1 (Id1 f) Source #
Instance details 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 #
Instance details 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 #
Instance details Defined in Generic.Data.Internal.Resolvers Methods liftCompare :: (a -> b -> Ordering) -> Id1 f a -> Id1 f b -> Ordering
Eq1 f => Eq1 (Id1 f) Source #
Instance details Defined in Generic.Data.Internal.Resolvers Methods liftEq :: (a -> b -> Bool) -> Id1 f a -> Id1 f b -> Bool
(Eq1 f, Eq a) => Eq (Id1 f a) Source #
Instance details Defined in Generic.Data.Internal.Resolvers Methods (==) :: Id1 f a -> Id1 f a -> Bool (/=) :: Id1 f a -> Id1 f a -> Bool
(Ord1 f, Ord a) => Ord (Id1 f a) Source #
Instance details Defined in Generic.Data.Internal.Resolvers Methods compare :: Id1 f a -> Id1 f a -> Ordering (<) :: Id1 f a -> Id1 f a -> Bool (<=) :: Id1 f a -> Id1 f a -> Bool (>) :: Id1 f a -> Id1 f a -> Bool (>=) :: Id1 f a -> Id1 f a -> Bool max :: Id1 f a -> Id1 f a -> Id1 f a min :: Id1 f a -> Id1 f a -> Id1 f a
(Read1 f, Read a) => Read (Id1 f a) Source #
Instance details Defined in Generic.Data.Internal.Resolvers Methods readsPrec :: Int -> ReadS (Id1 f a) readList :: ReadS [Id1 f a] readPrec :: ReadPrec (Id1 f a) readListPrec :: ReadPrec [Id1 f a]
(Show1 f, Show a) => Show (Id1 f a) Source #
Instance details Defined in Generic.Data.Internal.Resolvers Methods showsPrec :: Int -> Id1 f a -> ShowS show :: Id1 f a -> String showList :: [Id1 f a] -> ShowS

newtype Opaque a Source #

A newtype with trivial instances, that considers every value equivalent to every other one, and shows as just "_".

Constructors

Opaque
Fields unOpaque :: a

Instances

Instances details

Show1 Opaque Source #	Shown as `"_"`.
Instance details 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.
Instance details Defined in Generic.Data.Internal.Resolvers Methods liftCompare :: (a -> b -> Ordering) -> Opaque a -> Opaque b -> Ordering
Eq1 Opaque Source #	All equal.
Instance details Defined in Generic.Data.Internal.Resolvers Methods liftEq :: (a -> b -> Bool) -> Opaque a -> Opaque b -> Bool
Eq (Opaque a) Source #	All equal.
Instance details Defined in Generic.Data.Internal.Resolvers Methods (==) :: Opaque a -> Opaque a -> Bool (/=) :: Opaque a -> Opaque a -> Bool
Ord (Opaque a) Source #	All equal.
Instance details Defined in Generic.Data.Internal.Resolvers Methods compare :: Opaque a -> Opaque a -> Ordering (<) :: Opaque a -> Opaque a -> Bool (<=) :: Opaque a -> Opaque a -> Bool (>) :: Opaque a -> Opaque a -> Bool (>=) :: Opaque a -> Opaque a -> Bool max :: Opaque a -> Opaque a -> Opaque a min :: Opaque a -> Opaque a -> Opaque a
Show (Opaque a) Source #	Shown as `"_"`.
Instance details Defined in Generic.Data.Internal.Resolvers Methods showsPrec :: Int -> Opaque a -> ShowS show :: Opaque a -> String showList :: [Opaque a] -> ShowS

newtype Opaque1 f a Source #

A higher-kinded version of Opaque.

Constructors

Opaque1
Fields unOpaque1 :: f a

Instances

Instances details

Show1 (Opaque1 f) Source #	Shown as `"_"`.
Instance details 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.
Instance details Defined in Generic.Data.Internal.Resolvers Methods liftCompare :: (a -> b -> Ordering) -> Opaque1 f a -> Opaque1 f b -> Ordering
Eq1 (Opaque1 f) Source #	All equal.
Instance details Defined in Generic.Data.Internal.Resolvers Methods liftEq :: (a -> b -> Bool) -> Opaque1 f a -> Opaque1 f b -> Bool
Eq (Opaque1 f a) Source #	All equal.
Instance details Defined in Generic.Data.Internal.Resolvers Methods (==) :: Opaque1 f a -> Opaque1 f a -> Bool (/=) :: Opaque1 f a -> Opaque1 f a -> Bool
Ord (Opaque1 f a) Source #	All equal.
Instance details Defined in Generic.Data.Internal.Resolvers Methods compare :: Opaque1 f a -> Opaque1 f a -> Ordering (<) :: Opaque1 f a -> Opaque1 f a -> Bool (<=) :: Opaque1 f a -> Opaque1 f a -> Bool (>) :: Opaque1 f a -> Opaque1 f a -> Bool (>=) :: Opaque1 f a -> Opaque1 f a -> Bool max :: Opaque1 f a -> Opaque1 f a -> Opaque1 f a min :: Opaque1 f a -> Opaque1 f a -> Opaque1 f a
Show (Opaque1 f a) Source #	Shown as `"_"`.
Instance details Defined in Generic.Data.Internal.Resolvers Methods showsPrec :: Int -> Opaque1 f a -> ShowS show :: Opaque1 f a -> String showList :: [Opaque1 f a] -> ShowS