Moduletransformers-compat-0.8Haskell2010

Data.Functor.Classes.Generic.Internal

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.

3 types
12 classes
15 values

Packagetransformers-compat-0.8
Exports30
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

Options

3 declarations

datadata Options

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).

Options

valuedefaultOptions :: Options

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

valuelatestGHCOptions :: Options

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

Eq1

3 declarations

valueliftEqDefault

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

A sensible default liftEq implementation for Generic1 instances.

valueliftEqOptions

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

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

classclass (forall a. Eq a => GEq (t a)) => GEq1 (t :: Type -> Type) where

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

Methods

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

Instances15GEq1, …

GEq1 Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UAddrDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Eq1 f => GEq1 (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Eq c => GEq1 (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq1 f, GEq1 g) => GEq1 (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq1 f, GEq1 g) => GEq1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 f => GEq1 (M1 i c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Eq1 f, GEq1 g) => GEq1 (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Ord1

3 declarations

valueliftCompareDefault

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

A sensible default liftCompare implementation for Generic1 instances.

valueliftCompareOptions

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

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

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

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

Instances15GOrd1, …

GOrd1 Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UAddrDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Ord1 f => GOrd1 (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Ord c => GOrd1 (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd1 f, GOrd1 g) => GOrd1 (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd1 f, GOrd1 g) => GOrd1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 f => GOrd1 (M1 i c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Ord1 f, GOrd1 g) => GOrd1 (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Read1

4 declarations

valueliftReadsPrecDefault

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

A sensible default liftReadsPrec implementation for Generic1 instances.

valueliftReadsPrecOptions

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

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

classclass (forall a. Read a => GRead (f a)) => GRead1 (f :: Type -> Type) where

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)

Instances4GRead1

GRead1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GRead1Con f, IsNullaryCon f) => GRead1 (C1 c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1 f, GRead1 g) => GRead1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1 f, IsNullaryDataType f) => GRead1 (D1 d f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

classclass (forall a. Read a => GReadCon (f a)) => GRead1Con (f :: Type -> Type) where

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)

Instances7GRead1Con, …

GRead1Con Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GRead1Con U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Read1 f => GRead1Con (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Read c => GRead1Con (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Selector s, GRead1Con f) => GRead1Con (S1 s f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1Con f, GRead1Con g) => GRead1Con (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Read1 f, GRead1Con g) => GRead1Con (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Show1

4 declarations

valueliftShowsPrecDefault

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

A sensible default liftShowsPrec implementation for Generic1 instances.

valueliftShowsPrecOptions

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

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

classclass (forall a. Show a => GShow (f a)) => GShow1 (f :: Type -> Type) where

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

Instances4GShow1

GShow1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1 f => GShow1 (D1 d f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GShow1Con f, IsNullaryCon f) => GShow1 (C1 c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow1 f, GShow1 g) => GShow1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

classclass (forall a. Show a => GShowCon (f a)) => GShow1Con (f :: Type -> Type) where

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

Instances12GShow1Con, …

GShow1Con Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Show1 f => GShow1Con (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Show c => GShow1Con (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Selector s, GShow1Con f) => GShow1Con (S1 s f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow1Con f, GShow1Con g) => GShow1Con (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Show1 f, GShow1Con g) => GShow1Con (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Eq

2 declarations

valueeqDefault :: (GEq (Rep1 f a), Generic1 f) => f a -> f a -> Bool

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

classclass GEq a where

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

Methods

geq :: a -> a -> Bool

Instances15GEq, …

Eq p => GEq (Par1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (U1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UAddr p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UChar p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UDouble p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UFloat p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UInt p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UWord p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Eq1 f, Eq p) => GEq (Rec1 f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Eq c => GEq (K1 i c p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq (f p), GEq (g p)) => GEq ((:*:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq (f p), GEq (g p)) => GEq ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (f p) => GEq (M1 i c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Eq1 f, GEq (g p)) => GEq ((:.:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Ord

2 declarations

valuecompareDefault :: (GOrd (Rep1 f a), Generic1 f) => f a -> f a -> Ordering

A default compare implementation for Generic1 instances that leverages Ord1.

classclass GEq a => GOrd a where

Class of generic representation types that can be totally ordered.

Methods

gcompare :: a -> a -> Ordering

Instances15GOrd, …

Ord p => GOrd (Par1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (U1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UAddr p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UChar p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UDouble p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UFloat p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UInt p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UWord p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Ord1 f, Ord p) => GOrd (Rec1 f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Ord c => GOrd (K1 i c p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd (f p), GOrd (g p)) => GOrd ((:*:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd (f p), GOrd (g p)) => GOrd ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (f p) => GOrd (M1 i c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Ord1 f, GOrd (g p)) => GOrd ((:.:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Read

2 declarations

valuereadsPrecDefault :: (GRead (Rep1 f a), Generic1 f) => Int -> ReadS (f a)

A default readsPrec implementation for Generic1 instances that leverages Read1.

classclass GRead a where

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

Methods

greadPrec :: ReadPrec a

Instances4GRead

GRead (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GReadCon (f p), IsNullaryCon f) => GRead (C1 c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead (f p), GRead (g p)) => GRead ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead (f p), IsNullaryDataType f) => GRead (D1 d f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Show

3 declarations

valueshowsPrecDefault :: (GShow (Rep1 f a), Generic1 f) => Int -> f a -> ShowS

A default showsPrec implementation for Generic1 instances that leverages Show1.

valueshowsPrecOptions

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

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

classclass GShow a where

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

Methods

gshowsPrec :: Int -> a -> ShowS

Instances4GShow

GShow (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow (f p) => GShow (D1 d f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GShowCon (f p), IsNullaryCon f) => GShow (C1 c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow (f p), GShow (g p)) => GShow ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

FunctorClassesDefault

1 declaration

newtypenewtype FunctorClassesDefault (f :: Type -> Type) a

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

Constructors

FunctorClassesDefault
- getFunctorClassesDefault :: f a

Instances8Eq1, Ord1, Read1, Show1, Eq, Ord, …

(GEq1 (Rep1 f), Generic1 f) => Eq1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd1 (Rep1 f), Generic1 f) => Ord1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1 (Rep1 f), Generic1 f) => Read1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow1 (Rep1 f), Generic1 f) => Show1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq (Rep1 f a), Generic1 f) => Eq (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd (Rep1 f a), Generic1 f) => Ord (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead (Rep1 f a), Generic1 f) => Read (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow (Rep1 f a), Generic1 f) => Show (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Miscellaneous types

3 declarations

datadata ConType

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

Constructors

Rec
Tup
Pref
Inf String

classclass IsNullaryDataType (f :: Type -> Type) where

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

Methods

isNullaryDataType :: f a -> Bool
Returns True if the data type has no constructors.

Instances3IsNullaryDataType

IsNullaryDataType V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryDataType (C1 c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryDataType (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

classclass IsNullaryCon (f :: Type -> Type) where

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

Methods

isNullaryCon :: f a -> Bool
Returns True if the constructor has no fields.

Instances12IsNullaryCon, …

IsNullaryCon Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon f => IsNullaryCon (S1 s f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal