Copyright	(C) 2015-2016 Edward Kmett Ryan Scott
License	BSD-style (see the file LICENSE)
Maintainer	Ryan Scott
Stability	Provisional
Portability	GHC
Safe Haskell	None
Language	Haskell2010

Data.Functor.Classes.Generic.Internal

Contents

Options
Eq1
Ord1
Read1
Show1
Eq
Ord
Read
Show
FunctorClassesDefault
Miscellaneous types

Description

Internal functionality for Data.Functor.Classes.Generic.

This is an internal module and, as such, the API is not guaranteed to remain the same between any given release.

Synopsis

data Options = Options
defaultOptions :: Options
latestGHCOptions :: Options
liftEqDefault :: (GEq1 (Rep1 f), Generic1 f) => (a -> b -> Bool) -> f a -> f b -> Bool
liftEqOptions :: (GEq1 (Rep1 f), Generic1 f) => Options -> (a -> b -> Bool) -> f a -> f b -> Bool
class (forall a. Eq a => GEq (t a)) => GEq1 (t :: Type -> Type) where
- gliftEq :: (a -> b -> Bool) -> t a -> t b -> Bool
liftCompareDefault :: (GOrd1 (Rep1 f), Generic1 f) => (a -> b -> Ordering) -> f a -> f b -> Ordering
liftCompareOptions :: (GOrd1 (Rep1 f), Generic1 f) => Options -> (a -> b -> Ordering) -> f a -> f b -> Ordering
class (GEq1 t, forall a. Ord a => GOrd (t a)) => GOrd1 (t :: Type -> Type) where
- gliftCompare :: (a -> b -> Ordering) -> t a -> t b -> Ordering
liftReadsPrecDefault :: (GRead1 (Rep1 f), Generic1 f) => (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (f a)
liftReadsPrecOptions :: (GRead1 (Rep1 f), Generic1 f) => Options -> (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (f a)
class (forall a. Read a => GRead (f a)) => GRead1 (f :: Type -> Type) where
- gliftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (f a)
class (forall a. Read a => GReadCon (f a)) => GRead1Con (f :: Type -> Type) where
- gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (f a)
liftShowsPrecDefault :: (GShow1 (Rep1 f), Generic1 f) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS
liftShowsPrecOptions :: (GShow1 (Rep1 f), Generic1 f) => Options -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS
class (forall a. Show a => GShow (f a)) => GShow1 (f :: Type -> Type) where
- gliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS
class (forall a. Show a => GShowCon (f a)) => GShow1Con (f :: Type -> Type) where
- gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS
eqDefault :: (GEq (Rep1 f a), Generic1 f) => f a -> f a -> Bool
class GEq a where
- geq :: a -> a -> Bool
compareDefault :: (GOrd (Rep1 f a), Generic1 f) => f a -> f a -> Ordering
class GEq a => GOrd a where
- gcompare :: a -> a -> Ordering
readsPrecDefault :: (GRead (Rep1 f a), Generic1 f) => Int -> ReadS (f a)
class GRead a where
- greadPrec :: ReadPrec a
showsPrecDefault :: (GShow (Rep1 f a), Generic1 f) => Int -> f a -> ShowS
showsPrecOptions :: (GShow (Rep1 f a), Generic1 f) => Options -> Int -> f a -> ShowS
class GShow a where
- gshowsPrec :: Int -> a -> ShowS
newtype FunctorClassesDefault (f :: Type -> Type) a = FunctorClassesDefault {
- getFunctorClassesDefault :: f a
}
data ConType
- = Rec
- | Tup
- | Pref
- | Inf String
class IsNullaryDataType (f :: Type -> Type) where
- isNullaryDataType :: f a -> Bool
class IsNullaryCon (f :: Type -> Type) where
- isNullaryCon :: f a -> Bool

Options

data Options Source #

Options that further configure how the functions in Data.Functor.Classes.Generic should behave. Currently, the Options have no effect (but this may change in the future).

Constructors

Options

defaultOptions :: Options Source #

Options that match the behavior of the installed version of GHC.

latestGHCOptions :: Options Source #

Options that match the behavior of the most recent GHC release.

`Eq1`

liftEqDefault :: (GEq1 (Rep1 f), Generic1 f) => (a -> b -> Bool) -> f a -> f b -> Bool Source #

A sensible default liftEq implementation for Generic1 instances.

liftEqOptions :: (GEq1 (Rep1 f), Generic1 f) => Options -> (a -> b -> Bool) -> f a -> f b -> Bool Source #

Like liftEqDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

class (forall a. Eq a => GEq (t a)) => GEq1 (t :: Type -> Type) where Source #

Class of generic representation types that can lift equality through unary type constructors.

Methods

gliftEq :: (a -> b -> Bool) -> t a -> t b -> Bool Source #

Instances

Instances details

GEq1 Par1 Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> Par1 a -> Par1 b -> Bool Source #
GEq1 (U1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> U1 a -> U1 b -> Bool Source #
GEq1 (UAddr :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> UAddr a -> UAddr b -> Bool Source #
GEq1 (UChar :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> UChar a -> UChar b -> Bool Source #
GEq1 (UDouble :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> UDouble a -> UDouble b -> Bool Source #
GEq1 (UFloat :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> UFloat a -> UFloat b -> Bool Source #
GEq1 (UInt :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> UInt a -> UInt b -> Bool Source #
GEq1 (UWord :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> UWord a -> UWord b -> Bool Source #
GEq1 (V1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> V1 a -> V1 b -> Bool Source #
Eq1 f => GEq1 (Rec1 f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> Rec1 f a -> Rec1 f b -> Bool Source #
(GEq1 f, GEq1 g) => GEq1 (f :*: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> (f :: g) a -> (f :: g) b -> Bool Source #
(GEq1 f, GEq1 g) => GEq1 (f :+: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> (f :+: g) a -> (f :+: g) b -> Bool Source #
Eq c => GEq1 (K1 i c :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> K1 i c a -> K1 i c b -> Bool Source #
(Eq1 f, GEq1 g) => GEq1 (f :.: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> (f :.: g) a -> (f :.: g) b -> Bool Source #
GEq1 f => GEq1 (M1 i c f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftEq :: (a -> b -> Bool) -> M1 i c f a -> M1 i c f b -> Bool Source #

`Ord1`

liftCompareDefault :: (GOrd1 (Rep1 f), Generic1 f) => (a -> b -> Ordering) -> f a -> f b -> Ordering Source #

A sensible default liftCompare implementation for Generic1 instances.

liftCompareOptions :: (GOrd1 (Rep1 f), Generic1 f) => Options -> (a -> b -> Ordering) -> f a -> f b -> Ordering Source #

Like liftCompareDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

class (GEq1 t, forall a. Ord a => GOrd (t a)) => GOrd1 (t :: Type -> Type) where Source #

Class of generic representation types that can lift a total order through unary type constructors.

Methods

gliftCompare :: (a -> b -> Ordering) -> t a -> t b -> Ordering Source #

Instances

Instances details

GOrd1 Par1 Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> Par1 a -> Par1 b -> Ordering Source #
GOrd1 (U1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> U1 a -> U1 b -> Ordering Source #
GOrd1 (UAddr :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> UAddr a -> UAddr b -> Ordering Source #
GOrd1 (UChar :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> UChar a -> UChar b -> Ordering Source #
GOrd1 (UDouble :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> UDouble a -> UDouble b -> Ordering Source #
GOrd1 (UFloat :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> UFloat a -> UFloat b -> Ordering Source #
GOrd1 (UInt :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> UInt a -> UInt b -> Ordering Source #
GOrd1 (UWord :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> UWord a -> UWord b -> Ordering Source #
GOrd1 (V1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> V1 a -> V1 b -> Ordering Source #
Ord1 f => GOrd1 (Rec1 f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> Rec1 f a -> Rec1 f b -> Ordering Source #
(GOrd1 f, GOrd1 g) => GOrd1 (f :*: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> (f :: g) a -> (f :: g) b -> Ordering Source #
(GOrd1 f, GOrd1 g) => GOrd1 (f :+: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> (f :+: g) a -> (f :+: g) b -> Ordering Source #
Ord c => GOrd1 (K1 i c :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> K1 i c a -> K1 i c b -> Ordering Source #
(Ord1 f, GOrd1 g) => GOrd1 (f :.: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> (f :.: g) a -> (f :.: g) b -> Ordering Source #
GOrd1 f => GOrd1 (M1 i c f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftCompare :: (a -> b -> Ordering) -> M1 i c f a -> M1 i c f b -> Ordering Source #

`Read1`

liftReadsPrecDefault :: (GRead1 (Rep1 f), Generic1 f) => (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (f a) Source #

A sensible default liftReadsPrec implementation for Generic1 instances.

liftReadsPrecOptions :: (GRead1 (Rep1 f), Generic1 f) => Options -> (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (f a) Source #

Like liftReadsPrecDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

class (forall a. Read a => GRead (f a)) => GRead1 (f :: Type -> Type) where Source #

Class of generic representation types for unary type constructors that can be parsed from a String.

Methods

gliftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (f a) Source #

Instances

Instances details

GRead1 (V1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V1 a) Source #
(GRead1 f, GRead1 g) => GRead1 (f :+: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :+: g) a) Source #
(Constructor c, GRead1Con f, IsNullaryCon f) => GRead1 (C1 c f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (C1 c f a) Source #
(GRead1 f, IsNullaryDataType f) => GRead1 (D1 d f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (D1 d f a) Source #

class (forall a. Read a => GReadCon (f a)) => GRead1Con (f :: Type -> Type) where Source #

Class of generic representation types for unary type constructors that can be parsed from a String, and for which the ConType has been determined.

Methods

gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (f a) Source #

Instances

Instances details

GRead1Con Par1 Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (Par1 a) Source #
GRead1Con (U1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (U1 a) Source #
Read1 f => GRead1Con (Rec1 f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (Rec1 f a) Source #
(GRead1Con f, GRead1Con g) => GRead1Con (f :*: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :*: g) a) Source #
Read c => GRead1Con (K1 i c :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (K1 i c a) Source #
(Selector s, GRead1Con f) => GRead1Con (S1 s f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (S1 s f a) Source #
(Read1 f, GRead1Con g) => GRead1Con (f :.: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :.: g) a) Source #

`Show1`

liftShowsPrecDefault :: (GShow1 (Rep1 f), Generic1 f) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS Source #

A sensible default liftShowsPrec implementation for Generic1 instances.

liftShowsPrecOptions :: (GShow1 (Rep1 f), Generic1 f) => Options -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS Source #

Like liftShowsPrecDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

class (forall a. Show a => GShow (f a)) => GShow1 (f :: Type -> Type) where Source #

Class of generic representation types for unary type constructors that can be converted to a String.

Methods

gliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS Source #

Instances

Instances details

GShow1 (V1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V1 a -> ShowS Source #
(GShow1 f, GShow1 g) => GShow1 (f :+: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :+: g) a -> ShowS Source #
(Constructor c, GShow1Con f, IsNullaryCon f) => GShow1 (C1 c f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> C1 c f a -> ShowS Source #
GShow1 f => GShow1 (D1 d f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> D1 d f a -> ShowS Source #

class (forall a. Show a => GShowCon (f a)) => GShow1Con (f :: Type -> Type) where Source #

Class of generic representation types for unary type constructors that can be converted to a String, and for which the ConType has been determined.

Methods

gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS Source #

Instances

Instances details

GShow1Con Par1 Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Par1 a -> ShowS Source #
GShow1Con (U1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> U1 a -> ShowS Source #
GShow1Con (UChar :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UChar a -> ShowS Source #
GShow1Con (UDouble :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UDouble a -> ShowS Source #
GShow1Con (UFloat :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UFloat a -> ShowS Source #
GShow1Con (UInt :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UInt a -> ShowS Source #
GShow1Con (UWord :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UWord a -> ShowS Source #
Show1 f => GShow1Con (Rec1 f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Rec1 f a -> ShowS Source #
(GShow1Con f, GShow1Con g) => GShow1Con (f :*: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :*: g) a -> ShowS Source #
Show c => GShow1Con (K1 i c :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> K1 i c a -> ShowS Source #
(Selector s, GShow1Con f) => GShow1Con (S1 s f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> S1 s f a -> ShowS Source #
(Show1 f, GShow1Con g) => GShow1Con (f :.: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :.: g) a -> ShowS Source #

`Eq`

eqDefault :: (GEq (Rep1 f a), Generic1 f) => f a -> f a -> Bool Source #

A default (==) implementation for Generic1 instances that leverages Eq1.

class GEq a where Source #

Class of generic representation types that can be checked for equality.

Methods

geq :: a -> a -> Bool Source #

Instances

Instances details

Eq p => GEq (Par1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: Par1 p -> Par1 p -> Bool Source #
GEq (U1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: U1 p -> U1 p -> Bool Source #
GEq (UAddr p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: UAddr p -> UAddr p -> Bool Source #
GEq (UChar p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: UChar p -> UChar p -> Bool Source #
GEq (UDouble p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: UDouble p -> UDouble p -> Bool Source #
GEq (UFloat p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: UFloat p -> UFloat p -> Bool Source #
GEq (UInt p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: UInt p -> UInt p -> Bool Source #
GEq (UWord p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: UWord p -> UWord p -> Bool Source #
GEq (V1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: V1 p -> V1 p -> Bool Source #
(Eq1 f, Eq p) => GEq (Rec1 f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: Rec1 f p -> Rec1 f p -> Bool Source #
(GEq (f p), GEq (g p)) => GEq ((f :*: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: (f :: g) p -> (f :: g) p -> Bool Source #
(GEq (f p), GEq (g p)) => GEq ((f :+: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: (f :+: g) p -> (f :+: g) p -> Bool Source #
Eq c => GEq (K1 i c p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: K1 i c p -> K1 i c p -> Bool Source #
(Eq1 f, GEq (g p)) => GEq ((f :.: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: (f :.: g) p -> (f :.: g) p -> Bool Source #
GEq (f p) => GEq (M1 i c f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods geq :: M1 i c f p -> M1 i c f p -> Bool Source #

`Ord`

compareDefault :: (GOrd (Rep1 f a), Generic1 f) => f a -> f a -> Ordering Source #

A default compare implementation for Generic1 instances that leverages Ord1.

class GEq a => GOrd a where Source #

Class of generic representation types that can be totally ordered.

Methods

gcompare :: a -> a -> Ordering Source #

Instances

Instances details

Ord p => GOrd (Par1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: Par1 p -> Par1 p -> Ordering Source #
GOrd (U1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: U1 p -> U1 p -> Ordering Source #
GOrd (UAddr p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: UAddr p -> UAddr p -> Ordering Source #
GOrd (UChar p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: UChar p -> UChar p -> Ordering Source #
GOrd (UDouble p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: UDouble p -> UDouble p -> Ordering Source #
GOrd (UFloat p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: UFloat p -> UFloat p -> Ordering Source #
GOrd (UInt p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: UInt p -> UInt p -> Ordering Source #
GOrd (UWord p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: UWord p -> UWord p -> Ordering Source #
GOrd (V1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: V1 p -> V1 p -> Ordering Source #
(Ord1 f, Ord p) => GOrd (Rec1 f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: Rec1 f p -> Rec1 f p -> Ordering Source #
(GOrd (f p), GOrd (g p)) => GOrd ((f :*: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: (f :: g) p -> (f :: g) p -> Ordering Source #
(GOrd (f p), GOrd (g p)) => GOrd ((f :+: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: (f :+: g) p -> (f :+: g) p -> Ordering Source #
Ord c => GOrd (K1 i c p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: K1 i c p -> K1 i c p -> Ordering Source #
(Ord1 f, GOrd (g p)) => GOrd ((f :.: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: (f :.: g) p -> (f :.: g) p -> Ordering Source #
GOrd (f p) => GOrd (M1 i c f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gcompare :: M1 i c f p -> M1 i c f p -> Ordering Source #

`Read`

readsPrecDefault :: (GRead (Rep1 f a), Generic1 f) => Int -> ReadS (f a) Source #

A default readsPrec implementation for Generic1 instances that leverages Read1.

class GRead a where Source #

Class of generic representation types that can be parsed from a String.

Methods

greadPrec :: ReadPrec a Source #

Instances

Instances details

GRead (V1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods greadPrec :: ReadPrec (V1 p) Source #
(GRead (f p), GRead (g p)) => GRead ((f :+: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods greadPrec :: ReadPrec ((f :+: g) p) Source #
(Constructor c, GReadCon (f p), IsNullaryCon f) => GRead (C1 c f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods greadPrec :: ReadPrec (C1 c f p) Source #
(GRead (f p), IsNullaryDataType f) => GRead (D1 d f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods greadPrec :: ReadPrec (D1 d f p) Source #

`Show`

showsPrecDefault :: (GShow (Rep1 f a), Generic1 f) => Int -> f a -> ShowS Source #

A default showsPrec implementation for Generic1 instances that leverages Show1.

showsPrecOptions :: (GShow (Rep1 f a), Generic1 f) => Options -> Int -> f a -> ShowS Source #

Like showsPrecDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

class GShow a where Source #

Class of generic representation types that can be converted to a String.

Methods

gshowsPrec :: Int -> a -> ShowS Source #

Instances

Instances details

GShow (V1 p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gshowsPrec :: Int -> V1 p -> ShowS Source #
(GShow (f p), GShow (g p)) => GShow ((f :+: g) p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gshowsPrec :: Int -> (f :+: g) p -> ShowS Source #
(Constructor c, GShowCon (f p), IsNullaryCon f) => GShow (C1 c f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gshowsPrec :: Int -> C1 c f p -> ShowS Source #
GShow (f p) => GShow (D1 d f p) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods gshowsPrec :: Int -> D1 d f p -> ShowS Source #

`FunctorClassesDefault`

newtype FunctorClassesDefault (f :: Type -> Type) a Source #

An adapter newtype, suitable for DerivingVia. Its Eq1, Ord1, Read1, and Show1 instances leverage Generic1-based defaults.

Constructors

FunctorClassesDefault
Fields getFunctorClassesDefault :: f a

Instances

Instances details

(GEq1 (Rep1 f), Generic1 f) => Eq1 (FunctorClassesDefault f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods liftEq :: (a -> b -> Bool) -> FunctorClassesDefault f a -> FunctorClassesDefault f b -> Bool #
(GOrd1 (Rep1 f), Generic1 f) => Ord1 (FunctorClassesDefault f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods liftCompare :: (a -> b -> Ordering) -> FunctorClassesDefault f a -> FunctorClassesDefault f b -> Ordering #
(GRead1 (Rep1 f), Generic1 f) => Read1 (FunctorClassesDefault f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (FunctorClassesDefault f a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [FunctorClassesDefault f a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (FunctorClassesDefault f a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [FunctorClassesDefault f a] #
(GShow1 (Rep1 f), Generic1 f) => Show1 (FunctorClassesDefault f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> FunctorClassesDefault f a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [FunctorClassesDefault f a] -> ShowS #
(GEq (Rep1 f a), Generic1 f) => Eq (FunctorClassesDefault f a) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods (==) :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> Bool # (/=) :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> Bool #
(GOrd (Rep1 f a), Generic1 f) => Ord (FunctorClassesDefault f a) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods compare :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> Ordering # (<) :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> Bool # (<=) :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> Bool # (>) :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> Bool # (>=) :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> Bool # max :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> FunctorClassesDefault f a # min :: FunctorClassesDefault f a -> FunctorClassesDefault f a -> FunctorClassesDefault f a #
(GRead (Rep1 f a), Generic1 f) => Read (FunctorClassesDefault f a) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods readsPrec :: Int -> ReadS (FunctorClassesDefault f a) # readList :: ReadS [FunctorClassesDefault f a] # readPrec :: ReadPrec (FunctorClassesDefault f a) # readListPrec :: ReadPrec [FunctorClassesDefault f a] #
(GShow (Rep1 f a), Generic1 f) => Show (FunctorClassesDefault f a) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods showsPrec :: Int -> FunctorClassesDefault f a -> ShowS # show :: FunctorClassesDefault f a -> String # showList :: [FunctorClassesDefault f a] -> ShowS #

Miscellaneous types

data ConType Source #

Whether a constructor is a record (Rec), a tuple (Tup), is prefix (Pref), or infix (Inf).

Constructors

Rec
Tup
Pref
Inf String

class IsNullaryDataType (f :: Type -> Type) where Source #

Class of generic representation types that represent a data type with zero or more constructors.

Methods

isNullaryDataType :: f a -> Bool Source #

Returns True if the data type has no constructors.

Instances

Instances details

IsNullaryDataType (V1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryDataType :: V1 a -> Bool Source #
IsNullaryDataType (f :+: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryDataType :: (f :+: g) a -> Bool Source #
IsNullaryDataType (C1 c f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryDataType :: C1 c f a -> Bool Source #

class IsNullaryCon (f :: Type -> Type) where Source #

Class of generic representation types that represent a constructor with zero or more fields.

Methods

isNullaryCon :: f a -> Bool Source #

Returns True if the constructor has no fields.

Instances

Instances details

IsNullaryCon Par1 Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: Par1 a -> Bool Source #
IsNullaryCon (U1 :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: U1 a -> Bool Source #
IsNullaryCon (UChar :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: UChar a -> Bool Source #
IsNullaryCon (UDouble :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: UDouble a -> Bool Source #
IsNullaryCon (UFloat :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: UFloat a -> Bool Source #
IsNullaryCon (UInt :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: UInt a -> Bool Source #
IsNullaryCon (UWord :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: UWord a -> Bool Source #
IsNullaryCon (Rec1 f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: Rec1 f a -> Bool Source #
IsNullaryCon (f :*: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: (f :*: g) a -> Bool Source #
IsNullaryCon (K1 i c :: Type -> Type) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: K1 i c a -> Bool Source #
IsNullaryCon f => IsNullaryCon (S1 s f) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: S1 s f a -> Bool Source #
IsNullaryCon (f :.: g) Source #
Instance details Defined in Data.Functor.Classes.Generic.Internal Methods isNullaryCon :: (f :.: g) a -> Bool Source #